Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks

DOI10.1016/j.automatica.2019.05.013zbMath1429.93117OpenAlexW2946780124WikidataQ127817887 ScholiaQ127817887MaRDI QIDQ2280776

Dimos V. Dimarogonas, Lars Lindemann

Publication date: 19 December 2019

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255402

zbMATH Keywords

hybrid systemsrobust controlautonomous systemsmulti-agent systemssignal temporal logicformal methods-based control

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Feedback control (93B52) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Multi-agent systems (93A16)

Related Items (5)

Fixed-time control under spatiotemporal and input constraints: a quadratic programming based approach ⋮ Control barrier functions for stochastic systems ⋮ A few lessons learned in reinforcement learning for quadcopter attitude control ⋮ Funnel control for fully actuated systems under a fragment of signal temporal logic specifications ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-agent planning under local LTL specifications and event-based synchronization
• A low-complexity global approximation-free control scheme with prescribed performance for unknown pure feedback systems
• Robustness of temporal logic specifications for continuous-time signals
• Temporal logic motion planning for dynamic robots
• Switching in systems and control
• Robust control for signal temporal logic specifications using discrete average space robustness
• A feedback stabilization and collision avoidance scheme for multiple independent non-point agents
• Reactive synthesis from signal temporal logic specifications
• Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Consensus seeking in multiagent systems under dynamically changing interaction topologies
• Hybrid dynamical systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Set-valued analysis

This page was built for publication: Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks