Fault-tolerant control synthesis and verification of distributed embedded systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2014, Pages

  Kauer, Matthias ^a   Soudbakhsh, Damoon ^b   Goswami, Dip ^c   Chakraborty, Samarjit ^c   Annaswamy, Anuradha M ^b  

^a TUM CREATE   (Singapore)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPLEX NETWORKS; CONTROLLERS; DESIGN; EMBEDDED SYSTEMS; TELECOMMUNICATION NETWORKS;

DISTRIBUTED ARCHITECTURE; DISTRIBUTED EMBEDDED CONTROL SYSTEM; DISTRIBUTED EMBEDDED SYSTEM; EMBEDDED ARCHITECTURE; FAULT TOLERANT CONTROL; FAULT-TOLERANT STRATEGY; IMPLEMENTATION APPROACH; QUALITY OF CONTROLS;

QUALITY CONTROL;

EID: 84903829406     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/DATE2014.069     Document Type: Conference Paper

References (11)

1. P. Kumar, D. Goswami, S. Chakraborty, A. Annaswamy, K. Lampka, and L. Thiele, "A Hybrid Approach to Cyber-Physical Systems Verification," in DAC, 2012.
2. W. Zhang, M. Branicky, and S. Phillips, "Stability of Networked Control Systems," IEEE Control Systems, vol. 21, no. 1, pp. 84-99, 2001.
3. M. Yu, L.Wang, G. Xie, and T. Chu, "Stabilization of Networked Control Systems with Data Packet Dropout via Switched System Approach," in CACSD, 2004.
4. E. Henriksson, H. Sandberg, and K. H. Johansson, "Predictive Compensation for Communication Outages in Networked Control Systems," in CDC, 2008.
5. G. Weiss and R. Alur, "Automata Based Interfaces for Control and Scheduling," HSCC, 2007.
6. R. Alur and G. Weiss, "Regular Specifications of Resource Requirements for Embedded Control Software," in RTAS, 2008.
7. M. Kauer, S. Steinhorst, D. Goswami, R. Schneider, M. Lukasiewycz, and S. Chakraborty, "Formal Verification of Distributed Controllers using Time-Stamped Event Count Automata," in ASP-DAC, 2013.
8. S. Chakraborty, L. Phan, and P. Thiagarajan, "Event Count Automata: a State-Based Model for Stream Processing Systems," in RTSS, 2005.
9. D. Soudbakhsh, L. T. X. Phan, O. Sokolsky, I. Lee, and A. M. Annaswamy, "Co-design of Control and Platform with Dropped Signals," in ICCPS, 2013.
10. L. de Moura, S. Owre, H. Rue, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari, "SAL 2," in Computer Aided Verification, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2004, vol. 3114, pp. 251-254.
11. O. Mason and R. Shorten, "On Common Quadratic Lyapunov Functions for Stable Discrete-time LTI Systems," IMA Journal of Applied Mathematics, vol. 69, no. 3, pp. 271-283, 2004.