Yasmina Abdeddaim, Oded Maler  Home/Search
Context Related
| verimag.imag.fr//PEOPLE...jobshop.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: verimag.imag.fr//PEOPLE/O...cabst (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to finding a shortest (in terms of elapsed time) path in the timed automaton. This representation provides new techniques for solving the optimization problem and, more importantly, it allows to model naturally more complex dynamic resource allocation problems which are not captured so easily in traditional... (Update)
Similar documents based on text: More All
1.2: using Stopwatch Automata - Yasmina Abdedda And (Correct)
1.1: Task Graph Scheduling using Timed Automata - Abdeddaïm, Kerbaa, Maler (2003) (Correct)
0.8: Preemptive Job-Shop Scheduling using Stopwatch Automata - Abdeddaim, Maler (2002) (Correct)
BibTeX entry: (Update)
Yasmina Abdeddaim and Oded Maler. Job-shop scheduling using timed automata. In Proc. 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 478--492. Springer, 2001. http://citeseer.ist.psu.edu/abdeddaim01jobshop.html More
@inproceedings{ abdeddaim01jobshop,
author = "Yasmina Abdeddaim and Oded Maler",
title = "Job-Shop Scheduling Using Timed Automata",
booktitle = "Computer Aided Verification",
pages = "478-492",
year = "2001",
url = "citeseer.ist.psu.edu/abdeddaim01jobshop.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic Modelchecking for Real-time Systems - Henzinger, Nicollin et al. - 1994
224 Model Checking in Dense Real Time - Alur, Courcoubetis et al. - 1993
103 the Synthesis of Discrete Controllers for Timed Systems (context) - Maler, Pnueli et al. - 1995
98 Kronos: A Verification Tool for Real-time Systems (context) - Yovine - 1997
82 Kronos: a Model-Checking Tool for Real-Time Systems - Bozga, Daws et al. - 1998
70 Symbolic Controller Synthesis for Discrete and Timed Systems - Asarin, Maler et al. - 1995
50 Minimum and Maximum Delay Problems in Real-time Systems (context) - Courcoubetis, Yannakakis - 1991
50 Scheduling a Steel Plant with Timed Automata - Fehnker - 1999
39 Computing Quantitative Characteristics of Finite-state Real-.. - Campos, Clarke et al. - 1994
34 A Framework for Scheduler Synthesis - Altisen, Goessler et al. - 1999
31 Reducing the Number of Clock Variables of Timed Automata - Daws, Yovine - 1996
29 As Soon as Possible: Time Optimal Control for Timed Automata - Asarin, Maler - 1999
23 The Control of Dense Real-Time Discrete Event Systems (context) - Wong-Toi, Hoffmann - 1992
21 Deterministic Job-Shop Scheduling: Past (context) - Jain, Meeran - 1999
[Article contains additional citations not shown here]
Documents on the same site (http://www-verimag.imag.fr//PEOPLE/Oded.Maler/cabst.html): More
Symbolic Controller Synthesis for Discrete and Timed Systems - Asarin, Maler, Pnueli (1995) (Correct)
Controller Synthesis For Timed Automata - Asarin, Maler, Pnueli, Sifakis (1998) (Correct)
As Soon as Possible: Time Optimal Control for Timed Automata - Asarin, Maler (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC