Control-Driven Tasks: Modeling and Analysis

The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to the actuators. However the periodicity of the sampling instants is a constraint that arises from the ease of implementation and it is not strictly necessary in the control system. In this paper we present an execution model that samples the input "when needed". This model saves a considerable amount of computational resources. We show the schedulability analysis for a set of control-driven tasks using both Fixed Priority (FP) and Earliest Deadline First (EDF).

[1]  Astrom.  Computer Controlled Systems , 1990 .

[2]  Lothar Thiele,et al.  A new task model for streaming applications and its schedulability analysis , 2005, Design, Automation and Test in Europe.

[3]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[4]  P.R. Kumar,et al.  Interrupt-based feedback control over a shared communication medium , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[5]  Xiaofeng Wang,et al.  State Based Self-triggered Feedback Control Systems with ℒ2 Stability , 2008 .

[6]  Alfons Crespo,et al.  Real-time control of non-uniformly sampled systems , 1999 .

[7]  Michael D. Lemmon,et al.  On Self-triggered Full-Information H-Infinity Controllers , 2007, HSCC.

[8]  Jean-Yves Le Boudec,et al.  Network Calculus , 2001, Lecture Notes in Computer Science.

[9]  Paul K. Harten.  Response times in level-structured systems , 1987, TOCS.

[10]  Steve Goddard,et al.  A theory of rate-based execution , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[11]  W. Tindell.  AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS , 1994 .

[12]  A. Anta,et al.  Self-triggered stabilization of homogeneous control systems , 2008, 2008 American Control Conference.

[13]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[14]  Giorgio C. Buttazzo,et al.  Research trends in real-time computing for embedded systems , 2006, SIGBED.

[15]  R. Dorf,et al.  Adaptive sampling frequency for sampled-data control systems , 1962 .

[16]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[17]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[18]  Giuseppe Lipari,et al.  Elastic Scheduling for Flexible Workload Management , 2002, IEEE Trans. Computers.

[19]  W. P. M. H. Heemels,et al.  Analysis of event-driven controllers for linear systems , 2008, Int. J. Control.

[20]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[21]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[22]  Manel Velasco,et al.  The One-Shot Task Model for Robust Real-Time Embedded Control Systems , 2008, IEEE Transactions on Industrial Informatics.

[23]  Frank Slomka,et al.  An event stream driven approximation for the analysis of real-time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[24]  Tom Tietenberg,et al.  Theory and design , 2001 .

[25]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[26]  Klaus Gresser,et al.  An Event Model for Deadline Verification of Hard Real-Time Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[27]  Rolf Ernst,et al.  Event model interfaces for heterogeneous system analysis , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[28]  M. R. Vonder,et al.  Asynchronous measurement and control: a case study on motor synchronization , 1999 .

[29]  Wilton R. Abbott,et al.  Network Calculus , 1970 .

[30]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[31]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[32]  G. Lipari,et al.  The Design Domain of Real-Time Systems by Enrico Bini Ph , 2004 .

[33]  K. Åström,et al.  Systems with Lebesgue sampling , 2003 .

[34]  Anton Cervin,et al.  Sporadic Control of First-Order Linear Stochastic Systems , 2007, HSCC.

[35]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[36]  Manel Velasco,et al.  On the Timing of Discrete Events in Event-Driven Control Systems , 2008, HSCC.