skip to main content
10.1145/1755952.1755965acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

On a control algorithm for time-varying processor availability

Published: 12 April 2010 Publication History

Abstract

We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control input vector sequentially to maximally utilize the processing resources available at every time step. Thus, the system evolves as a discrete time hybrid system with the particular mode active at any time step being dictated by the processor availability. We extend our earlier work to consider the sequence in which the control inputs are calculated as a variable. In particular, we propose stochastic decision rules in which the inputs are chosen according to a Markov chain. For the LQG case, we present a Markovian jump linear system based formulation that provides analytical performance and stability expressions. For more general cases, we present a receding horizon control based implementation and illustrate the increase in performance through simulations.

References

[1]
P. Antsaklis and J. Baillieul. Special issue on networked control systems. IEEE Transactions on Automatic Control, 49(9):1421--1423, 2004.
[2]
P. Antsaklis and J. Baillieul. Special issue on networked control systems. Proceedings of the IEEE, 95(1):9--28, 2007.
[3]
R. Bhattacharya and G. J. Balas. Anytime control algorithms: Model reduction approach. AIAA Journalof Guidance, Control and Dynamics, 27(5):767--776, 2004.
[4]
M. Caccamo, G. Buttazzo, and L. Sha. Handling execution overruns in hard real-time control systems. IEEE Transactions on Computers, 51(7):835--849, July 2002.
[5]
M. Cannon, V. Deshmukh, and B. Kouvaritakis. Nonlinear model predictive control with polytopic invariant sets. Automatica, 39:1487--1494, 2003.
[6]
A. Cervin, J. Eker, B. Bernhardsson, and K.-E. Arzen. Feedback-feedforward scheduling of control tasks. Real-Time Systems, 23(1--2):25--53, 2002.
[7]
O. L. V. Costa, M. D. Fragoso, and R. P. Marques. Discrete-Time Markov Jump Linear Systems. Springer, Series: Probability and its Applications, 2005.
[8]
D. Goldfarb and S. Liu. An o(n3l) primal interior point algorithm for convex quadratic programming. Mathematical Programming, 49:325--340, 1991.
[9]
L. Greco, D. Fontanelli, and A. Bicchi. Almost sure stability of anytime controllers via stochastic scheduling. In Proceedings of the IEEE Int. Conf. on Decision and Control, pages 5640--5645, December 2007.
[10]
G. Grimm, M. J. Messina, S. E. Tuna, and A. R. Teel. Examples when nonlinear model predictive control is nonrobust. Automatica, 40:1729--1738, 2004.
[11]
V. Gupta. On an anytime algorithm for control. In Proceedings of the IEEE Int. Conf. on Decision and Control, December 2009.
[12]
D. Henriksson and J. Akesson. Flexible implementation of model predictive control using sub-optimal solutions. Technical Report TFRT-7610-SE, Department of Automatic Control, Lund University, April 2004.
[13]
D. Henriksson, A. Cervin, J. Akesson, and K. E. Arzen. On dynamic real-time scheduling of model predictive controllers. In Proceedings of the 41st IEEE Conference on Decision and Control, December 2002.
[14]
E. J. Horvitz. Computation and Action under Bounded Resources. PhD thesis, Department of Computer Science and Medicine, Stanford University, 1990.
[15]
X. Huang and A. M. K. Cheng. Applying imprecise algorithms to real-time image and video transmission. In Proceedings of the International Conference on Parallel and Distributed Systems, pages 96--101, 1995.
[16]
E. C. Kerrigan and J. M. Maciejowski. Robust feasibility in model predictive control: Necessary and sufficient conditions. In Proc. IEEE Conference on Decision and Control, pages 728--733, December 2001.
[17]
D. Liu, X. Hu, M. Lemmon, and Q. Ling. Scheduling tasks with markov-chain constraints. In Proceedings of the 17th Euromicro Conference on Real-time Systems, July 2005.
[18]
L. K. McGovern and E. Feron. Requirements and hard computational bounds for real-time optimization in safety critical control systems. In Proceedings of the IEEE Conference on Decision and Control, 1998.
[19]
L. K. McGovern and E. Feron. Closed-loop stability of systems driven by real-time dynamic optimization algorithms. In Proceedings of the IEEE Conference on Decision and Control, 1999.
[20]
V. Millan--Lopez, W. Feng, and J. W. S. Liu. Using the imprecise computation technique for congestion control on a real-time traffic switching element. In Proc. of the International Conference on Parallel and Distributed Systems, pages 202--208, 1994.
[21]
D. E. Quevedo, E. I. Silva, and G. Goodwin. Packetized predictive control over erasure channels. In Proc. of the American Control Conference, 2007.
[22]
D. M. Raimondo, D. Limon, M. Lazar, L. Magni, and E. F. Camacho. Min-max model predictive control of nonlinear systems: A unifying overview on stability. European Journal of Control, 15(1), 2009.
[23]
D. Seto, J. Lehoczky, L. Sha, and K. Shin. On task schedulability in real-time control system. In Proc. IEEE Real-Time Systems Symp., December 1996.
[24]
P. Tabuada. Event-triggered real-time scheduling of stabilizing control tasks. IEEE Transactions on Automatic Control, 52(9):1680--1685, September 2007.
[25]
X. Wang and M. D. Lemmon. Self-triggered feedback control systems with finite-gain l2 stability. IEEE Transactions on Automatic Control, 45(3), March 2009.
[26]
H. Yoshomito, D. Arita, and R. Taniguchi. Real-time communication for distributed vision processing based on imprecise computation model. In Proceedings of International Parallel and Distributed Processing Symposium, pages 128--133, 1992.
[27]
T. Zhou, X. Hu, and E.-M. Sha. A probabilistic performance metric for real-time system design. In Proc. of the 7th International Workshop on Hardware-Software Codesign (CODES) (ACM/IEEE), pages 90--94, May 1999.
[28]
S. Zilberstein. Using anytime algorithms in intelligent systems. Artificial Intelligence Magazine, 17(3):73--83, 1996.

Cited By

View all
  • (2017)A Structured Methodology for Pattern based Adaptive Scheduling in Embedded ControlACM Transactions on Embedded Computing Systems10.1145/312651416:5s(1-22)Online publication date: 27-Sep-2017
  • (2010)On a Control Lyapunov Function based Anytime Algorithm for Control of Nonlinear ProcessesIFAC Proceedings Volumes10.3182/20100913-2-FR-4014.0000443:19(85-90)Online publication date: 2010
  • (2010)A model for optimal and robust control with time-varying computing constraints2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and Information Processing10.1109/ISSNIP.2010.5706783(217-222)Online publication date: Dec-2010

Index Terms

  1. On a control algorithm for time-varying processor availability

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
    April 2010
    308 pages
    ISBN:9781605589558
    DOI:10.1145/1755952
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 April 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. anytime algorithms
    2. control

    Qualifiers

    • Research-article

    Conference

    HSCC '10
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 153 of 373 submissions, 41%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 13 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2017)A Structured Methodology for Pattern based Adaptive Scheduling in Embedded ControlACM Transactions on Embedded Computing Systems10.1145/312651416:5s(1-22)Online publication date: 27-Sep-2017
    • (2010)On a Control Lyapunov Function based Anytime Algorithm for Control of Nonlinear ProcessesIFAC Proceedings Volumes10.3182/20100913-2-FR-4014.0000443:19(85-90)Online publication date: 2010
    • (2010)A model for optimal and robust control with time-varying computing constraints2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and Information Processing10.1109/ISSNIP.2010.5706783(217-222)Online publication date: Dec-2010

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media