State equivalences for rectangular hybrid automata

DOI10.1007/3-540-61604-7_74zbMath1514.68101OpenAlexW2137951255MaRDI QIDQ6162103

Thomas A. Henzinger, Peter W. Kopke

Publication date: 28 June 2023

Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/7243

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Verification of Hybrid Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Simulation relations and applications in formal methods ⋮ Discrete-time control for rectangular hybrid automata ⋮ Inclusion dynamics hybrid automata ⋮ Unwinding biological systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Characterizing finite Kripke structures in propositional temporal logic
• A theory of timed automata
• Hybrid automata with finite bisimulations

This page was built for publication: State equivalences for rectangular hybrid automata