The arbitrated networked control systems approach to designing cyber-physical systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 45, Issue 26, 2012, Pages 174-179

  Annaswamy, Anuradha ^a   Chakraborty, Samarjit ^b   Soudbakhsh, Damoon ^a   Goswami, Dip ^b   Voit, Harald ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; NETWORKED CONTROL SYSTEMS;

COMMUNICATION BUS; CONTROL OVER WIRELESS NETWORKS; CONTROLLER DESIGNS; DISTRIBUTED CONTROLLER; ELECTRONIC CONTROL UNITS; NETWORK DESIGN PROBLEMS; RESEARCH QUESTIONS; SCHEDULING PARAMETERS;

CONTROLLERS;

EID: 84881021403     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120914-2-US-4030.00062     Document Type: Conference Paper

References (24)

1. Alur, R. and Weiss, G. (2008). Regular specifications of resource requirements for embedded control software. In IEEE Real-Time and Embedded Technology and Applications Symposium [RTAS '08], 159-168.
2. Aström, K.J. and Wittenmark, B. (1997). Computer-controlled systems (3rd ed.). Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
3. Bini, E. and Cervin, A. (2008). Delay-aware period assignment in control systems. In Real-Time Systems Symposium [RTSS'08], 291-300.
4. Boudec, J.Y.L. and Thiran, P. (2001). Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, Volume 2050 of Lecture Notes in Computer Science. Springer.
5. Cervin, A. and Alriksson, P. (2006). Optimal on-line scheduling of multiple control tasks: a case study. In 18th Euromicro Conference on Real-Time Systems, 10 pp. -150.
6. Cervin, A. and Eker, J. (2005). Control-scheduling codesign of real-time systems: The control server approach. Journal of Embedded Computing, 1(2), 209-224.
7. Chakraborty, S., Künzli, S., and Thiele, L. (2003). A general framework for analysing system properties in platform-based embedded system designs. In International Conference on Design, Automation and Test in Europe (DATE).
8. Feng Xia, Y.S. (2006). Control-scheduling codesign: A perspective on integrating control and computing. Dynamics of Continuous, Discrete and Impulsive Systems - Series B, 13(S1), 1352-1358.
9. Henningsson, T., Johannesson, E., and Cervin, A. (2008). Sporadic event-based control of first-order linear stochastic systems. Automatica, 44(11), 2890-2895.
10. Kumar, P., Goswami, D., Chakraborty, S., Annaswamy, A., Lampka, K., and Thiele, L. (2012). A hybrid approach to cyber-physical systems verification. In 49th Design Automation Conference (DAC).
11. Mason, O. and Shorten, R. (2004). On common quadratic lyapunov functions for stable discretetime lti systems. IMA Journal of Applied Mathematics, 69(3), 271-283.
12. Mazo, M. and Tabuada, P. (2008). On event-triggered and self-triggered control over sensor/actuator networks. In 47th IEEE Conference on Decision and Control, 435-440.
13. Naghshtabrizi, P. and Hespanha, J. (2009). Analysis of distributed control systems with shared communication and computation resources. In American Control Conference, 3384-3389.
14. Pajic, M., Sundaram, S., Le Ny, J., Pappas, G., and Mangharam, R. (2010). The wireless control network: Synthesis and robustness. In 49th IEEE Conference on Decision and Control (CDC), 7576-7581.
15. Palopoli, L., Pinello, C., Bicchi, A., and Sangiovanni-Vincentelli, A. (2005). Maximizing the stability radius of a set of systems under real-time scheduling constraints. IEEE Transactions on Automatic Control, 50(11), 1790-1795.
16. Samii, S., Eles, P., Peng, Z., Tabuada, P., and Cervin, A. (2010). Dynamic scheduling and control-quality optimization of self-triggered control applications. In 31st IEEE Real-Time Systems Symposium (RTSS), 95-104.
17. Samii, S., Cervin, A., Eles, P., and Peng, Z. (2009). Integrated scheduling and synthesis of control applications on distributed embedded systems. In Design Automation and Test in Europe (DATE).
18. Seto, D., Lehoczky, J., Sha, L., and Shin, K. (1996). On task schedulability in real-time control systems. In 17th IEEE Real-Time Systems Symposium, 13-21.
19. Tabuada, P. (2007). Event-triggered real-time scheduling of stabilizing control tasks. IEEE Transactions on Automatic Control, 52(9), 1680-1685.
20. Voit, H., Annaswamy, A., Schneider, R., Goswami, D., and Chakraborty, S. (2012). Adaptive switching controllers for systems with hybrid communication protocols. In American Control Conference [ACC'12].
21. Voit, H., Schneider, R., Goswami, D., Annaswamy, A., and Chakraborty, S. (2010). Optimizing hierarchical schedules for improved control performance. In International Symposium on Industrial Embedded Systems (SIES), 9-17.
22. Wang, X. and Lemmon, M.D. (2008). State based self-triggered feedback control systems with L2 stability. In 17th IFAC World Congress.
23. Weiss, G. and Alur, R. (2007). Automata based interfaces for control and scheduling. In Proceedings of the 10th international conference on Hybrid systems: computation and control [HSCC'07], 601-613.
24. Zhang, F., Shi, Z., and Wolf, W. (2009). A dynamic battery model for co-design in cyber-physical systems. In 29th IEEE International Conference on Distributed Computing Systems Workshops, 51-56.