Bandwidth-efficient controller-server co-design with stability guarantees

Many cyber-physical systems comprise several control applications implemented on a shared platform, for which stability is a fundamental requirement. This is as opposed to the classical hard real-time systems where often the criterion is meeting the deadline. However, the stability of control applications depends on not only the delay experienced, but also the jitter. Therefore, the notion of deadline is considered to be artificial for control applications that promotes the need for new techniques for designing cyber-physical systems. The approach in this paper is built on a server-based resource reservation mechanism, which provides compositionality, isolation, and the opportunity of systematic controller-server co-design. We address the controller-server co-design of such systems to obtain design solutions with the minimal bandwidth to guarantee stability.

[1]  John P. Lehoczky,et al.  Analysis of hierar hical fixed-priority scheduling , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[2]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[3]  Chung-Yao Kao,et al.  Simple stability criteria for systems with time-varying delays , 2004, Autom..

[4]  Nathan Fisher,et al.  A bandwidth allocation scheme for compositional real-time systems with periodic resources , 2011, Real-Time Systems.

[5]  Karl Johan Åström,et al.  Computer-controlled systems (3rd ed.) , 1997 .

[6]  George A. Perdikaris.  Computer Controlled Systems , 1991 .

[7]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[8]  Petru Eles,et al.  Designing High-Quality Embedded Control Systems with Guaranteed Stability , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[9]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[10]  Rupak Majumdar,et al.  Performance-aware scheduler synthesis for control systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[11]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[12]  Luigi Palopoli,et al.  Optimal CPU allocation to a set of control tasks with soft real--time execution constraints , 2013, HSCC '13.

[13]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[14]  Giuseppe Lipari,et al.  Resource partitioning among real-time applications , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[15]  Anton Cervin,et al.  Control-scheduling codesign of real-time systems: The control server approach , 2005, J. Embed. Comput..

[16]  Anton Cervin,et al.  Stability and worst-case performance analysis of sampled-data control systems with input and output jitter , 2012, 2012 American Control Conference (ACC).

[17]  Joao P. Hespanha,et al.  Analysis of distributed control systems with shared communication and computation resources , 2009, 2009 American Control Conference.

[18]  Lothar Thiele,et al.  A hybrid approach to cyber-physical systems verification , 2012, DAC Design Automation Conference 2012.

[19]  Antoine Girard,et al.  Time-triggered implementations of dynamic controllers , 2006, EMSOFT '06.

[20]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[21]  Martin Sanfridson,et al.  Integration of off-line scheduling and optimal control , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[22]  Petru Eles,et al.  Designing Bandwidth-Efficient Stabilizing Control Servers , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[23]  Aloysius K. Mok,et al.  A model of hierarchical real-time virtual resources , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[24]  Karl-Erik Årzén,et al.  The Jitter Margin and Its Application in the Design of Real-Time Control Systems , 2004 .

[25]  Luís Almeida,et al.  Scheduling within temporal partitions: response-time analysis and server design , 2004, EMSOFT '04.

[26]  Katta G. Murty,et al.  Nonlinear Programming Theory and Algorithms , 2007, Technometrics.

[27]  J. Nilsson,et al.  Timing problems in real-time control systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.