Tracking differentiable trajectories across polyhedra boundaries

DOI10.1145/2461328.2461360zbMath1361.68115OpenAlexW2159473570MaRDI QIDQ2986923

Marco Faella, Massimo Benerecetti

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.2461360

zbMATH Keywords

reachabilitylinear hybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Ordinary differential inclusions (34A60) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)

Related Items (1)

Tracking smooth trajectories in linear hybrid systems

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: Tracking differentiable trajectories across polyhedra boundaries