Timed control with partial observability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2725, Issue , 2003, Pages 180-192

  Bouyer, Patricia ^a   D'Souza, Deepak ^b   Madhusudan, P ^c   Petit, Antoine ^a  

^a CNRS   (France)

^b CHENNAI MATHEMATICAL INSTITUTE   (India)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER AIDED ANALYSIS; CONTINUOUS TIME SYSTEMS; DISCRETE EVENT SIMULATION; OBSERVABILITY; TIME SHARING SYSTEMS;

COMPLETE INFORMATION; COMPLETE OBSERVABILITY; CONTINUOUS-TIME; PARTIAL OBSERVABILITY; PARTIAL OBSERVATION; POINT OF DEPARTURES; TIMED AUTOMATA; TIMED SYSTEMS;

CONTROLLERS;

EID: 35248875802     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_18     Document Type: Article

References (15)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proc. IFAC Symp. System Structure and Control, pages 469-474. Elsevier, 1998.
3. P. Bouyer, D. D'Souza, P. Madhusudan, and A. Petit. Timed control with partial observability. Research Report LSV-02-5, LSV, ENS de Cachan, France, 2002.
4. 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.
5. D. D'Souza and P. Madhusudan. Timed control synthesis for external specifications. In Proc. 19th Int. Symp. Theoretical Aspects of Computer Science (STACS'02), volume 2285 of LNCS, pages 571-582. Springer, 2002.
6. M. Faella, S. La Torre, and A. Murano. Dense real-time games. In Proc. 17th Symp. Logic in Computer Science (LICS'02), pages 167-176. IEEE Comp. Soc. Press, 2002.
7. R. Kumar and V.K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, 1995.
8. O. Kupferman and M.Y. Vardi. Synthesis with incomplete information. In Proc. 2nd Int. Conf. Temporal Logic (ICTL'97), pages 91-106. Kluwer, 1997.
9. F. Lin and W.M. Wonham. Supervisory control of timed discrete-event systems under partial observation. IEEE Trans. Automatic Control, 40(3):558-562, 1995.
10. R. McNaughton. Infinite games played on finite graphs. Annals of Pure and Applied Logic, 65(2):149-184, 1993.
11. J.H. Reif. The complexity of two-player games of incomplete information. Journal of Computer and System Sciences, 29(2):274-301, 1984.
12. W. Thomas. On the synthesis of strategies in infinite games. In Proc. 12th Int. Symp. Theoretical Aspects of Computer Science (STACS'95), volume 900 of LNCS, pages 1-13. Springer, 1995.
13. W. Thomas. Infinite games and verification. In Proc. 14th Int. Conf. Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 58-64. Springer, 2002.
14. H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. 36th Conf. Decision and Control, pages 4607-4612. IEEE Comp. Soc. Press, 1997.
15. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. 30th Conf. Decision and Control, pages 1527-1528. IEEE Comp. Soc. Press, 1991.