Relaxing signal delay constraints in distributed embedded controllers

IEEE Transactions on Control Systems Technology

Volumn 22, Issue 6, 2014, Pages 2337-2345

  Goswami, Dip ^a   Schneider, Reinhard ^b   Chakraborty, Samarjit ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Distributed embedded controllers; flexible delay constraints; FlexRay; timing analysis.

Indexed keywords

DELAY CONSTRAINTS; EMBEDDED CONTROLLERS; FLEXRAY; SIGNAL DELAYS; TIMING ANALYSIS;

EID: 84908232133     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2014.2301795     Document Type: Article

References (17)

1. R. Alur and G. Weiss, "Regular specifications of resource requirements for embedded control software," in Proc. IEEE RTAS, Oct. 2008, pp. 159-168.
2. R. I. Davis A. Burns R. J. Bril, and J. J. Lukkien, "Controller area network (CAN) schedulability analysis: Refuted, revisited and revised," Real-Time Syst. , vol. 35, no. 3, pp. 239-272, 2007.
3. R. C. Dorf and R. H. Bishop, Modern Control Systems. Reading, MA, USA: Addison Wesley, 1995.
4. (2013, Sep. ). Elektrobit [Online]. Available: http://www.elektrobit.com/
5. (2013). The FlexRay Communications System Specifications [Online]. Available: http://www.flexray. com
6. M. E. M. B. Gaid A. Cela, and Y. Hamam, "Optimal integrated control and scheduling of networked control systems with communication constraints: Application to a car suspension system," IEEE Trans. Control Syst. Technol. , vol. 14, no. 4, pp. 776-787, Jul. 2006.
7. S. Hu and W. Y. Yan, "Stability robustness of networked control systems with respect to packet loss," Automatica, vol. 43, no. 7, pp. 1243-1248, 2007.
8. 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 Proc. ASP-DAC, 2013, pp. 411-416.
9. P. Kumar D. Goswami S. Chakraborty A. Annaswamy K. Lampka, and L. Thiele, "A hybrid approach to cyber-physical systems verification," in Proc. Des. DAC, 2012, pp. 688-696.
10. F. L. Lian J. Moyne, and D. Tilbury, "Network design consideration for distributed control systems," IEEE Trans. Control Syst. Technol. , vol. 10, no. 2, pp. 297-307, Mar. 2002.
11. A. A. Martinez and P. Tabuada, "On the benefits of relaxing the periodicity assumption for networked control systems over CAN," in Proc. 30th IEEE RTSS, Dec. 2009, pp. 3-12.
12. P. Naghshtabrizi and J. P. Hespanha, "Analysis of distributed control systems with shared communication and computation resource," in Proc. ACC, 2009, pp. 3384-3389.
13. M. Pajic S. Sundaram G. J. Pappas, and R. Mangharam, "The wireless control network: A new approach for control over networks," IEEE Trans. Autom. Control, vol. 56, no. 10, pp. 2305-2318, Oct. 2011.
14. G. C. Walsh H. Ye, and L. G. Bushnell, "Stability analysis of networked control systems," IEEE Trans. Control Syst. Technol. , vol. 10, no. 3, pp. 438-446, May 2002.
15. X. Wang and M. Lemmon, "Event-triggering in distributed networked control systems," IEEE Trans. Autom. Control, vol. 56, no. 3, pp. 586-601, Mar. 2011.
16. G. Weiss and R. Alur, "Automata based interfaces for control and scheduling," in Proc. 10th Int. HSCC, 2007, pp. 601-613.
17. W. Zhang M. S. Branicky, and S. M. Phillips, "Stability of networked control systems," IEEE Trans. Control Syst. Technol. , vol. 21, no. 1, pp. 84-99, Feb. 2001.