Automatic synthesis of switching controllers for linear hybrid systems: safety control

DOI10.1016/j.tcs.2012.10.042zbMath1294.93041arXiv1103.4584OpenAlexW4206053810MaRDI QIDQ391117

Marco Faella, Massimo Benerecetti, Stefano Minopoli

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1103.4584

zbMATH Keywords

hybrid automatacontroller synthesislinear hybrid systemssafety games

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Linear systems in control theory (93C05) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Verification of Hybrid Systems ⋮ Automata-theoretic decision of timed games ⋮ Tracking smooth trajectories in linear hybrid systems ⋮ PPLite: zero-overhead encoding of NNC polyhedra

Uses Software

• PHAVer
• HyTech
• PPL
• d/dt

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• HyTech: A model checker for hybrid systems
• Supervisory Control of a Class of Discrete Event Processes
• On the synthesis of discrete controllers for timed systems
• Controller synthesis for hybrid systems with a lower bound on event separation
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Algorithm for discovering the set of all the solutions of a linear programming problem
• Hybrid Systems: Computation and Control
• CONCUR 2003 - Concurrency Theory