Generalizing Action Systems to Hybrid Systems
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 202-213
- https://doi.org/10.1007/3-540-45352-0_17
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Generalizing Action Systems to Hybrid SystemsLecture Notes in Computer Science, 2000
- Action Systems with Continuous BehaviourLecture Notes in Computer Science, 1999
- Verification of clocked and hybrid systemsLecture Notes in Computer Science, 1998
- Refinement CalculusPublished by Springer Science and Business Media LLC ,1998
- General hybrid dynamical systems: Modeling, analysis, and controlLecture Notes in Computer Science, 1996
- Formal Development of Reactive SystemsLecture Notes in Computer Science, 1995
- An old-fashioned recipe for real timeACM Transactions on Programming Languages and Systems, 1994
- Models for hybrid systems: Automata, topologies, controllability, observabilityLecture Notes in Computer Science, 1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Stepwise refinement of parallel algorithmsScience of Computer Programming, 1990