Task automata: Schedulability, decidability and undecidability
Top Cited Papers
- 1 August 2007
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 205 (8), 1149-1172
- https://doi.org/10.1016/j.ic.2007.01.009
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Schedulability analysis of fixed-priority systems using timed automataTheoretical Computer Science, 2006
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Time-Abstracted Bisimulation: Implicit Specifications and DecidabilityInformation and Computation, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994