A model for fault-tolerant networked control system using TTP/C communication
暂无分享,去创建一个
[1] John Rushby. Formal Verification of Transmission Window Timing for the Time-Triggered Architecture , 2001 .
[2] John M. Rushby,et al. Bus Architectures for Safety-Critical Embedded Systems , 2001, EMSOFT.
[3] H. Pfeifer,et al. Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.
[4] Ashok Chandy,et al. Modeling and Analysis of an Electric Power Steering System , 1999 .
[5] Roger W. Brockett,et al. Stabilization of motor networks , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.
[6] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.
[7] Holger Pfeifer. Formal Verification of the TTP Group Membership Algorithm , 2000, FORTE.
[8] Michael G. Safonov,et al. The unfalsified control concept and learning , 1997 .
[9] Daniel Liberzon,et al. Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..
[10] P. Varaiya,et al. Viable control of hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[11] A. Stephen Morse,et al. Control Using Logic-Based Switching , 1997 .