Towards robustness for cyber-physical systems

IEEE Transactions on Automatic Control

Volumn 59, Issue 12, 2015, Pages 3151-3163

  Tabuada, Paulo ^a   Caliskan, Sina Yamac ^a   Rungger, Matthias ^a   Majumdar, Rupak ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

Cyber physical systems; input output stability; robustness

Indexed keywords

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

References (28)

1. R. Alur, A. Kanade, and G. Weiss, "Ranking automata and games for prioritized requirements," in Proc. 20th Int. Conf. on Computer Aided Verification, CAV'08, Berlin/Heidelberg, Germany, 2008, pp. 240-253, Springer-Verlag.
2. R. Alur and G. Weiss, "RTComposer: A framework for real-time components with scheduling interfaces," in EMSOFT 08: Embedded Software, 2008, pp. 159-168, ACM.
3. A. Arora and S. S. Kulkarni, "Detectors and correctors: A theory of faulttolerance components," in Proc. 18th Int. Conf. Distributed Computing Systems, May 1998, pp. 436-443.
4. R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann, "Synthesizing robust systems," in Formal Methods in Computer-Aided Design (FMCAD), Nov. 2009, pp. 85-92.
5. K. Chatterjee, L. Doyen, and T. A. Henzinger, "Expressiveness and closure properties for quantitative languages," Log. Methods in Comput. Sci., vol. 6, no. 3, 2010.
6. K. Chatterjee, L. Doyen, and T. A. Henzinger, "Quantitative languages," ACM Trans. Comput. Log., vol. 11, no. 4, 2010.
7. S. Chaudhuri, S. Gulwani, and R. Lublinerman, "Continuity analysis of programs," in POPL: Principles of Programm. Lang., 2010, pp. 57-70, ACM.
8. E. Darulova, V. Kuncak, R. Majumdar, and I. Saha, "Synthesis of fixedpoint programs," in Int. Conf. Embedded Software, 2013.
9. E. W. Dijkstra, "Self-stabilizing systems in spite of distributed control," Commun. ACM, vol. 17, pp. 643-644, 1974.
10. L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, "Robustness of sequential circuits," in Proc. 10th Int. Conf. Application of Concurrency to System Design (ACSD), Jun. 2010, pp. 77-84.
11. L. Grüne, "Input-to-state dynamical stability and its Lyapunov function characterization," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1499-1504, Sep. 2002.
12. L. Grüne and P. Saint-Pierre, "An invariance kernel representation of ISDS Lyapunov functions," Syst. & Control Lett., vol. 55, no. 9, pp. 736-745, 2006.
13. N. Halbwachs, F. Lagnier, and P. Raymond, "Synchronous observers and the verification of reactive systems," in Proc. 3rd Int. Conf. Algebraic Methodology and Software Technology, Workshops in Computing, 1993, Springer.
14. S. Huang, M. R. James, D. Nesic, and P. M. Dower, "Analysis of input-tostate stability for discrete time nonlinear systems via dynamic programming," Automatica, vol. 41, no. 12, pp. 2055-2065, 2005.
15. R. Kumar, V. Garg, and S. I. Marcus, "Lyapunov stability of a class of discrete event systems," SIAM J. Control and Optimiz., vol. 39, no. 2, pp. 269-279, 1994.
16. R. Majumdar, E. Render, and P. Tabuada, "Robust discrete synthesis against unspecified disturbances," in Proc. 14th Int. Conf. Hybrid Systems: Computation and Control, 2011, pp. 211-220.
17. R. Majumdar and I. Saha, "Symbolic robustness analysis," in IEEE Real-Time Sys. Symp., 2009, pp. 355-363, IEEE Computer Society.
18. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in STACS 95: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 900, E. W. Mayr and C. Puech, Eds., 1995, pp. 229-242, Springer-Verlag.
19. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety. New York, USA: Springer-Verlag, 1995.
20. C. M. Özveren, A. S. Willsky, and P. J. Antsaklis, "Stability and stabilizability of discrete event dynamic systems," J. ACM, vol. 38, no. 3, pp. 729-751, 1991.
21. K. M. Passino, A. N. Michel, and P. J. Antsaklis, "Lyapunov stability of a class of discrete event systems," IEEE Trans. Autom. Control, vol. 39, no. 2, pp. 269-279, 1994.
22. E. D. Sontag, "Smooth stabilization implies coprime factorization," IEEE Trans. Autom. Control, vol. 34, no. 4, pp. 435-443, Apr. 1989.
23. E. D. Sontag and Y. Wang, "Notions of input-to-output stability," Syst. & Control Lett., vol. 38, pp. 235-248, 1999.
24. P. Tabuada, A. Balkan, S. Y. Caliskan, Y. Shoukry, and R. Majumdar, "Input-output robustness for discrete systems," in Proc. 10th ACM Int. Conf. Embedded Software (EMSOFT'12), 2012, pp. 217-226, ACM.
25. D. C. Tarraf, A. Megretski, and M. A. Dahleh, "A framework for robust stability of systems over finite alphabets," IEEE Trans. Autom. Control, vol. 53, no. 5, pp. 1133-1146, 2008.
26. A. Tarski, "A lattice-theoretical fixpoint theorem and its applications," Pacific J. Mathemat., vol. 5, no. 2, pp. 285-309, 1955.
27. G. Zames, "Functional analysis applied to nonlinear feedback systems," IEEE Trans. Circuit Theory, vol. 10, pp. 392-404, 1963.
28. G. Zames, "Input-output feedback stability and robustness, 1959-85," IEEE Control Syst. Mag., vol. 16, no. 3, pp. 61-66, 1996.