A symbolic approach to the design of robust cyber-physical systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2013, Pages 3932-3937

  Rungger, Matthias ^a   Tabuada, Paulo ^a  

^a Department of Civil and Environmental Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CYBER PHYSICAL SYSTEM; DESIGN; EMBEDDED SYSTEMS; ROBUST CONTROL;

CYBER PHYSICAL SYSTEMS (CPSS); CYBER SYSTEMS; DESIGN METHODOLOGY; ENGINEERING SYSTEMS; INPUT OUTPUT STABILITIES; PHYSICAL SYSTEMS; SYMBOLIC MODEL;

ROBUSTNESS (CONTROL SYSTEMS);

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

References (19)

1. R. Bloem, K. Greimel, T.A. Henzinger, and B. Jobstmann. Synthesizing robust systems. In Proc. of Int. Conf. on Formal Methods in Computer-Aided Design, pages 85-92, 2009.
2. C. Cai and A. R. Teel. Characterizations of input-to-state stability for hybrid systems. Sys. & Cont. Let., 58:47-53, 2009.
3. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL, pages 57-70. ACM, 2010.
4. L. Doyen, T.A. Henzinger, A. Legay, and D. Nickovic. Robustness of sequential circuits. In ACSD, 2010, pages 77-84, june 2010.
5. L. Grüne. Input-to-state dynamical stability and its lyapunov function characterization. IEEE TAC, 47:1499-1504, 2002.
6. L. Grüne. Input-to-state stability, numerical dynamics and sampleddata control. GAMM-Mitteilungen, 31:94-114, 2008.
7. L. Grüne and P. Saint-Pierre. An invariance kernel representation of ISDS Lyapunov functions. Sys. & Cont. Let., 55:736-745, 2006.
8. Z. P. Jiang and Y. Wang. Input-to-state stability for discrete-time nonlinear systems. Automatica, 37:857-869, 2001.
9. R. Majumdar, E. Render, and P. Tabuada. Robust discrete synthesis against unspecified disturbances. In HSCC, pages 211-220, 2011.
10. R. Majumdar and I. Saha. Symbolic robustness analysis. In IEEE RTSS, pages 355-363. IEEE Computer Society, 2009.
11. D. Něsić and A. R. Teel. Input-to-state stability of networked control systems. Automatica, 40:2121-2128, 2004.
12. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44: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:719-733, 2009.
14. E. D. Sontag. Input to State Stability: Basic concepts and results. Nonlinear and optimal control theory, pages 163-220, 2008.
15. P. Tabuada. Verification and Control of Hybrid Systems-A Symbolic Approach. Springer, 2009.
16. P. Tabuada, A. Balkan, S. Y. Caliskan, Y. Shoukry, and R. Majumdar. Input-output robustness for discrete systems. In Proc. of the 10th ACM Int. Conf. on Embedded Software, pages 217-226. ACM, 2012.
17. D. C. Tarraf, A. Megretski, and M. A. Dahleh. A framework for robust stability of systems over finite alphabets. IEEE TAC, 53:1133-1146, 2008.
18. G. C. Walsh, H. Ye, and L. G. Bushnell. Stability analysis of networked control systems. IEEE TCST, 10:438-446, 2002.
19. G. Zames. Input-output feedback stability and robustness, 1959-85. IEEE CSM, 16:61-66, 1996.