Karine Altisen, Stavros Tripakis  Home/Search
Context
Related
| verimag.imag.fr/PE...inalrttools02.pdf 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/t...publis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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