Hybrid I/O automata.

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

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

Publication date: 14 March 2004

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

Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00067-1

zbMATH Keywords

Hybrid systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

Related Items

Modeling Objects Moving in a Complex Environment with World Automata, Progress-preserving Refinements of CTA, Topological Aspects of Hybrid Processes, Compactness in the Theory of Continuous Automata, 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, Reasoning about goal-directed real-time teleo-reactive programs, On the refinement of liveness properties of distributed systems, Understanding deadlock and livelock behaviors in hybrid control systems, An algebra of hybrid systems, Generalized interface automata with multicast synchronization, Cyber-physical systems, Hybrid process algebra, Process algebra for hybrid systems, Safety verification of interconnected hybrid systems using barrier certificates, A semantic model for interacting cyber-physical systems, Moded and continuous abstract state machines, Self-stabilizing gathering of mobile robots under crash or Byzantine faults, A compositional modelling and analysis framework for stochastic hybrid systems, Modeling and simulation of cardiac tissue using hybrid I/O automata, Modeling, analyzing and controlling hybrid systems by guarded flexible nets, 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, A Formal Model for a Hybrid Programming Language, 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 Hybrid Systems, 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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