A hybrid approach to cyber-physical systems verification

Proceedings - Design Automation Conference

Volumn , Issue , 2012, Pages 688-696

  Kumar, Pratyush ^a   Goswami, Dip ^b   Chakraborty, Samarjit ^b   Annaswamy, Anuradha ^c   Lampka, Kai ^d   Thiele, Lothar ^a  

^a ETH ZURICH   (Switzerland)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c Massachusetts Institute of Technology   (United States)

^d UPPSALA UNIVERSITY   (Sweden)

Author keywords

cyber physical systems; frequency delay metric; real time calculus; stability; timed automata

Indexed keywords

CONTROL APPLICATIONS; CONTROL MESSAGES; CONTROL PERFORMANCE; CYBER PHYSICAL SYSTEMS (CPSS); DELAY BOUND; DISTRIBUTED ARCHITECTURE; ELECTRONIC CONTROL UNITS; FLEXRAY; FREQUENCY-DELAY METRIC; HYBRID APPROACH; INDUSTRIAL AUTOMATION; INTERLEAVINGS; MESSAGE DELAY; MULTIPLE CONTROL LOOPS; MULTIPLE PROCESSORS; PERFORMANCE VERIFICATION; REAL-TIME CALCULUS; TIMED-AUTOMATA;

COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; CONVERGENCE OF NUMERICAL METHODS; MODEL CHECKING;

EMBEDDED SYSTEMS;

EID: 84863551517     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2228360.2228484     Document Type: Conference Paper

References (16)

1. L. Abeni and G. C. Buttazzo. Integrating multimedia applications in hard real-time systems. In IEEE Real-Time Systems Symposium, pages 4-13, 1998.
2. R. Alur and G. Weissr. Regular specifications of resource requirements for embedded control software. In IEEE Real-Time and Embedded Technology and Applications Symposium, 2008.
3. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL - A tool suite for automatic verification of real-time systems. In Proceedings of the DIMACS/SYCON Workshop on Hybrid Systems III: Verification and Control, 1995.
4. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program., 19(2):87-152, 1992. (Pubitemid 23582985)
5. J.-Y. L. Boudec and P. Thiran. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Lecture Notes in Computer Science, Vol 2050. Springer, 2001.
6. M. S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4):475-482, 1998.
7. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
8. K. Lampka, S. Perathoner, and L. Thiele. Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In IEEE International conference on Embedded software (EMSOFT), 2009.
9. O. Mason and R. Shorten. On common quadratic Lyapunov functions for stable discrete-time LTI systems. IMA Journal of Applied Mathematics, 69(3):271-283, 2002.
10. W. Rugh. Linear Systems Theory. Prentice-Hall, N.J., 1996.
11. S. Samii, A. Cervin, P. Eles, and Z. Peng. Integrated scheduling and synthesis of control applications on distributed embedded systems. In Design Automation and Test in Europe (DATE), 2009.
12. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In IEEE International Symposium on Circuits and Systems, 2000.
13. G. C. Walsh, H. Ye, and L. G. Bushnell. Stability analysis of networked control systemss. IEEE Trans. on Control System Technology, 10(3):438-446, 2002. (Pubitemid 34630818)
14. M. Yongguang, C. Wenying, and L. Guangxiao. Compensation of networked control systems with time-delay and data packet losses. In Chinese Control and Decision Conference, 2009.
15. G. Zhai, B. Ho, K. Yasuda, and A. N. Michel. Qualitative analysis of discrete-time switched systems. In American Control Conference (ACC), 2002.
16. J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler. Execution strategies for PTIDES, a programming model for distributed embedded systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.