Optimal Control for Multi-Mode Systems with Discrete Costs

This paper studies optimal time-bounded control in multi-mode systems with discrete costs. Multi-mode systems are an important subclass of linear hybrid systems, in which there are no guards on transitions and all invariants are global. Each state has a continuous cost attached to it, which is linear in the sojourn time, while a discrete cost is attached to each transition taken. We show that an optimal control for this model can be computed in NExpTime and approximated in PSpace. We also show that the one-dimensional case is simpler: although the problem is NP-complete (and in LogSpace for an infinite time horizon), we develop an FPTAS for finding an approximate solution.

[1]  Kim G. Larsen,et al.  Time for Statistical Model Checking of Real-Time Systems , 2011, CAV.

[2]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[3]  Kim G. Larsen,et al.  Uppaal Stratego , 2015, TACAS.

[4]  Dominik Wojtczak,et al.  Optimal Control for Linear-Rate Multi-mode Systems , 2013, FORMATS.

[5]  Kim G. Larsen,et al.  Optimizing Control Strategy Using Statistical Model Checking , 2013, NASA Formal Methods.

[6]  Rajeev Alur,et al.  Safe schedulability of bounded-rate multi-mode systems , 2013, HSCC '13.

[7]  Hans Kellerer,et al.  Knapsack problems , 2004 .

[8]  Patricia Bouyer,et al.  Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets , 2008, FORMATS.

[9]  Bin Li,et al.  Optimal on-off control of an air conditioning and refrigeration system , 2010, Proceedings of the 2010 American Control Conference.

[10]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[11]  Amir Pnueli,et al.  Low dimensional hybrid systems - decidable, undecidable, don't know , 2012, Inf. Comput..

[12]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[13]  Kim G. Larsen,et al.  Online and Compositional Learning of Controllers with Application to Floor Heating , 2016, TACAS.

[14]  Philippe Schnoebelen,et al.  Model Checking Timed Automata with One or Two Clocks , 2004, CONCUR.

[15]  Rajeev Alur,et al.  Optimal scheduling for constant-rate multi-mode systems , 2012, HSCC '12.

[16]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[17]  Sven Schewe,et al.  Optimal Control for Simple Linear Hybrid Systems , 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

[18]  George J. Pappas,et al.  Green scheduling of control systems for peak demand reduction , 2011, IEEE Conference on Decision and Control and European Control Conference.

[19]  Patricia Bouyer,et al.  Weighted Timed Automata: Model-Checking and Games , 2006, MFPS.

[20]  George J. Pappas,et al.  Event-based Green scheduling of radiant systems in buildings , 2013, 2013 American Control Conference.

[21]  Bruce Litow,et al.  Division in logspace-uniform $\mbox{NC}^1$ , 2001 .

[22]  Andrew Chiu,et al.  Division in logspace-uniform NC1 , 2001, RAIRO Theor. Informatics Appl..

[23]  Marko Bacic,et al.  Model predictive control , 2003 .

[24]  Manfred Morari,et al.  Reducing peak electricity demand in building climate control using real-time pricing and model predictive control , 2010, 49th IEEE Conference on Decision and Control (CDC).

[25]  Luis Pérez-Lombard,et al.  A review on buildings energy consumption information , 2008 .