The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are computationally …
X Yin, B Gao, X Yu - Annual Reviews in Control, 2024 - Elsevier
In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide …
We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and …
D Aksaray, A Jones, Z Kong… - 2016 IEEE 55th …, 2016 - ieeexplore.ieee.org
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics. The system is …
V Kurtz, H Lin - IEEE Control Systems Letters, 2022 - ieeexplore.ieee.org
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis …
Many existing approaches for coordinating heterogeneous teams of robots either consider small numbers of agents, are application-specific, or do not adequately address common …
Y Gilpin, V Kurtz, H Lin - IEEE Control Systems Letters, 2020 - ieeexplore.ieee.org
Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to …
We are interested in predicting failures of cyber-physical systems during their operation. Particularly, we consider stochastic systems and signal temporal logic specifications, and we …
The problem of safe planning and control for multi-drone systems across a variety of missions is of critical importance, as the scope of tasks assigned to such systems increases …