Continuity controlled hybrid automata

DOI10.1016/j.jlap.2005.10.002zbMath1088.68085OpenAlexW3021238735MaRDI QIDQ2368692

C. A. Middelburg, Jan A. Bergstra

Publication date: 28 April 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.10.002

zbMATH Keywords

Hybrid systemsProcess algebraContinuity controlContinuous relative timingHybrid automataHybrid transition systemsTimed transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Process algebra for hybrid systems ⋮ Relating Hybrid Chi to Other Formalisms

Uses Software

• HyTech

Cites Work

• The algorithmic analysis of hybrid systems
• A theory of timed automata
• Process algebra with propositional signals
• Revisiting timing in process algebra.
• An alternative formulation of operational conservativity with binding terms.
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• Process algebra with timing
• HyTech: A model checker for hybrid systems
• O-minimal hybrid systems.
• Real time process algebra
• Process Algebra
• Variable binding operators in transition system specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item