Input-output robustness for discrete systems

EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK

Volumn , Issue , 2012, Pages 217-226

  Tabuada, Paulo ^a   Balkan, Ayca ^a   Caliskan, Sina Y ^a   Shoukry, Yasser ^a   Majumdar, Rupak ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

Automata; Discrete systems; Robustness; Stability

Indexed keywords

AUTOMATA; BOUNDED DISTURBANCES; CONTINUOUS CONTROL; DISCRETE SYSTEMS; ENGINEERING DESIGN; FINITE STATE TRANSDUCERS; INPUT-OUTPUT; INPUT-OUTPUT STABILITY; POLYNOMIAL-TIME; REFERENCE-BROADCAST SYNCHRONIZATIONS; SMALL DISTURBANCES; SYNTHESIS PROBLEMS;

AUTOMATA THEORY; CONVERGENCE OF NUMERICAL METHODS; EMBEDDED SOFTWARE; POLYNOMIAL APPROXIMATION; STABILITY;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 84869069133     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2380356.2380396     Document Type: Conference Paper

References (23)

1. R. Alur and G. Weiss. RTComposer: a framework for real-time components with scheduling interfaces. In EMSOFT 08: Embedded Software, pages 159-168. ACM, 2008.
2. Rajeev Alur, Aditya Kanade, and Gera Weiss. Ranking automata and games for prioritized requirements. In Proceedings of the 20th international conference on Computer Aided Verification, CAV '08, pages 240-253, Berlin, Heidelberg, 2008. Springer-Verlag.
3. A. Arora and S.S. Kulkarni. Detectors and correctors: a theory of fault-tolerance components. In Distributed Computing Systems, 1998. Proceedings. 18th International Conference on, pages 436 -443, may 1998.
4. R. Bloem, K. Greimel, T.A. Henzinger, and B. Jobstmann. Synthesizing robust systems. In Formal Methods in Computer-Aided Design, 2009. FMCAD 2009, pages 85 -92, nov. 2009.
5. Krishnendu Chatterjee, Laurent Doyen, and Thomas A. Henzinger. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science, 6(3), 2010.
6. Krishnendu Chatterjee, Laurent Doyen, and Thomas A. Henzinger. Quantitative languages. ACM Trans. Comput. Log., 11(4), 2010.
7. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL: Principles of Programming Languages, pages 57-70. ACM, 2010.
8. E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17:643-644, 1974.
9. L. Doyen, T.A. Henzinger, A. Legay, and D. Nickovic. Robustness of sequential circuits. In Application of Concurrency to System Design (ACSD), 2010 10th International Conference on, pages 77 -84, june 2010.
10. J. Elson, L. Girod, and D. Estrin. Fine-grained network time synchronization using reference broadcasts. In Proceedings of the 5th symposium on Operating systems design and implementation, OSDI '02, pages 147-163. ACM, 2002.
11. A. Girard. Approximately bisimilar finite abstractions of stable linear systems. in Proceedings of 10th Internation Conference on Hybrid Systems: Computation and Control, 4416:231-244, 2007.
12. L. Grüne. Input-to-state dynamical stability and its lyapunov function characterization. Automatic Control, IEEE Transactions on, 47(9):1499-1504, sep 2002.
13. L. Grüne and P. Saint-Pierre. An invariance kernel representation of ISDS Lyapunov functions. Systems & Control Letters, 55(9):736-745, 2006.
14. S. Huang, M.R. James, D. Nesic, and P.M. Dower. Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming. Automatica, 41(12):2055-2065, 2005.
15. H. K. Khalil. Nonlinear systems. Prentice-Hall, Inc., New Jersey, 2nd edition, 1996.
16. R. Majumdar and I. Saha. Symbolic robustness analysis. In IEEE Real-Time Systems Symposium, pages 355-363. IEEE Computer Society, 2009.
17. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS 95: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 900, pages 229-242. Springer-Verlag, 1995.
18. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
19. E.D. Sontag. Smooth stabilization implies coprime factorization. Automatic Control, IEEE Transactions on, 34(4):435-443, apr 1989.
20. Danielle C. Tarraf, Alexandre Megretski, and Munther A. Dahleh. A framework for robust stability of systems over finite alphabets. IEEE Transactions on Automatic Control, 53(5):1133-1146, 2008.
21. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5(2):285-309, 1955.
22. G. Zames. Functional analysis applied to nonlinear feedback systems. IEEE Transactions on Circuit Theory, 10:392-404, 1963.
23. G. Zames. Input-output feedback stability and robustness, 1959-85. IEEE Control Systems Magazine, 16(3):61-66, 1996.