Hybrid I/O automata
Top Cited Papers
- 1 August 2003
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 185 (1), 105-157
- https://doi.org/10.1016/s0890-5401(03)00067-1
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compositional Refinement for Hierarchical Hybrid SystemsLecture Notes in Computer Science, 2001
- Analyzing and synthesizing hybrid control systemsLecture Notes in Computer Science, 1998
- A toolbox for proving and maintaining hybrid specificationsPublished by Springer Science and Business Media LLC ,1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Verification of an audio control protocolLecture Notes in Computer Science, 1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989