On synthesizing controllers from bounded-response properties

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

Volumn 4590 LNCS, Issue , 2007, Pages 95-107

  Maler, Oded ^a   Nickovic, Dejan ^a   Pnueli, Amir ^b,c  

^a VERIMAG   (France)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING; SPECIFICATIONS;

BOUNDED RESPONSE PROPERTIES; BOUNDED VARIABILITY ASSUMPTIONS; SAFETY SYNTHESIS ALGORITHMS;

CONTROL SYSTEMS;

EID: 38149119597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_12     Document Type: Conference Paper

References (26)

1. Altisen, K., Tripakis, S.: Tools for Controller Synthesis of Timed Systems. In: RT-TOOLS'02 (2002)
2. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183-235 (1994)
3. Alur, R., Feder, T., Henzinger, T.A.: The Benefits of Relaxing Punctuality (first published in PODC'91). Journal of the ACM 43, 116-146 (1996)
4. Asarin, E.: Challenges in Timed Languages. Bulletin of EATCS 83 (2004)
5. Asarin, E., Caspi, P., Maler, O.: Timed Regular Expressions. The Journal of the ACM 49, 172-206 (2002)
6. Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) Hybrid Systems II. LNCS, vol. 999, pp. 1-20. Springer, Heidelberg (1995)
7. Buchi, J.R., Landweber, L.H.: Solving Sequential Conditions by Finite-state Operators. Trans. of the AMS 138, 295-311 (1969)
8. Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 66-80. Springer, Heidelberg (2005)
9. Church, A.: Logic, Arithmetic and Automata. In: Proc. of the Int. Cong, of Mathematicians 1962, pp. 23-35 (1963)
10. Kesten, Y., Pnueli, A.: A Compositional Approach to CTL* Verification. Theoretical Computer Science 331, 397-428 (2005)
11. Kloukinas, C., Yovine, S.: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In: ECRTS'03, pp. 287-294 (2003)
12. Koymans, R.: Specifying Real-time Properties with Metric Temporal Logic. Real-time Systems 2, 255-299 (1990)
13. Maler, O.: On Optimal and Reasonable Control in the Presence of Adversaries. In: Annual Reviews in Control (2007)
14. Maler, O., Nickovic, D.: Monitoring Temporal Properties of Continuous Signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 152-166. Springer, Heidelberg (2004)
15. Maler, O., Nickovic, D., Pnueli, A.: Real Time Temporal Logic: Past, Present, Future. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 2-16. Springer, Heidelberg (2005)
16. Maler, O., Nickovic, D., Pnueli, A.: From MITL to Timed Automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 274-289. Springer, Heidelberg (2006)
17. Maler, O., Pnueli, A.: On Recognizable Timed Languages. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 348-362. Springer, Heidelberg (2004)
18. Maler, O., Pnueli, A., Sifakis, J.: On the Synthesis of Discrete Controllers for Timed Systems. In: Mayr, E.W., Puech, C. (eds.) STACS 95. LNCS, vol. 900, pp. 229-242. Springer, Heidelberg (1995)
19. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of Reactive(1) Designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI2006. LNCS, vol. 3855, pp. 364-380. Springer, Heidelberg (2005)
20. Piterman, N., Pnueli, A.: Faster Solutions of Rabin and Streett Games. In: LICS'06, pp. 275-284 (2006)
21. Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: POPL'89, pp. 179-190 (1989)
22. Ramadge, P.J., Wonham, WM.: The Control of Discrete Event Systems. Proc. of the IEEE 77, 81-98 (1989)
23. Trakhtenbrot, B.A., Barzdin, Y.M.: Finite Automata: Behavior and Synthesis. North-Holland, Amsterdam (1973)
24. Tripakis, S.: Fault Diagnosis for Timed Automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 205-224. Springer, Heidelberg (2002)
25. Tripakis, S., Altisen, K.: On-the-Fly Controller Synthesis for Discrete and Timed Systems, FM'99 1999. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, Springer, Heidelberg (1999)
26. Tripakis, S., Yovine, S.: Analysis of Timed Systems using Time-abstracting Bisimulations. Formal Methods in System Design 18, 25-68 (2001)