Abstracting and refining robustness for cyber-physical systems

HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)

Volumn , Issue , 2014, Pages 223-232

  Rungger, Matthias ^a   Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Cyber physical systems; Robustness; Stability; Synthesis

Indexed keywords

ABSTRACTING; CONVERGENCE OF NUMERICAL METHODS; EMBEDDED SYSTEMS; HYBRID SYSTEMS; SOFTWARE ENGINEERING; STABILITY; SYNTHESIS (CHEMICAL);

BOUNDED DISTURBANCES; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); DESIGN METHODOLOGY; DYNAMICAL STABILITY; ENVIRONMENT CONDITIONS; ROBUST DESIGNS; SIMULATION RELATION;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 84899766406     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2562059.2562133     Document Type: Conference Paper

References (32)

1. R. Alur, T. Henzinger, O. Kupferman, and M. Y. Vardi. Alternating refinement relations. In Concurrency Theory, pages 163-178. Springer, 1998.
2. R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann. Robustness in the presence of liveness. In Computer Aided Verification, pages 410-424, 2010.
3. 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.
4. C. Cai and A. R. Teel. Characterizations of input-to-state stability for hybrid systems. Systems & Control Letters, 58:47-53, 2009.
5. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity and robustness of programs. Communications of the ACM, 55(8):107-115, 2012.
6. K. H. Cho and J. T. Lim. Stability and robustness of discrete event dynamic systems. International Journal of Systems Science, 28:691-703, 1997.
7. E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17:643-644, 1974.
8. R. Ehlers. Generalized Rabin(1) synthesis with applications to robust system synthesis. In NASA Formal Methods, pages 101-115. Springer, 2011.
9. A. Girard and G. J. Pappas. Approximation metrics for discrete and cont. systems. IEEE TAC, 52:782-798, 2007.
10. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE TAC, 55:116-126, 2010.
11. L. Grüne. Input-to-state dynamical stability and its Lyapunov function characterization. IEEE TAC, 47:1499-1504, 2002.
12. L. Grüne and P. Saint-Pierre. An invariance kernel representation of ISDS Lyapunov functions. Systems & Control Letters, 55:736-745, 2006.
13. S. Huang, M. R. James, D. Nešić, and P.M. Dower. A unified approach to controller design for achieving iss and related properties. IEEE TAC, 50:1681-1697, 2005.
14. W. Lohmiller and J.-J. Slotine. On contraction analysis for non-linear systems. Automatica, 34:683-696, 1998.
15. R. Majumdar, E. Render, and P. Tabuada. Robust discrete synthesis against unspecified disturbances. In Proc. of the 14th ACM Int. Conf. on HSCC, pages 211-220, 2011.
16. R. Majumdar and I. Saha. Symbolic robustness analysis. In IEEE Real-Time Systems Symposium, pages 355-363. IEEE Computer Society, 2009.
17. R. Milner. Communication and concurrency. Prentice-Hall, 1989.
18. K. M. Passino, A. N. Michel, and P. J. Antsaklis. Lyapunov stability of a class of discrete event systems. IEEE TAC, 39:269-279, 1994.
19. A. Pavlov, N. van de Wouw, and H. Nijmeijer. Convergent systems: analysis and synthesis. In Control and observer design for nonlinear finite and infinite dimensional systems, pages 131-146. Springer, 2005.
20. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44:2508-2516, 2008.
21. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SICON, 48:719-733, 2009.
22. M. Roozbehani, A. Megretski, and E. Feron. Optimization of lyapunov invariants in verification of software systems. IEEE TAC, 58:696-711, 2013.
23. M. Rungger and P. Tabuada. A symbolic approach to the design of robust cyber-physical systems. In Proc. of the 52nd IEEE CDC, 2013.
24. A. Shahrokni and R. Feldt. A systematic review of software robustness. Information and Software Tech., 55:1-17, 2013.
25. E. D. Sontag. Input to State Stability: Basic concepts and results. Nonlinear and optimal control theory, 2008.
26. P. Tabuada. Verification and Control of Hybrid Systems-A Symbolic Approach. Springer, 2009.
27. 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, 2012.
28. 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.
29. U. Topcu, N. Ozay, J. Liu, and R. M. Murray. On synthesizing robust discrete controllers under modeling uncertainty. In Proc. of the 15th ACM Int. Conf. on HSCC, pages 85-94, 2012.
30. R. C. Weber and M. Bellenberg. Robotino Manual, Festo Didactic GmbH & Co, 2010.
31. G. Zames. Input-output feedback stability and robustness, 1959-85. IEEE Control Systems Magazine, 16:61-66, 1996.
32. H. Zhang and M. P. Dower. Computation of tight integral input-to-state stability bounds for nonlinear systems. Systems & Control Letters, 62:355-365, 2013.