Symbolic models for unstable nonlinear control systems

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 1021-1026

  Zamani, Majid ^a   Pola, Giordano ^b   Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; NONLINEAR CONTROL SYSTEMS;

ALGORITHMIC TECHNIQUES; EMBEDDED CONTROL SOFTWARE; FINITE-STATE MODELS; FORWARD COMPLETENESS; INVERTED PENDULUM; SCHEDULABILITY; SOFTWARE REQUIREMENTS; STABILIZABILITY;

CONTROLLERS;

EID: 77957797879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530738     Document Type: Conference Paper

References (18)

1. R. Alur and D. L. Dill. Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, chapter Automata for modeling real-time systems, pages 322-335. Springer, Berlin, April 1990.
2. D. Angeli. A lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 47(3):410-21, 2002.
3. D. Angeli and E. D. Sontag. Forward completeness, unboundedness observability, and their lyapunov characterizations. Systems and Control Letters, 38:209-217, 1999.
4. T. Brihaye and C. Michaux. On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity, 21(4):447-478, 2005.
5. A. Girard. Approximately bisimilar finite abstractions of stable linear systems. In Hybrid Systems: Computation and Control, volume 4416 of Lecture Notes in Computer Science, pages 231-244. Springer, Berlin, May 2007.
6. A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 25(5):782-798, 2007.
7. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control, 55(1):116- 126, January 2009.
8. L.C.G.J.M. Habets, P.J. Collins, and J.H. Van Schuppen. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control, 51(6):938-948, 2006.
9. T.A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
10. G. Lafferriere, G. J. Pappas, and S. Sastry. O-minimal hybrid systems. Math. Control Signal Systems, 13:1-21, 2000.
11. Pessoa. It is electronically available at: http://www.cyphylab.ee.ucla. edu/pessoa. October 2009.
12. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
13. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: alternating approximate bisimulations. SIAM Journal on Control and Optimization, 48(2):719- 733, February 2009.
14. E. Rodriguez-Carbonell and Ashish Tiwari. Generating polynomial invariants for hybrid systems. In Hybrid Systems: Computation and Control, volume 3414 of Lecture Notes in Computer Science, pages 590-605. Springer Berlin, February 2005.
15. E. D. Sontag. Mathematical control theory, volume 6. Springer-Verlag, New York, 2nd edition, 1998.
16. P. Tabuada. An approximate simulation approach to symbolic control. IEEE Transactions on Automatic Control, 53(6):1406-1418, July 2008.
17. P. Tabuada. Verification and Control of Hybrid Systems, A symbolic approach. Springer US, 2009.
18. M. Zamani, G. Pola, M. Mazo Jr., and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. Submitted for publication, arXiv:1002.0822, February 2010.