Hybrid I/O automata.
type: Item
instance of: scholarly article
title: Hybrid I/O automata.
zbMATH Open document ID: 1069.68067
DOI: 10.1016/S0890-5401(03)00067-1
author: Roberto Segala
author: Nancy Lynch
author: F. Vaandrager
published in: Information and Computation
publication date: 2004-03-14T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 2056075
zbMATH Keywords: Hybrid systems
MaRDI profile type: Publication
cites work: Q4817528
cites work: The algorithmic analysis of hybrid systems
cites work: A theory of timed automata
cites work: Q4552455
cites work: Modularity for timed and hybrid systems
cites work: Q5584402
cites work: Liveness in timed and untimed systems
cites work: Hybrid systems
cites work: Q4288818
cites work: Q3997501
cites work: Q4552473
cites work: Hybrid systems. Computation and control. 1st international workshop, HSCC '98, Berkeley, CA, USA, April 13--15, 1998. Proceedings
cites work: Q3777424
cites work: Q3126969
cites work: Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
cites work: Q3833630
cites work: Forward and backward simulations. II: Timing-based systems
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Action transducers and timed automata
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Special issue on Hybrid systems
cites work: Data Refinement
cites work: Reliable message delivery and conditionally-fast transactions are not possible without accurate clocks
cites work: Q4859392
cites work: Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
full work available at URL: s0890-5401(03)00067-1
OpenAlex ID: W3022429701
description: scientific article; zbMATH DE number 2056075