Symbolic models for control systems

Acta Informatica

Volumn 43, Issue 7, 2007, Pages 477-500

  Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE-STATE MODELS; INFINITE STATE; PHYSICAL PROCESS; SYMBOLIC MODEL;

EQUIVALENCE CLASSES; HYBRID SYSTEMS; MODELS;

CONTROL SYSTEMS;

EID: 33846708931     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/s00236-006-0036-6     Document Type: Article

References (46)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: Hybrid automata: an algorithmic approach to specification and verification of hybrid systems. Theor. Comput. Sci. 138, 3-34 (1995)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183-235 (1994)
3. Arbib, M., Manes, E.G.: Machines in a category: an expository introduction. SIAM Rev. 16(2), 163-192 (1974)
4. Antsaklis, P.J., Michel, A.N.: Linear Systems. McGraw-Hill, New York (1997)
5. Antsaklis, P.J., Stiver, J.A., Lemmon, M.D.: Hybrid system modeling and autonomous control systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems, vol. 736 of Lecture Notes in Computer Science, pp. 366-392. Springer, Heidelberg (1993)
6. Bicchi, A., Marigo, A., Piccoli, B.: On the rechability of quantized control systems. IEEE Trans. Automat. Control (2002)
7. Brihaye, T., Michaux, C., Riviére, C., Troestler, C.: On o-minimal hybrid systems. In: Alur, R., Pappas, G.J. (eds.) Hybrid Systems: Computation and Control, vol. 2993 of Lecture Notes in Computer Science, pp. 219-233 Springer, Heidelberg (2004)
8. Broucke, M.: A geometric approach to bisimulation and verification of hybrid systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds). Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science, pp. 61-75 Springer, Heidelberg (1999)
9. Caines, P.E., Wei, Y.J.: Hierarchical hybrid control systems: a lattice theoretic formulation. IEEE Trans. Automat. Control Special Issue on Hybrid Systems 43(4), 501-508 (1998)
10. Davoren, J.M., Moor, T., Nerode, A.: Hybrid control loops, A/D maps and dynamic specifications. In: Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control, vol. 2289 of Lecture Notes in Computer Science. Springer, Heidelberg (2002)
11. Fernandez, J.-C: An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Program. 13, 219-236 (1989-1990)
12. Goguen, J.A.: Realization is universal. Math. Syst. Theory 6(4), 359-374 (1973)
13. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What's decidable about hybrid automata? J. Comput. Syst. Sci. 57, 94-124 (1998)
14. Henszinger, T.A., Majumdar, R.: Symbolic model checking for rectangular hybrid systems. In: Graf, S. (ed.) TACAS 2000: Tools and algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, New-York Springer, Heidelberg (2000)
15. Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control 2002, vol. 2289 of Lecture Notes in Computer Science. Springer, Stanford (2002)
16. Maler, O., Pnueli, A. (eds.): Hybrid Systems: Computation and Control 2003, vol. 2623 of Lecture Notes in Computer Science. Springer, Prague (2003)
17. Alur, R., Pappas, G.J. (eds.): Hybrid Systems: Computation and Control 2004, vol. 2993 of Lecture Notes in Computer Science. Springer, Philadelphia (2004)
18. Morari, M., Thiele, L. (eds.): Hybrid Systems: Computation and Control 2005, vol. 3414 of Lecture Notes in Computer Science. Springer, Zurich (2005)
19. Hespanha, J.P., Tiwari, A. (eds.): Hybrid Systems: Computation and Control 2006, volume 3927 of Lecture Notes in Computer Science. Springer-Verlag, Santa Barbara, CA, USA (2006)
20. Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control and hybrid systems. Theor. Comput. Sci. 34(2-3), 387-392 (2005)
21. Koutsoukos, X., Antsaklis, P.: Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions. J. Discret. Event Dyn. Syst. Theory Appl. 13(3), 203-243 (2003)
22. Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)
23. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Math. Control, Signals Syst. 13(1), 1-21 (2000)
24. Lunze, J.: Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30, 417-431 (1994)
25. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood (1989)
26. Moor, T., Raisch, J., O'Young, S.D.: Discrete supervisory control of hybrid systems based on l-complete approximations. J. Discrete Event Dyn. Syst. 12(1), 83-107 (2002)
27. Nerode, A., Kohn, W.: Models for hybrid systems: automata, topologies, controllability, observability. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems, vol. 736 of Lecture Notes in Computer Science, pp. 317-356. Springer, Heidelberg (1993)
28. Pappas, G.J.: Bisimilar linear systems. Automatica, 39(12), 2035-2047, December (2003)
29. Park, D.M.R.: Concurrency and automata on infinite sequences, vol. 104 of Lecture Notes in Computer Science, pp. 167-183 (1981)
30. Pancanti, S., Leonardi, L., Pallottino, L., Bicchi, A.: Optimal control of quantized linear systems. In: Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, pp. 351-363. Springer, Heidelberg (2002)
31. Paige, R., Tarjan, R.: Three partition refinement algorithms. SIAM J. Comput. 16(6), 973-989 (1987)
32. Puri, A., Varaiya, P.: Decidability of hybrid systems with rectangular inclusions. In: Computer Aided Verification, pp. 95-104 (1994)
33. Pola, G., van der Schaft, A.J., di Benedetto, M.D.: Bisimulation theory for switching linear systems. In: Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 1406-1411, Paradise Island, Bahamas (2004)
34. Polderman, J.W., Willems, J.C.: Introduction to Mathematical Systems Theory: A Behavioral Approach. Springer, New York (1997)
35. Raisch, J., O'Young, S.D.: Discrete approximations and supervisory control of continuous systems. IEEE Trans. Automat. Control: Special Issue on Hybrid Systems, 43(4), 569-573 (1998)
36. Stiver, J.A., Koutsoukos, X.D., Antsaklis, P.J.: An invariant based approach to the design of hybrid control systems. Int. J. Robust Nonlinear Control 11(5), 453-478 (2001)
37. Stursberg, O., Kowalewski, S., Hoffmann, I., Preussig, J.: Comparing timed and hybrid automata as approximations of continuous systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S. (eds.) Hybrid Systems IV, vol. 1273 of Lecture Notes in Computer Science, pp. 361-377. Springer-Verlag, (1997)
38. Sontag, E.D.: Mathematical Control Theory, vol. 6 of Texts in Applied Mathematics, 2nd edn. Springer, New-York (1998)
39. Tarraf, D.C., Megretski, A., Dahleh, M.A.: Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study. In: Proceedings of the 43rd IEEE conference on decision and control, pp. 1436-1441, Paradise Island, Bahamas (2004)
40. Tabuada, P., Pappas, G.J.: Finite bisimulations of controllable linear systems. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)
41. Tabuada, P., Pappas, G.J.: Model checking LTL over controllable linear systems is decidable. In: Maler, O., Pnueli, A. (eds.) Hybrid Systems: Computation and Control, vol. 2623 of Lecture Notes in Computer Science. Springer, (2003)
42. Tabuada, P., Pappas, G.J.: Bisimilar control affine systems. Syst. Control Lett. 52(1), 49-58 (2004)
43. Tabuada, P., Pappas, G.J.: Linear Time Logic control of discrete-time linear systems. IEEE Trans. Automat. Control 51(12), 1862-1877 (2006)
44. van der Schaft, A.J.: Equivalence of dynamical systems by bisimulation. IEEE Trans. Automat. Control 49(12), 2160-2172 (2004)
45. Vidal, R., Schaffert, S., Shakernia, O., Lygeros, J., Sastry, S.: Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. In: Proceedings of the 40th IEEE conference on decision and control, pp. 1243-1248, Orlando (2001)
46. Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, Gabbay, and Maibaum, (eds.) Handbook of Logic and Foundations of Theoretical Computer Science, volume 4. Oxford University Press, London (1994)