Approximately bisimilar symbolic models for nonlinear control systems

Automatica

Volumn 44, Issue 10, 2008, Pages 2508-2516

  Pola, Giordano ^a   Girard, Antoine ^b   Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Approximate bisimulation; Digital control systems; Incremental stability; Nonlinear systems; Symbolic models

Indexed keywords

COMPUTER HARDWARE; COMPUTER SCIENCE; CONCURRENCY CONTROL; CONTROL SYSTEM ANALYSIS; CONTROL THEORY; DECISION MAKING; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); DIGITAL CONTROL SYSTEMS; GAME THEORY; IDENTIFICATION (CONTROL SYSTEMS); MODELS; NONLINEAR CONTROL SYSTEMS; PARAMETER ESTIMATION; PNEUMATIC CONTROL EQUIPMENT; STATE SPACE METHODS; SYSTEM STABILITY; TECHNOLOGY;

APPROXIMATE BISIMULATION; APPROXIMATION ERRORS; CONTINUOUS DYNAMICS; CONTINUOUS MODELING; CONTROL PARAMETERS; CONTROLLER SYNTHESIS; DESIGN PARAMETERS; DIGITAL CONTROLS; GLOBALLY ASYMPTOTICALLY STABLE; INCREMENTAL STABILITY; INPUT-TO-STATE STABILITY; NON-LINEAR CONTROL; NONLINEAR SYSTEMS; PHYSICAL PHENOMENON; STATE SPACES; SUPERVISORY CONTROL; SYMBOLIC MODELS; UNIFIED LANGUAGE;

CONTROL SYSTEMS;

EID: 52949140552     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2008.02.021     Document Type: Article

References (32)

1. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
2. Angeli D. A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control 47 3 (2002) 410-421
3. Angeli D., and Sontag E.D. Forward completeness, unboundedness observability, and their Lyapunov characterizations. Systems and Control Letters 38 (1999) 209-217
4. Arnold A., Vincent A., and Walukiewicz I. Games for synthesis of controllers with partial observation. Theoretical Computer Science 28 1 (2003) 7-34
5. Bicchi A., Marigo A., and Piccoli B. On the reachability of quantized control systems. IEEE Transaction on Automatic Control 47 4 (2002) 546-563
6. Bicchi A., Marigo A., and Piccoli B. Feedback encoding for efficient symbolic control of dynamical systems. IEEE Transaction on Automatic Control 51 6 (2006) 987-1002
7. Girard A. Reachability of uncertain linear systems using zonotopes. In: Morari M., Thiele L., and Rossi F. (Eds). Hybrid systems: Computation and control. Lecture notes in computer science Vol. 3414 (2005), Springer Verlag, Berlin 291-305
8. Girard A. Approximately bisimilar finite abstractions of stable linear systems. In: Bemporad A., Bicchi A., and Buttazzo G. (Eds). Hybrid systems: Computation and control. Lecture notes in computer science Vol. 4416 (2007), Springer Verlag, Berlin 231-244
9. Girard A., and Pappas G.J. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 52 5 (2007) 782-798
10. Grasse K.A. Simulation and bisimulation of nonlinear control systems with admissible classes of inputs and disturbances. SIAM Journal on Control and Optimization 46 2 (2007) 562-584
11. Khalil H.K. Nonlinear systems. 2nd ed. (1996), Prentice Hall, New Jersey
12. Kuipers B.J. Qualitative reasoning: Modeling and simulation with incomplete knowledge (1994), MIT Press, Cambridge, MA
13. Lafferriere G., Pappas G.J., and Sastry S. O-minimal hybrid systems. Mathematics of Control, Signals and Systems 13 1 (2000) 1-21
14. Lee E.B., and Markus L. Foundations of optimal control theory. SIAM series in applied mathematics (1967), Wiley, New York
15. Liberzon D. Switching in systems and control (2003), Birkhauser
16. Lunze J., and Nixdorf B. Representation of hybrid systems by means of stochastic automata. Mathematical and Computer Modeling of Dynamical Systems 7 4 (2001) 383-422
17. Milner R. Communication and concurrency (1989), Prentice Hall
18. Park D.M.R. Concurrency and automata on infinite sequences. Lecture notes in computer science Vol. 104 (1981) 167-183
19. Pola, G., Girard, A., & Tabuada, P. (2007). Symbolic models for nonlinear control systems using approximate bisimulations. In 46th IEEE conference on decision and control (pp. 432-437)
20. Pola G., van der Schaft A.J., and Di Benedetto M.D. Equivalence of switching linear systems by bisimulation. International Journal of Control 79 (2006) 74-92
21. Prajna, S., Papachristodoulou, A. & Parrilo, P. A. (2002). Sostools: Sum of squares optimization toolbox for matlab. Available at: http://www.cds.caltech.edu/sostools
22. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event systems. SIAM Journal on Control and Optimization 25 1 (1987) 206-230
23. Ramamoorthy S., and Kuipers B.J. Qualitative heterogeneous control of higher order systems. In: Maler O., and Pneuli A. (Eds). Hybrid systems: Computation and control, 2003. Lecture notes in computer science Vol. 2623 (2003), Springer Verlag, Berlin 417-434
24. Schroder J. Modeling, state observation and diagnosis of quantised systems. Lecture notes in control and information sciences Vol. 282 (2003), Springer
25. Sontag E.D. Mathematical control theory. 2nd ed. Texts in applied mathematics Vol. 6 (1998), Springer-Verlag, New York
26. Tabuada P. Symbolic models for control systems [Special issue on Hybrid Systems]. Acta Informatica 43 7 (2007) 477-500
27. Tabuada P. An approximate simulation approach to symbolic control. IEEE Transactions on Automatic Control 53 6 (2008) 1406-1418
28. Tabuada P., and Pappas G.J. Bisimilar control affine systems. Systems and Control Letters 52 1 (2004) 49-58
29. Tabuada P., and Pappas G.J. Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control 51 12 (2006) 1862-1877
30. Tripakis S., and Altisen K. On-the-fly controller synthesis for discrete and dense-time systems. World congress on formal methods in the development of computing systems. Lecture notes in computer science Vol. 1708 (1999), Springer Verlag, Berlin 233-252
31. van der Schaft A.J. Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control 49 12 (2004) 2160-2172
32. Varaiya, P. (1998). Reach set computation using optimal control. In Proceedings of the KIT Workshop on Verification of Hybrid Systems (pp. 377-383)