Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
From MaRDI portal
Publication:2061223
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
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