Scheduling with timed automata
- 28 March 2006
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 354 (2), 272-300
- https://doi.org/10.1016/j.tcs.2005.11.018
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Task graph scheduling using timed automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- On Optimal Scheduling under UncertaintyLecture Notes in Computer Science, 2003
- A framework for scheduler synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Preemptive Job-Shop Scheduling Using Stopwatch AutomataLecture Notes in Computer Science, 2002
- Job-Shop Scheduling Using Timed Automata?Lecture Notes in Computer Science, 2001
- Optimal Paths in Weighted Timed AutomataLecture Notes in Computer Science, 2001
- As Soon as Possible: Time Optimal Control for Timed AutomataLecture Notes in Computer Science, 1999
- Computing Accumulated Delays in Real-time SystemsFormal Methods in System Design, 1997
- A theory of timed automataTheoretical Computer Science, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993