Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

DOI10.1002/RNC.7478MaRDI QIDQ6591191zbMATH OpenFDO

Authors Feifan Wu, Lijun Long

Publication date 21 August 2024

Published in International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

zbMATH Keywords

control barrier functionautonomous mobile robotsquadratic programssignal temporal logic

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44)

Recommendations

• Robust control for signal temporal logic specifications using discrete average space robustness
• Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
• Multi-agent system motion planning under temporal logic specifications and control barrier function

Cites work

• Constrained control of input-output linearizable systems using control sharing barrier functions
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Extent-compatible control barrier functions
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal methods for discrete-time dynamical systems
• Reactive and Risk-Aware Control for Signal Temporal Logic
• Robust satisfaction of temporal logic over real-valued signals
• Safety-critical dynamic event-triggered control of nonlinear systems

This page was built for publication: Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6591191)