Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 7649-7654

  Pola, Giordano ^a   Pepe, Pierdomenico ^a   Di Benedetto, Maria D ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Alternating approximate bisimulation; Incremental input delay to state stability; Symbolic models; Time delay systems; Time varying delays

Indexed keywords

DELAY CONTROL SYSTEMS; NONLINEAR CONTROL SYSTEMS; TIME DELAY;

ALTERNATING APPROXIMATE BISIMULATION; STATE STABILITY; SYMBOLIC MODEL; TIME VARYING- DELAYS; TIME-DELAY SYSTEMS;

TIME VARYING CONTROL SYSTEMS;

EID: 79953127821     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2010.5717258     Document Type: Conference Paper

References (20)

1. M. Egerstedt, E. Frazzoli, and G. J. Pappas, IEEE Transactions of Automatic Control, vol. 51, no. 6, June 2006, special Issue on Symbolic Methods for Complex Control Systems.
2. P. Tabuada and G. Pappas, "Linear Time Logic control of discrete-time linear systems," IEEE Transactions on Automatic Control, vol. 51, no. 12, pp. 1862-1877, 2006.
3. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Transactions on Automatic Control, vol. 53, no. 6, pp. 1406-1418, 2008.
4. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, pp. 2508-2516, October 2008.
5. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM Journal on Control and Optimization, vol. 48, no. 2, pp. 719-733, 2009.
6. C. Belta and L. Habets, "Controlling a class of nonlinear systems on rectangles," IEEE Transactions of Automatic Control, vol. 51, no. 11, pp. 1749-1759, 2006.
7. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE Transactions of Automatic Control, vol. 55, no. 1, pp. 116-126, January 2010.
8. J. P. Richard, "Time-delay systems: an overview of some recent advances and open problems," Automatica, vol. 39, no. 10, pp. 1667-1694, October 2003.
9. Proceedings of the 6th IFAC Workshop on Time-Delay systems, C. Manes and P. Pepe (Eds.). IFAC-PapersOnline, 2007.
10. G. Pola, P. Pepe, M. D. Benedetto, and P. Tabuada, "A symbolic model approach to the digital control of nonlinear timedelay systems," in 48th IEEE Conference on Decision and Control, Shanghai, P.R. China, December 2009, pp. 2216-2221.
11. G. Pola, P. Pepe, M. Di Benedetto, and P. Tabuada, "Symbolic models for nonlinear time-delay systems using approximate bisimulations," Systems and Control Letters, vol. 59, pp. 365-373, 2010.
12. E. Fridman and U. Shakeda, "Input-output approach to stability and L2-gain analysis of systems with time-varying delays," Systems and Control Letters, vol. 55, pp. 1041-1053, 2006.
13. P. Pepe and Z. P. Jiang, "A Lyapunov-Krasovskii Methodology for ISS and iISS of time-delay systems," Systems & Control Letters, vol. 55, no. 12, pp. 1006-1014, 2006.
14. I. Karafyllis, P. Pepe, and Z. P. Jiang, "Input-to-output stability for systems described by retarded functional differential equations," European Journal of Control, vol. 14, no. 6, pp. 539-555, December 2008.
15. R. Alur, T. Henzinger, O. Kupferman, and M. Vardi, "Alternating re- finement relations," in Proceedings of the 8th International Conference on Concurrence Theory, ser. Lecture Notes in Computer Science, no. 1466. Springer, 1998, pp. 163-178.
16. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
17. D. Park, "Concurrency and automata on infinite sequences," ser. Lecture Notes in Computer Science, Springer-Verlag, Ed., vol. 104, 1981, pp. 167-183.
18. A. Girard and G. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Transactions on Automatic Control, vol. 52, no. 5, pp. 782-798, 2007.
19. M. H. Schultz, Spline Analysis. Prentice Hall, 1973.
20. A. Germani, C. Manes, and P. Pepe, "A twofold spline approximation for finite horizon LQG control of hereditary systems," SIAM Journal on Control and Optimization, vol. 39, no. 4, pp. 1233-1295, 2000.