Martin De Wulf, et al.  Home/Search
Context Related
| ulb.ac.be/di/ssd/c...ep_CFV_2003_20.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: ulb.ac.be/di/ssd/c...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP semantics (also called the maximal progress semantics) which is a mathematical idealization that can not be implemented by any physical device no matter how fast it is. On the contrary, any correct Almost ASAP controller can be implemented by a program on a hardware if this hardware is fast enough. We study the properties of this... (Update)
Cited by: More
Robustness and Implementability of Timed Automata - De Wulf, Doyen, Markey, Raskin (2004) (Correct)
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (Correct)
Active bibliography (related documents): More All
1.1: Almost ASAP Semantics: from Timed Models to Timed.. - De Wulf, Doyen, Raskin (2004) (Correct)
0.2: Modular Code Generation from Hybrid Automata Based on Data.. - Kim, Lee (2003) (Correct)
0.2: Correctness and Reduction in Timed Circuit Analysis - Mercer (2002) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Representing Arithmetic Constraints with Automata: An Overview - Boigelot, Wolper (2002) (Correct)
0.1: On The Fundamental Group Of A Compact Space Without Conjugate.. - Lebedeva (2002) (Correct)
0.1: Design of Light-Tree Based Logical Topologies for Multicast.. - Yang, Liao (2003) (Correct)
Related documents from co-citation: More All
2: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
2: A comparison of control problems for timed and hybrid systems - Cassez, Henzinger et al. - 2002
2: Controller Synthesis for Timed Automata - Asarin, Maler et al. - 1998
BibTeX entry: (Update)
Martin De Wulf, Laurent Doyen, and Jean-Franois Raskin. Almost ASAP semantics: From timed models to timed implementations. In Proc. 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Lecture Notes in Computer Science. Springer, 2004. To appear. http://citeseer.ist.psu.edu/dewulf03almost.html More
@misc{ wulf04almost,
author = "M. De Wulf and L. Doyen and J. Raskin",
title = "Almost ASAP semantics: From timed models to timed implementations",
text = "Martin De Wulf, Laurent Doyen, and Jean-Franois Raskin. Almost ASAP semantics:
From timed models to timed implementations. In Proc. 7th International Workshop
on Hybrid Systems: Computation and Control (HSCC'04), Lecture Notes in Computer
Science. Springer, 2004. To appear.",
year = "2004",
url = "citeseer.ist.psu.edu/dewulf03almost.html" }
Citations (may not include all citations):404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1992
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
204 Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1998
110 A user guide to HyTech - Henzinger, Ho et al. - 1995
94 The Foundations of Esterel - Berry - 2000
15 Bulletin of the European Association for Theoretical Compute.. (context) - Pettersson, Larsen - 2000
14 ective synthesis of switching controllers for linear systems (context) - Asarin, Bournier et al. - 2000
10 Times: A tool for modelling and implementation of embedded s.. (context) - Amnell, Fersman et al. - 2002
9 Model-checking real-time control programs -- verifying LEGO .. - Iversen, Kristo et al.
8 From control models to real-time code using Giotto (context) - Henzinger, Kirsch et al. - 2003
6 A comparison of control problems for timed and hybrid system.. - Cassez, Henzinger et al. - 2002
4 Generating embedded software from hierarchical hybrid models - Alur, Kim et al. - 2003
4 Exact acceleration of real-time model checking - Hendriks, Larsen - 2002
Documents on the same site (http://www.ulb.ac.be/di/ssd/cfv/publications.html): More
Model-Checking for Weighted Timed Automata - Brihaye, al. (2004) (Correct)
Game Analysis of Abuse-free Contract Signing - Kremer, Raskin (2002) (Correct)
On O-Minimal Hybrid Systems - Brihaye, al. (2003) (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