State equivalences for rectangular hybrid automata

DOI10.1007/3-540-61604-7_74MaRDI QIDQ6162103zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• What's decidable about hybrid automata?
• scientific article; zbMATH DE number 1538038
• scientific article; zbMATH DE number 1263213
• A theory of timed automata
• Discrete-time control for rectangular hybrid automata

Cites work

• A theory of timed automata
• Characterizing finite Kripke structures in propositional temporal logic
• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• Hybrid automata with finite bisimulations
• The algorithmic analysis of hybrid systems

Cited in

(8)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6162103)