Discrete-time control for rectangular hybrid automata
From MaRDI portal
Publication:4571988
DOI10.1007/3-540-63165-8_213zbMath1401.93099OpenAlexW2125779951MaRDI QIDQ4571988
Peter W. Kopke, Thomas A. Henzinger
Publication date: 4 July 2018
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63165-8_213
Formal languages and automata (68Q45) Synthesis problems (93B50) Digital control/observation systems (93C62) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
On model-checking timed automata with stopwatch observers, Synthesis of Non-Interferent Timed Systems
Cites Work
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Number of quantifiers is better than number of tape cells
- Symbolic model checking: \(10^{20}\) states and beyond
- A theory of timed automata
- Symbolic model checking for real-time systems
- Supervisory Control of a Class of Discrete Event Processes
- Alternation
- On the synthesis of discrete controllers for timed systems
- Hybrid automata with finite bisimulations
- Modularity for timed and hybrid systems