Design and stability analysis for anytime control via stochastic scheduling

IEEE Transactions on Automatic Control

Volumn 56, Issue 3, 2011, Pages 571-585

  Greco, Luca ^a,b   Fontanelli, Daniele ^c,d   Bicchi, Antonio ^c,e  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIV PARIS SUD   (France)

^c UNIVERSITY OF PISA   (Italy)

^d UNIVERSITY OF TRENTO   (Italy)

^e ISTITUTO ITALIANO DI TECNOLOGIA   (Italy)

Author keywords

Anytime algorithms; embedded control; stochastic scheduling; switched systems

Indexed keywords

ANYTIME ALGORITHM; BUMPLESS TRANSFER; CLOSED-LOOP PERFORMANCE; COMPUTATIONAL PLATFORMS; CONTROL ALGORITHMS; CONTROL SOFTWARE; CONTROL TECHNIQUES; DESIGN APPROACHES; DESIGN TECHNIQUE; EMBEDDED CONTROL; EMBEDDED PLATFORMS; EXECUTION TIME; HARD REAL-TIME; LINEAR PLANTS; MECHANICAL SYSTEMS; MINIMUM TIME; PRE-EMPTIVE SCHEDULING; REAL TIME CONSTRAINTS; SIMULATION RESULT; SOFT REAL TIME; STABILITY ANALYSIS; STOCHASTIC SCHEDULING; SWITCHED SYSTEM; TRACKING PROBLEM; WORST CASE;

ALGORITHMS; DESIGN; EMBEDDED SYSTEMS; OPTIMIZATION; REAL TIME SYSTEMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SWITCHING SYSTEMS;

CONTROLLERS;

EID: 79952607364     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2058497     Document Type: Article

References (46)

1. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment", J. Assoc. Comput. Mach., vol. 20, no. 1, pp. 46-61, 1973.
2. J. W. S. Liu, Real-Time Systems, T. Holm, Ed. Upper Saddle River, NJ: Prentice Hall, 2000.
3. G. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Boston, MA: Kluwer Academic Publishers, 1997.
4. L. Palopoli, L. Abeni, G. Bolognini, B. Allotta, and F. Conticelli, "Novel scheduling policies in real-time multithread control system design", Control Eng. Prac, vol. 10, no. 10, pp. 1095-1110, Nov. 2002.
5. G. Bernat, A. Burns, and A. Llamosi, "Weakly hard real-time systems", IEEE Trans. Computers, vol. 50, no. 4, pp. 308-321, Apr. 2001. (Pubitemid 32444374)
6. P. Ramanathan, "Overload management in real-time control applications using (m, k)-firm guarantee", IEEE Trans. Parallel Distrib. Syst., vol. 10, no. 6, pp. 549-559, 1999.
7. D. Liu, X. S. Hu, M. D. Lemmon, and Q. Ling, "Firm real-time system scheduling based on a novel QoS constraint", IEEE Trans. Computers, vol. 55, no. 3, pp. 320-333, Mar. 2006. (Pubitemid 43193049)
8. J. W. S. Liu, W.-K. Shih, K.-J. Lin, R. Bettati, and J.-Y. Chung, "Imprecise computation", Proc. IEEE, vol. 82, no. 1, pp. 83-93, Jan. 1994.
9. J. W. S. Liu, K.-J. Lin, W.-K. Shih, A. C.-S. Yu, J.-Y. Chung, and W. Zhao, "Algorithms for scheduling imprecise computations", Computer, vol. 24, no. 5, pp. 58-68, 1991. (Pubitemid 21717770)
10. N. Perrin and B. H. Ferri, K. E. le Royal Meridien, Ed., "Digital filters with adaptive length for real-time applications", in Proc. IEEE Real-Time Embedded Technol. Appl. Symp., Toronto, ON, Canada, May 2004 [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.7527
11. R. Bhattacharya and G. J. Balas, "Implementation of control algorithms in an environment of dynamically scheduled CPU time using balanced truncation", in Proc. AIAA Guid., Nav., Control Conf. Exhibit, Monterey, CA, Aug. 2002, [CD ROM].
12. R. Bhattacharya and G. J. Balas, "Anytime control algorithm: Model reduction approach", J. Guid., Control, Dyn., vol. 27, no. 5, pp. 767-776, 2004.
13. V. Gupta, "On an anytime algorithm for control", in Proc. 48th IEEE Conf. Decision Control, Shanghai, China, Dec. 2009, pp. 6218-6223.
14. M. S. Branicky, "Stability of hybrid systems: State of the art", in Proc. 36th IEEE Conf. Decision Control, San Diego, CA, Dec. 1997, pp. 120-125.
15. R. A. DeCarlo, M. S. Branicky, S. Pettersson, and B. Lennartson, "Perspectives and results on the stability and stabilizability of hybrid systems", Proc. IEEE, vol. 88, no. 7, pp. 1069-1082, Jul. 2000.
16. D. Liberzon and A. S. Morse, "Basic problems in stability and design of switched systems", IEEE Control Syst. Mag., vol. 19, no. 5, pp. 59-70, 1999. (Pubitemid 30505850)
17. H. Ye, A. N. Michel, and L. Hou, "Stability theory for hybrid dynamical systems", IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 461-474, Apr. 1998. (Pubitemid 128737370)
18. J. P. Hespanha and A. S. Morse, "Switching between stabilizing controllers", Automatica, vol. 38, no. 11, pp. 1905-1917, 2002.
19. M. A. Wicks, P. Peleties, and R. DeCarlo, "Construction of piecewise Lyapunov functions for stabilizing switched systems", in Proc. 33rd IEEE Conf. Decision Control, Lake Buena Vista, FL, Dec. 1994, pp. 3492-3497.
20. M. Wicks and R. DeCarlo, "Solution of coupled Lyapunov equations for the stabilization of multimodal linear systems", in Proc. Amer. Control Conf, Albuquerque, NM, Jun. 1997, pp. 1709-1713.
21. S. Pettersson and B. Lennartson, "Stabilization of hybrid systems using a min-projection strategy", in Proc. Amer. Control Conf, Arlington, VA, Jun. 2001, pp. 223-228. (Pubitemid 32837792)
22. X. D. Koutsoukos and P. J. Antsaklis, "Design of stabilizing switching control laws for discrete-and contiunuous-time linear systems using piecewise-linear Lyapunov functions", Int. J. Control, vol. 75, no. 12, pp. 932-945, 2002. (Pubitemid 35227845)
23. Q. Ling and M. D. Lemmon, "Robust performance of soft real-time networked control systems with data dropouts", in Proc. IEEE Int. Conf. Decision Control, Dec. 10-13, 2002, vol. 2, pp. 1225-1230.
24. Q. Ling and M. D. Lemmon, "Soft real-time scheduling of networked control systems with dropouts governed by a Markov chain", in Proc. Amer. Control Conf., Jun. 4-6, 2003, vol. 6, pp. 4845-4850.
25. D. Liu, X. S. Hu, M. Lemmon, and Q. Ling, "Scheduling tasks with Markov-chain based constraints", in Proc. 17th Euromicro Conf. Real-Time Syst., Jul. 6-8, 2005, pp. 157-166. (Pubitemid 44458428)
26. S. Manolache, P. Eles, and Z. Peng, "Memory and time-efficient schedulability analysis of task sets with stochastic execution time", in Proc. 13th Euromicro Conf. Real-Time Syst., 2001, pp. 19-26.
27. G. Bernat, A. Colin, and S. M. Petters, "WCET analysis of probabilistic hard real-time systems", in Proc. 23rd IEEE Real-Time Systems Symp. (RTSS'02), 2002, pp. 279-288.
28. G. Bernat, A. Colin, and S. M. Petters, "pWCET: A Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems", Dept. Comp. Sci., Univ. of York, Tech. Rep. YCS353, 2003.
29. J. L. Diaz, D. F. Garcia, K. Kim, C.-G. Lee, L. L. Bello, J. M. Lopez, S. L. Min, and O. Mirabella, "Stochastic analysis of periodic real-time systems", in Proc. 23rd IEEE Real-Time Syst. Symp. (RTSS'02), 2002, pp. 289-300.
30. K. Kim, J. L. Diaz, L. L. Bello, J. M. Lopez, C.-G. Lee, and S. L. Min, "An exact stochastic analysis of priority-driven periodic real-time systems and its approximations", IEEE Trans. Computers, vol. 54, no. 11, pp. 1460-1466, Nov. 2005. (Pubitemid 41709704)
31. L. Greco, D. Fontanelli, and A. Bicchi, "Almost sure stability of anytime controllers via stochastic scheduling", in Proc. IEEE Int. Conf. Decision Control, New Orleans, LA, Dec. 2007, pp. 5640-5645. (Pubitemid 351278039)
32. Y. Fang, K. Loparo, and X. Feng, "Almost sure and δ-moment stability of jump linear systems", Int. J. Control, vol. 59, no. 5, pp. 1281-1307, 1994.
33. P. Bolzern, P. Colaneri, and G. D. Nicolao, "On almost sure stability of discrete-time Markov jump linear systems", in Proc. 43rd IEEE Conf. Decision Control, 2004, vol. 3, pp. 3204-3208. (Pubitemid 40287279)
34. A. Cervin, B. Lincoln, J. Eker, K.-E. Årzén, and G. Buttazzo, "The jitter margin and its application in the design of real-time control systems", in Proc. 10th Int. Conf. Real-Time Embedded Comp. Syst. Appl., Gothenburg, Sweden, Aug. 2004, [CD ROM].
35. D. Liberzon, J. P. Hespanha, and A. S. Morse, "Stability of switched systems: A Lie-algebraic condition", Syst. Control Lett., vol. 37, no. 3, pp. 117-122, 1999. (Pubitemid 129608440)
36. H. Konno, "A cutting plane algorithm for solving bilinear programs", Math. Programming, vol. 11, no. 1, pp. 14-27, 1976.
37. J. von Neumann, "Über einökonomisches gleichungs-system und eine verallgemeinerung des brouwerschen fixpunktsatzes", in Proc. Ergebnisse eines Mathmatischen Kolloquiums, 1937, vol. 8, pp. 1945-1946.
38. K. Åströmand B. Wittenmark, Computer Controlled Systems. Englewood Cliffs, NJ: Prentice Hall, 1996.
39. R. Hanus, M. Kinnaert, and J. L. Henrotte, "Conditioning technique, A general anti-windup and bumpless transfer method", Automatica, vol. 23, no. 6, pp. 729-739, 1987. (Pubitemid 18544340)
40. A. B. Arehart and W. A. Wolovich, "Bumpless switching controllers", in Proc. IEEE Int. Conf. Decision Control, Kobe, Japan, Dec. 1996, vol. 2, pp. 1654-1655.
41. 2) bumpless transfer problem: Its definition and solution", in Proc. IEEE Int. Conf. Decision Control, Atlantis, Paradise Island, Bahamas, Dec. 2004, vol. 5, pp. 5505-5510. (Pubitemid 40297867)
42. J. P. Hespanha, P. Santesso, and G. Stewart, "Optimal controller initialization for switching between stabilizing controllers", in Proc. IEEE Int. Conf. Decision Control, New Orleans, LA, Dec. 2007, pp. 5634-5639. (Pubitemid 351278038)
43. K. Furuta, M. Yamakita, and S. Kobayashi, "Swing-up control of inverted pendulum using pseudo-state feedback", Proc. Inst. Mech. Eng. I. J. Syst. Control Eng., vol. 206, no. 14, pp. 263-269, 1992.
44. M. Kvasnica, P. Grieder, and M. Baotić, "Multi-Parametric Toolbox (MPT)", 2004 [Online]. Available: http://control.ee.ethz.ch/mpt/
45. R. Bupp, D. Bernstein, and V. Coppola, "A benchmark problem for nonlinear control design: Problem statement, experimental testbed and passive, nonlinear compensation", in Proc. Amer. Control Conf., 1995, pp. 4363-4367.
46. D. A. Lind and B. Marcus, An Introduction to Symbolic Dynamics and Coding. Cambridge, U. K.: Cambridge Univ. Press, 1995.