no code implementations • 2 Apr 2024 • Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications.
no code implementations • 5 Feb 2024 • Maico H. W. Engelaar, Zengjie Zhang, Mircea Lazar, Sofie Haesaert
This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime.