Fault-tolerant control synthesis and verification of distributed embedded systems
暂无分享,去创建一个
Anuradha M. Annaswamy | Samarjit Chakraborty | Matthias Kauer | Dip Goswami | Damoon Soudbakhsh | A. Annaswamy | M. Kauer | Dip Goswami | S. Chakraborty | D. Soudbakhsh
[1] Robert Shorten,et al. On common quadratic Lyapunov functions for stable discrete‐time LTI systems , 2004 .
[2] Lothar Thiele,et al. A hybrid approach to cyber-physical systems verification , 2012, DAC Design Automation Conference 2012.
[3] Wei Zhang,et al. Stability of networked control systems , 2001 .
[4] Samarjit Chakraborty,et al. Event count automata: a state-based model for stream processing systems , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
[5] Rajeev Alur,et al. Automata Based Interfaces for Control and Scheduling , 2007, HSCC.
[6] Karl Henrik Johansson,et al. Predictive compensation for communication outages in networked control systems , 2008, 2008 47th IEEE Conference on Decision and Control.
[7] Rajeev Alur,et al. Regular Specifications of Resource Requirements for Embedded Control Software , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
[8] Long Wang,et al. Stabilization of networked control systems with data packet dropout via switched system approach , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).
[9] Michael D. Ernst,et al. Computer Aided Verification , 2016, Lecture Notes in Computer Science.
[10] Ashish Tiwari,et al. Sal 2 , 2004, CAV.
[11] Insup Lee,et al. Co-design of control and platform with dropped signals , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[12] Martin Lukasiewycz,et al. Formal verification of distributed controllers using Time-Stamped Event Count Automata , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).