Symbolic models for nonlinear control systems affected by disturbances

International Journal of Control

Volumn 85, Issue 10, 2012, Pages 1422-1432

  Borri, Alessandro ^a,b   Pola, Giordano ^b   Di Benedetto, Maria Domenica ^b  

^a CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

alternating approximate bisimulation; incremental stability; nonlinear control systems affected by disturbances; symbolic models

Indexed keywords

APPROXIMATE BISIMULATION; CONTINUOUS STATE; CONTINUOUS SYSTEM; CONTROL DESIGN; FORMAL VERIFICATIONS; INCREMENTAL STABILITY; SYMBOLIC MODEL;

ABSTRACTING; HYBRID SYSTEMS;

NONLINEAR CONTROL SYSTEMS;

EID: 84865758184     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207179.2012.686672     Document Type: Article

References (33)

1. Alur, R., and Dill, D.L. (1990), 'Automata, Languages and Programming', in Lecture Notes in Computer Science, in Automata for Modelling Real-time Systems (Vol. 443), ed. M.S. Paterson, Berlin: Springer, pp. 322-335.
2. Alur, R., Henzinger, T., Kupferman, O., and Vardi, M. (1998), 'Alternating Refinement Relations', in Proceedings of the 8th International Conference on Concurrence Theory, number 1466 in Lecture Notes in Computer Science, eds. D. Sangiorgi, & R. de Simone, Springer, pp. 163-178. (Pubitemid 128125355)
3. Angeli, D. (2002), 'A Lyapunov Approach to Incremental Stability Properties', IEEE Transactions on Automatic Control, 47, 410-421. (Pubitemid 34536795)
4. Angeli, D., and Sontag, E.D. (1999), 'Forward Completeness, Unboundedness Observability, and their Lyapunov Characterisations', Systems and Control Letters, 38, 209-217. (Pubitemid 129609015)
5. Belta, C., and Habets, L.C.G.J.M. (2006), 'Controlling a Class of Nonlinear Systems on Rectangles', IEEE Transactions on Automatic Control, 51, 1749-1759. (Pubitemid 44824360)
6. Brihaye, T., and Michaux, C. (2005), 'On the Expressiveness and Decidability of O-minimal Hybrid Systems', Journal of Complexity, 21, 447-478. (Pubitemid 40952001)
7. Bicchi, A., Marigo, A., and Piccoli, B. (2002), 'On the Rechability of Quantized Control Systems', IEEE Transactions on Automatic Control, 47, 546-563.
8. Borri, A., Pola, G., and Di Benedetto, M.D. (2011), 'Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems Affected by Disturbancess', in 50th IEEE Conference on Decision and Control, pp. 552-557.
9. Caines, P.E., and Wei, Y.J. (1998), 'Hierarchical Hybrid Control Systems: A Lattice-theoretic Formulation', Special Issue on Hybrid Systems, IEEE Transactions on Automatic Control, 43, 501-508. (Pubitemid 128737374)
10. Egerstedt, M., Frazzoli, E., and Pappas, G.J. (2006), 'Special Issue on Symbolic Methods for Complex Control Systems', IEEE Transactions on Automatic Control, 51, 921-923. (Pubitemid 43997242)
11. Forstner, D., Jung, M., and Lunze, J. (2002), 'A Discreteevent Model of Asynchronous Quantised Systems', Automatica, 38, 1277-1286. (Pubitemid 34623679)
12. Girard, A., and Pappas, G.J. (2007), 'Approximation Metrics for Discrete and Continuous Systems', IEEE Transactions on Automatic Control, 52, 782-798. (Pubitemid 46796065)
13. Girard, A., Pola, G., and Tabuada, P. (2010), 'Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems', IEEE Transactions of Automatic Control, 55, 116-126.
14. Habets, L.C.G.J.M., Collins, P.J., and van Schuppen, J.H. (2006), 'Reachability and Control Synthesis for Piecewise-affine Hybrid Systems on Simplices', IEEE Transactions on Automatic Control, 51, 938-948. (Pubitemid 43997244)
15. Henzinger, T.A., Kopke, P.W., Puri, A., and Varaiya, P. (1998), 'What's Decidable about Hybrid Automata?', Journal of Computer and System Sciences, 57, 94-124. (Pubitemid 128428160)
16. Junge, O. (2004), 'A Set Oriented Approach to Global Optimal Control', ESAIM: Control, optimisation and calculus of variations, 10, 259-270. (Pubitemid 40168943)
17. Koutsoukos, X.D., Antsaklis, P.J., Stiver, J.A., and Lemmon, M.D. (2000), 'Supervisory Control of Hybrid Systems', in Proceedings of the IEEE, 88, 1026-1049.
18. Khalil, H.K. (1996), Nonlinear Systems (2nd ed.), New Jersey: Prentice Hall.
19. Lafferriere, G., Pappas, G.J., and Sastry, S. (2000), 'O-minimal Hybrid Systems', Mathematical Control Signal Systems, 13, 1-21. (Pubitemid 30578622)
20. Milner, R. (1989), Communication and Concurrency, Upper Saddle River, NJ, USA: Prentice Hall.
21. Moor, T., Raisch, J., and O'Young, S.D. (2002), 'Discrete Supervisory Control of Hybrid Systems Based on L-complete Approximations', Journal of Discrete Event Dynamic Systems, 12, 83-107. (Pubitemid 34138684)
22. Nesic, D., and Teel, A.R. (2001), 'Sampled-data Control of Nonlinear Systems: An Overview of Recent Results', in Perspectives on Robust Control, ed. R.S.O. Moheimani, New York: Springer-Verlag, pp. 221-239.
23. Park, D.M.R. (1981), 'Concurrency and Automata on Infinite Sequences', Lecture Notes in Computer Science, 104, 167-183.
24. Pola, G., Borri, A., and Di Benedetto, M.D. (2012), 'Integrated Design of Symbolic Controllers for Nonlinear Systems', IEEE Transactions on Automatic Control, 57, 534-539.
25. Pola, G., Girard, A., and Tabuada, P. (2008), 'Approximately Bisimilar Symbolic Models for Nonlinear Control Systems', Automatica, 44, 2508-2516.
26. Pola, G., Pepe, P., and Di Benedetto, M.D. (2010a), 'Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Timevarying Delays', in 49th IEEE Conference on Decision and Control (CDC), pp. 7649-7654.
27. Pola, G., Pepe, P., Di Benedetto, M.D., and Tabuada, P. (2010b), 'Symbolic Models for Nonlinear Time-delay Systems using Approximate Bisimulations', Systems and Control Letters, 59, 365-373.
28. Pola, G., and Tabuada, P. (2009), 'Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations', SIAM Journal on Control and Optimization, 48, 719-733.
29. Reißig, G. (2009), 'Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems', in Proceedings of 12th International Conference Hybrid Systems: Computation and Control (HSCC), pp. 306-320.
30. Schultz, M.H. (1973), Spline Analysis, Englewood Cliffs, New Jersey: Prentice Hall.
31. Sontag, E.D. (1998), 'Mathematical Control Theory', in Texts in Applied Mathematics (Vol. 6, 2nd ed.) New York: Springer-Verlag.
32. Tabuada, P. (2009), Verification and Control of Hybrid Systems: A Symbolic Approach, Heidelberg: Springer.
33. Zamani, M., Mazo, M., Pola, G., and Tabuada, P. (2012), 'Symbolic Models for Nonlinear Control Systems without Stability Assumptions', IEEE Transactions of Automatic Control, In press, DOI: 10.1109/TAC.2011.2176409.