Optimal Control for Linear-Rate Multi-mode Systems

  • Dominik Wojtczak
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8053)


Linear-Rate Multi-Mode Systems is a model that can be seen both as a subclass of switched linear systems with imposed global safety constraints and as hybrid automata with no guards on transitions. We study the existence and design of a controller for this model that keeps at all times the state of the system within a given safe set. A sufficient and necessary condition is given for such a controller to exist as well as an algorithm that finds one in polynomial time. We further generalise the model by adding costs on modes and present an algorithm that constructs a safe controller which minimises the peak cost, the average-cost or any cost expressed as a weighted sum of these two. Finally, we present numerical simulation results based on our implementation of these algorithms.


Model Predictive Control Average Cost Optimal Controller Average Energy Consumption Hybrid Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Albadi, M.H., El-Saadany, E.F.: Demand response in electricity markets: An overview. In: Proc. of IEEE Power Engineering Society General Meeting, pp. 1–5 (June 2007)Google Scholar
  2. 2.
    Alur, R., Trivedi, A., Wojtczak, D.: Optimal scheduling for constant-rate mulit-mode systems. In: Proc. of Hybrid Systems: Computation and Control 2012 (2012)Google Scholar
  3. 3.
    Alur, R.: Formal verification of hybrid systems. In: Proc. of International Conference on Embedded Software 2011, pp. 273–278 (2011)Google Scholar
  4. 4.
    Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209–229. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  5. 5.
    Camacho, E.F., Bordons, C., Camacho, E.F., Bordons, C.: Model predictive control, vol. 303. Springer, Berlin (1999)CrossRefGoogle Scholar
  6. 6.
    Giua, A., Seatzu, C., Van der Mee, C.: Optimal control of switched autonomous linear systems. In: Proc. of the 40th Conference on Decision and Control, pp. 2472–2477 (2001)Google Scholar
  7. 7.
    Henzinger, T.A.: The theory of hybrid automata. In: Proc. of the 11th LICS Symposium (1996)Google Scholar
  8. 8.
    Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? Journal of Comp. and Sys. Sciences 57, 94–124 (1998)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Ma, Y., Borrelli, F., Hencey, B., Coffey, B., Bengea, S., Haves, P.: Model predictive control for the operation of building cooling systems. In: Proc. of American Control Conference, pp. 5106–5111 (2010)Google Scholar
  10. 10.
    Nghiem, T.X., Behl, M., Mangharam, R., Pappas, G.J.: Green scheduling of control systems for peak demand reduction. In: Proc. of Conference on Decision and Control (2011)Google Scholar
  11. 11.
    Nghiem, T.X., Behl, M., Pappas, G.J., Mangharam, R.: Green scheduling for radiant systems in buildings. In: Proc. of Conference on Decision and Control (2012)Google Scholar
  12. 12.
    Oldewurtel, F., Ulbig, A., Parisio, A., Andersson, G., Morari, M.: Reducing peak electricity demand in building climate control using real-time pricing and model predictive control. In: Proc. of 49th IEEE Conference on Decision and Control, pp. 1927–1932 (2010)Google Scholar
  13. 13.
    Shuzhi, S., Sun Ge, Z.: Switched linear systems: Control and design. Springer (2005)Google Scholar
  14. 14.
    Schrijver, A.: Theory of linear and integer programming. John Wiley & Sons, Inc., New York (1986)zbMATHGoogle Scholar
  15. 15.
    TRFund Energy Study. Understanding PECO’s general service tariffGoogle Scholar
  16. 16.
    Wojtczak, D.: Optimal scheduling for linear-rate multi-mode systems. CoRR, abs/1302.4406 (2013)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Dominik Wojtczak
    • 1
  1. 1.University of LiverpoolLiverpoolUK

Personalised recommendations