Franck Cassez, Thomas A. Henzinger, Jean-François Raskin  Home/Search
Context Related
| ulb.ac.be/di/ssd/jfr/hscc02.ps 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/publicatio...RT_2001 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the literature, we nd several formulations of the control problem for timed and hybrid systems. We argue that formulations where a controller can cause an action at any point in dense (rational or real) time are problematic, by presenting an example where the controller must act faster and faster, yet causes no Zeno e ects (say, the control actions are at times 0; 1 2 ; 1; 1 3 4 ; 2; 2 7 8 ; 3; 3 15 16 ; : : :). Such a controller is, of course, not implementable in software. Such... (Update)
Cited by: More
Optimal Reachability for Weighted Timed Games - Alur, Bernadsky, Madhusudan (2004) (Correct)
Almost ASAP Semantics: From Timed Models to Timed Implementations - De Wulf, al. (2003) (Correct)
Robustness and Implementability of Timed Automata - De Wulf, Doyen, Markey, Raskin (2004) (Correct)
Similar documents (at the sentence level):
11.8%: A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (Correct)
Active bibliography (related documents): More All
0.3: Effective Synthesis of Switching Controllers for.. - Asarin, Bournez.. (2000) (Correct)
0.3: Rectangular Hybrid Games - Henzinger, Horowitz, Majumdar (1999) (Correct)
0.2: Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (Correct)
Similar documents based on text: More All
0.1: Model-Checking for Hybrid Systems By Quotienting and.. - Cassez, Laroussinie (2000) (Correct)
0.1: Proving feature non-interaction with Alternating-Time.. - Cassez, Ryan, Schobbens (Correct)
0.1: Uniformity for the Decidability of Hybrid Automata - Roux, Rusu (1996) (Correct)
Related documents from co-citation: More All
4: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
3: From control models to real-time code using Giotto (context) - Henzinger, Kirsch et al. - 2003
3: Times - A Tool for Modelling and Implementation of Embedded Systems (context) - Amnell, Fersman et al. - 2002
BibTeX entry: (Update)
F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In Proc. 5th Int. Works. Hybrid Systems: Computation and Control (HSCC'02), volume 2289 of LNCS, pages 134--148. Springer, 2002. http://citeseer.ist.psu.edu/article/cassez02comparison.html More
@inproceedings{ cassez02comparison,
author = "Franck Cassez and Thomas A. Henzinger and Jean-Francois Raskin",
title = "A Comparison of Control Problems for Timed and Hybrid Systems",
booktitle = "{HSCC}",
pages = "134-148",
year = "2002",
url = "citeseer.ist.psu.edu/article/cassez02comparison.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1998
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
70 Symbolic controller synthesis for discrete and timed systems - Asarin, Maler et al. - 1995
36 Controller synthesis for timed automata - Asarin, Maler et al. - 1998
28 Discrete-time control for rectangular hybrid automata - Henzinger, Kopke - 1999
24 A game-theoretic approach to controller design for hybrid sy.. (context) - Tomlin, Lygeros et al. - 2000
22 Rectangular hybrid games - Henzinger, Horowitz et al. - 1999
15 The input-output control of real-time discrete-event systems (context) - Ho, Wong-Toi - 1992
14 ective synthesis of switching controllers for linear systems (context) - Asarin, Bournier et al. - 2000
13 Computation: Finite and innite machines (context) - Minsky - 1972
5 The synthesis of controllers for linear hybrid automata - Wong-Toi - 1997
2 Robust undecidability of real-time and hybrid systems (context) - Henzinger, Raskin - 2000
1 Symbolic algorithms for innite-state games (context) - de Alfaro, Henzinger et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ulb.ac.be/di/publications/RT_2001.html): More
A Game-Based Verification of Non-Repudiation and Fair.. - Kremer, Raskin (2001) (Correct)
Towards the Automated Verification of Multithreaded Java.. - Delzanno, Raskin, Van.. (2002) (Correct)
Proceedings of the Workshop on Automated Verification of Critical.. - Nowak (2001) (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