Hybrid I/O automata.

DOI10.1016/S0890-5401(03)00067-1zbMath1069.68067OpenAlexW3022429701MaRDI 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

Related Items (51)

Compactness in the Theory of Continuous Automata ⋮ Verification of cooperating traffic agents ⋮ Continuity controlled hybrid automata ⋮ Linearization of hybrid processes ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Generalized interface automata with multicast synchronization ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Verification of Hybrid Systems ⋮ Modeling Objects Moving in a Complex Environment with World Automata ⋮ Hybrid Multirate PALS ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Control of cyberphysical systems using passivity and dissipativity based methods ⋮ A basic compositional model for spiking neural networks ⋮ Human-cyber-physical automata and their synthesis ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory ⋮ Cyber-physical systems ⋮ Compositional safety rules for inter-triggering hybrid automata ⋮ From post-conditions to post-region invariants ⋮ Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models ⋮ Self-stabilizing gathering of mobile robots under crash or Byzantine faults ⋮ Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ The cost of probabilistic agreement in oblivious robot networks ⋮ Modeling and analysis of DNA replication ⋮ On the stability and performance of discrete event methods for simulating continuous systems ⋮ Progress-preserving Refinements of CTA ⋮ Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ A framework of fuzzy hybrid systems for modelling and control ⋮ Hybrid process algebra ⋮ Uniform stabilization of discrete-time switched and Markovian jump linear systems ⋮ Modeling and simulation of cardiac tissue using hybrid I/O automata ⋮ Process algebra for hybrid systems ⋮ Safety verification of interconnected hybrid systems using barrier certificates ⋮ An algebra of hybrid systems ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ The Cayley-Hamilton Theorem for Noncommutative Semirings ⋮ Finite Automata as Time-Inv Linear Systems Observability, Reachability and More ⋮ Periodically Controlled Hybrid Systems ⋮ A Formal Model for a Hybrid Programming Language ⋮ On the refinement of liveness properties of distributed systems ⋮ Towards a Modeling Language for Cyber-Physical Systems ⋮ A semantic model for interacting cyber-physical systems ⋮ Modeling, analyzing and controlling hybrid systems by guarded flexible nets ⋮ Hierarchical hybrid modelling and control of an unmanned helicopter ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Topological Aspects of Hybrid Processes ⋮ Unwinding biological systems ⋮ Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue ⋮ Moded and continuous abstract state machines

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

This page was built for publication: Hybrid I/O automata.