See this document in CiteSeerX!

Tools for Controller Synthesis of Timed Systems  (Make Corrections)  
Karine Altisen, Stavros Tripakis



  Home/Search   Context   Related

 
View or download:
verimag.imag.fr/PE...inalrttools02.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  verimag.imag.fr/PEOPLE/t...publis (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this paper, we present two tools for (state-feedback) controller synthesis of timed systems. Our model is based on timed automata [4] with discrete actions annotated as controllable or uncontrollable. Controllable actions can be restricted, while uncontrollable cannot. Following the approaches of [23, 7, 3] we associate urgency with actions rather than states. We are interested in controllers ensuring two types of properties, namely, invariance or inevitability. Invariance means that all... (Update)

Active bibliography (related documents):   More   All
0.3:   Control Synthesis for a Smart Card Personalization.. - Gebremichael, Vaandrager (2003)   (Correct)
0.3:   Symbolic Hierarchical Interface-based Supervisory Control - Symbolic Synthesis And   (Correct)
0.2:   Modelling, Control and Validation of Multi-Agent Plans.. - El Fallah-Seghrouchni.. (2004)   (Correct)

Similar documents based on text:   More   All
0.8:   On-The-Fly Controller Synthesis for Discrete and Dense-Time.. - Tripakis, Altisen (1999)   (Correct)
0.5:   Exploring Aspects in the Context of Reactive Systems - Karine Altisen Centre (2004)   (Correct)
0.4:   Black-box Conformance Testing for Real-Time Systems - Krichen, Tripakis   (Correct)

BibTeX entry:   (Update)

@misc{ altisen-tools,
  author = "Karine Altisen and Stavros Tripakis",
  title = "Tools for Controller Synthesis of Timed Systems",
  url = "citeseer.ist.psu.edu/595589.html" }
Citations (may not include all citations):
666   Theoretical Computer Science (context) - Alur, Dill et al. - 1994
308   The control of discrete event systems (context) - Ramadge, Wonham - 1989
155   The tool KRONOS - Daws, Olivero et al. - 1996
141   Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989
103   the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
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
69   Real Time Systems and Programming Language (context) - Burns, Wellings - 1996
39   Modeling urgency in timed systems - Bornot, Sifakis et al. - 1998
34   A framework for scheduler synthesis - Altisen, Goessler et al. - 1999
33   Software Tools for Technology Transfer (context) - Larsen, Petterson et al. - 1997
32   Supervisory control of timed discrete-event systems (context) - Brandin, Wonham - 1994
21   Compositional specification of timed systems (context) - Sifakis, Yovine - 1996
21   Analysis of timed systems using time-abstracting bisimulatio.. - Tripakis, Yovine - 2001
14   IF: a validation environment for timed asynchronous systems - Bozga, Fernandez et al. - 2000
13   Towards validated real-time software - Bertin, Pulou et al. - 2000
11   The formal analysis of timed systems in practice (context) - Tripakis - 1998
10   Symbolic synthesis of supervisory controllers - Ho, Toi - 1992
9   Synthesis of discrete-event controllers based on the signal .. - Marchand, Bournai et al. - 2000
8   Static analysis and dynamic steering of time dependent syste.. - Lusini, Vicario - 1998
5   Synthesizing processes and schedulers from temporal specific.. (context) - Wong-Toi, Dill - 1990
4   Exploiting implicit representations in timed automaton verif.. (context) - Goldman, Musliner et al. - 2002
3   cient algorithm for supervisory control design (context) - Zhang, Wonham et al.
1   The TTCT tool manual (context) - Meder - 1997
1   Application de la synthese de controleur a l'ordonnancement .. (context) - Altisen - 2001
1   Prometheus --- a compositional modeling tool for real-time s.. (context) - Goler - 2001
1   Generation automatique d'ordonnancements pour systemes tempo.. (context) - Altisen - 1998
1   Notes on control and discrete event systems (context) - Wonham - 1999
1   fly controller synthesis for discrete and timed systems (context) - Tripakis, Altisen - 1999
www.eecs.umich.edu/umdes/projects.html#lib

Documents on the same site (http://www-verimag.imag.fr/PEOPLE/tripakis/publis.html):   More
Probabilistic Model Checking: Formalisms and Algorithms.. - Courcoubetis, Tripakis (2000)   (Correct)
Efficient Verification of Timed Automata using Dense and.. - Bozga, Maler, Tripakis (1999)   (Correct)
Verification of the Fast Reservation Protocol with Delayed.. - Tripakis, Yovine (1998)   (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