Modularity for timed and hybrid systems

DOI10.1007/3-540-63141-0_6zbMath1512.68146MaRDI QIDQ6044109

Thomas A. Henzinger, Rajeev Alur

Publication date: 17 May 2023

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (13)

Adequacy and complete axiomatization for timed modal logic ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ A mechanism of function calls in MSVL ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ Discrete-time control for rectangular hybrid automata ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ Hybrid I/O automata. ⋮ Asymptotic properties of Zeno solutions ⋮ On the regularization of Zeno hybrid automata ⋮ The fixed-point theory of strictly causal functions ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Discrete-time control for rectangular hybrid automata ⋮ Deductive verification of real-time systems using STeP

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Appraising fairness in languages for distributed programming
• Sooner is safer than later
• A theory of timed automata
• Symbolic model checking for real-time systems
• Supervisory Control of a Class of Discrete Event Processes
• On the synthesis of discrete controllers for timed systems
• Liveness in timed and untimed systems
• Verifying abstractions of timed systems

This page was built for publication: Modularity for timed and hybrid systems