Funnel control for fully actuated systems under a fragment of signal temporal logic specifications

DOI10.1016/j.nahs.2020.100973zbMath1478.93136OpenAlexW3088433265MaRDI QIDQ2061223

Dimos V. Dimarogonas, Lars Lindemann

Publication date: 13 December 2021

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2020.100973

zbMATH Keywords

robust controlswitched systemsautonomous systemsformal methodssignal temporal logic

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Feedback control (93B52) Population dynamics (general) (92D25) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• 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
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
• Reactive synthesis from signal temporal logic specifications
• Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Robust Adaptive Control of Feedback Linearizable MIMO Nonlinear Systems With Prescribed Performance
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Verification, Model Checking, and Abstract Interpretation
• Set-valued analysis

This page was built for publication: Funnel control for fully actuated systems under a fragment of signal temporal logic specifications