F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289, pages 134-148, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Timed Control with Partial Observability - Bouyer, al. (2003) (Correct)
....use arbitrary new clocks and guards that compare the clocks to any constant. Another probably more realistic setting is that the resources of the controller are fixed a priori, as proposed in [DM02] The important point is that the controller synthesis problem becomes simpler in the latter case [DM02,CHR02]. The purpose of this paper is to investigate the problem of timed controller synthesis under the constraint of partial observability. In the timed setting, the partial observability assumption applies not only to uncontrollable actions but also to the clocks of the system. The setting of ....
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.
Almost ASAP Semantics: From Timed Models to Timed Implementations - De Wulf, al. (2003) (1 citation) Self-citation (Raskin) (Correct)
No context found.
F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In HSCC 02: Hybrid Systems---Computation and Control, Lecture Notes in Computer Science 2289, pages 134--148. Springer-Verlag, 2002.
Robustness and Implementability of Timed Automata - De Wulf, Doyen, Markey, Raskin (2004) Self-citation (Raskin) (Correct)
No context found.
F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In HSCC 02: Hybrid Systems| Computation and Control, Lecture Notes in Computer Science 2289, pages 134-148. Springer-Verlag, 2002.
Almost ASAP Semantics: from Timed Models to Timed.. - De Wulf, Doyen, Raskin (2004) (1 citation) Self-citation (Raskin) (Correct)
No context found.
F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In HSCC 02: Hybrid Systems---Computation and Control, Lecture Notes in Computer Science 2289, pages 134--148. Springer-Verlag, 2002.
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) Self-citation (Cassez) (Correct)
No context found.
Franck Cassez, Thomas A. Henzinger, and Jean-Franois Raskin. A comparison of control problems for timed and hybrid systems. In Proc. 5th Int. Workshop on Hybrid Systems: Computation and Control (HSCC'02), volume 2289 of Lecture Notes in Computer Science, pages 134--148. Springer, 2002.
Optimal Reachability for Weighted Timed Games - Alur, Bernadsky, Madhusudan (2004) (1 citation) (Correct)
No context found.
F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289, pages 134-148, 2002.
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