Integrated design of symbolic controllers for nonlinear systems

IEEE Transactions on Automatic Control

Volumn 57, Issue 2, 2012, Pages 534-539

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

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Approximate bisimulation; digital control systems; nonlinear systems; on the fly design; symbolic models

Indexed keywords

APPROXIMATE BISIMULATION; CONCRETE APPLICATIONS; CONTROL PROBLEMS; DIGITAL CONTROL; FORMAL APPROACH; ILLUSTRATIVE EXAMPLES; INTEGRATED DESIGNS; LARGE SIZES; ON-THE-FLY; PHYSICAL WORLD; SYMBOLIC CONTROLLER; SYMBOLIC MODEL;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONTROLLERS; DESIGN; DIGITAL CONTROL SYSTEMS; FINITE AUTOMATA; HYBRID SYSTEMS; MODELS; NONLINEAR SYSTEMS;

CONTINUOUS TIME SYSTEMS;

EID: 84856432929     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2164740     Document Type: Article

References (15)

1. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, 7, pp. 971-984, Jul. 2000.
2. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Trans. Autom. Control, vol. 47, no. 3, pp. 410-421, Mar. 2002.
3. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer Academic Publishers, 1999.
4. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis, "Memoryefficient algorithms for the verification of temporal properties," Formal Methods in System Design, vol. 1, no. 2-3, pp. 275-288, 1992.
5. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. Autom. Control, vol. 52, no. 5, pp. 782-798, May 2007.
6. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE Trans. Autom. Control, vol. 55, no. 1, pp. 116-126, Jan. 2010.
7. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, pp. 2508-2516, Oct. 2008.
8. G. Pola, P. Pepe, M. D. Di Benedetto, and P. Tabuada, "Symbolic models for nonlinear time-delay systems using approximate bisimulations," Syst. Control Lett., vol. 59, pp. 365-373, 2010.
9. G. Pola, P. Pepe, and M. D. Di Benedetto, "Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays," in Proc. 49th IEEE Conf. Decision Control, Atlanta, GA, Dec. 2010, pp. 7649-7654.
10. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM J. Control Optim., vol. 48, no. 2, pp. 719-733, 2009.
11. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Trans. Autom. Control, vol. 53, no. 6, pp. 1406-1418, Jun. 2008.
12. P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach. New York: Springer, 2009.
13. S. Tripakis and K. Altisen, "On-the-fly controller synthesis for discrete and dense-time systems," in Proc. World Congress Formal Methods Development Comp. Syst., Berlin, Germany, Sep. 1999, vol. 1708, Lecture Notes in Computer Science, pp. 233-252.
14. B. Yordanov and C. Belta, "Temporal logic control of discrete-time piecewise affine systems," in Proc. 48th IEEE Conf. Decision Control, Shanghai, China, Dec. 2009, pp. 3182-3187.
15. M. Zamani, M. Mazo Jr., G. Pola, and P. Tabuada, "Symbolic models for nonlinear control systems without stability assumptions," IEEE Trans. Autom. Control, 2012, to be published.