Least-violating control strategy synthesis with safety rules

DOI10.1145/2461328.2461330zbMath1364.93523OpenAlexW2155327357MaRDI QIDQ2986905

Daniela Rus, Sertac Karaman, Jana Tůmová, Gavin C. Hall, Emilio Frazzoli

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461330

zbMATH Keywords

formal specificationrobot path planningcontrol strategy synthesisleast-violating planning

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Time window temporal logic ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Hierarchical Multiobjective Shortest Path Problems ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications ⋮ Recomposable restricted finite state machines: definition and solution approaches

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability

This page was built for publication: Least-violating control strategy synthesis with safety rules