A model for fault-tolerant networked control system using TTP/C communication

Proceedings of the American Control Conference

Volumn 1, Issue , 2003, Pages 533-537

  Patankar, Ravindra ^a  

^a Michigan Technological University   (United States)

Author keywords

Fault tolerant; NCS; Safety critical; TTP

Indexed keywords

CONTROL SYSTEM ANALYSIS; DATA TRANSFER; REDUNDANCY; SWITCHING NETWORKS; SYNCHRONIZATION; TIME DIVISION MULTIPLE ACCESS;

NETWORKED CONTROL SYSTEM;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0142154914     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Brockett, R., 1995, "Stabilization of motor networks," Proc. IEEE Conf. Decision and Control, New Orleans, LA, pp. 1484-1488.
2. Brockett, R., Liberzon, D., 2000, "Quantized feedback stability of linear systems," IEEE Trans. Automat. Control, V. 45, pp. 1279-1289.
3. Deshpande, A., Varaiya, P., 1995, "Viable control of hybrid systems," Hybrid Systems II, Volume 999 of Lecture notes in computer science, Springer, London, pp. 128-147.
4. FAA, 1988, System Design and Analysis, Federal Aviation Administration Advisory Circular 25.1309-1A.
5. Kopetz, H., 1997, Real-time systems: Design principles for distributed embedded applications, Kluwer Academic.
6. Morse, A. S., 1997, Ed., Control using logic-based switching, Springer, London.
7. Pfeifer, H., Schwier, D. and von Henke F., 1999, "Formal verification of time-triggered clock synchronization," Dependable computing and fault-tolerant systems-7, V. 12, Weinstock, C. B., Rushby, J., Eds., IEEE Camp. Soc., pp. 207-226.
8. Pfeifer, H., 2000, "Formal verification of TTP group membership algorithm," Int. Conf. Formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification, Pisa, Italy.
9. Rushby, J., 2001a, "Formal verification of transmission window timing for the time-triggered architecture," CSL Technical Report, SRI International. Menlo Park, CA.
10. Rushby, J., 2001b, "Bus architecture for safety critical embedded systems," Volume 2211 of Lecture Notes in Computer Science, Springer-Verlag, London, pp. 306-323.