Hybrid I/O automata.

DOI10.1016/S0890-5401(03)00067-1zbMath1069.68067MaRDI QIDQ1427865

Roberto Segala, Nancy A. Lynch, Frits W. Vaandrager

Publication date: 14 March 2004

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

Hybrid systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

Related Items

Topological Aspects of Hybrid Processes, Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>, Hierarchical hybrid modelling and control of an unmanned helicopter, A game-theoretic approach to fault diagnosis and identification of hybrid systems, Control of cyberphysical systems using passivity and dissipativity based methods, Repairing time-determinism in the process algebra for hybrid systems, The cost of probabilistic agreement in oblivious robot networks, Modeling and analysis of DNA replication, On the refinement of liveness properties of distributed systems, Understanding deadlock and livelock behaviors in hybrid control systems, An algebra of hybrid systems, Hybrid process algebra, Process algebra for hybrid systems, A compositional modelling and analysis framework for stochastic hybrid systems, Modeling and simulation of cardiac tissue using hybrid I/O automata, Unwinding biological systems, Continuity controlled hybrid automata, Linearization of hybrid processes, Syntax and consistent equation semantics of hybrid Chi, On the stability and performance of discrete event methods for simulating continuous systems, Uniform stabilization of discrete-time switched and Markovian jump linear systems, Towards a Modeling Language for Cyber-Physical Systems, Relating Hybrid Chi to Other Formalisms, Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue, Hybrid Multirate PALS, The Cayley-Hamilton Theorem for Noncommutative Semirings, Rigorous Discretization of Hybrid Systems Using Process Calculi, Verification of cooperating traffic agents, Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, A framework of fuzzy hybrid systems for modelling and control, Finite Automata as Time-Inv Linear Systems Observability, Reachability and More, Periodically Controlled Hybrid Systems

Cites Work

• The algorithmic analysis of hybrid systems
• Hybrid systems
• A calculus of mobile processes. II
• Liveness in timed and untimed systems
• Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
• A theory of timed automata
• Action transducers and timed automata
• Forward and backward simulations. I. Untimed Systems
• Forward and backward simulations. II: Timing-based systems
• Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
• Hybrid systems. Computation and control. 1st international workshop, HSCC '98, Berkeley, CA, USA, April 13--15, 1998. Proceedings
• Reliable message delivery and conditionally-fast transactions are not possible without accurate clocks
• Data Refinement
• Special issue on Hybrid systems
• Modularity for timed and hybrid systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item