Abstract
This work discusses the construction of a finite-space stochastic dynamical model as the aggregation of the continuous temperature dynamics of an inhomogeneous population of thermostatically controlled loads (TCLs). The temperature dynamics of a TCL is characterized by a differential equation in which the TCL status (ON, OFF) is controlled by a thresholding mechanism, and which displays inhomogeneity as its thermal resistance changes in time according to a Poisson process. In the aggregation procedure, each TCL model in the population is formally abstracted as a Markov chain, and the cross product of these Markov chains is lumped into its coarsest (exact) probabilistic bisimulation. Quite importantly, the abstraction procedure allows for the quantification of the induced error. Assuming that the TCLs explicitly depend on a control input, the contribution investigates the problem of population-level power reference tracking and load balancing. Furthermore, for the corresponding closed-loop control scheme we show how the worst case performance can be lower bounded statistically, thereby guaranteeing robustness versus power-tracking when the underlying assumption on the inhomogeneity term is relaxed.
Keywords
This work was supported by the European Commission STREP project MoVeS 257005 and by the European Commission IAPP project AMBI 324432.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. European Journal of Control 6, 624–641 (2010)
Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724–2734 (2008)
Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions with formulas, graphs, and mathematical tables. Dover, New York (1964), ninth dover printing, tenth gpo printing edition
Bashash, S., Fathy, H.K.: Modeling and control insights into demand-side energy management through setpoint control of thermostatic loads. In: Proceedings of the 2011 American Control Conference, pp. 4546–4553 (June 2011)
Bertsekas, D.P., Shreve, S.E.: Stochastic optimal control: the discrete-time case. Athena Scientific (1996)
Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation 70(5), 317–349 (2013)
Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 3–18 (2007)
Callaway, D.S.: Tapping the energy storage potential in electric loads to deliver load following and regulation, with application to wind energy. Energy Conversion and Management 50(5), 1389–1400 (2009)
Chong, C.-Y., Debs, A.S.: Statistical synthesis of power system functional load models. In: 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, vol. 18, pp. 264–269 (1979)
Ellen, C., Gerwinn, S., Fränzle, M.: Confidence bounds for statistical model checking of probabilistic hybrid systems. In: Jurdziński, M., Ničković, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 123–138. Springer, Heidelberg (2012)
Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive gridding for abstraction and verification of stochastic hybrid systems. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems, pp. 59–69 (September 2011)
Esmaeil Zadeh Soudjani, S., Abate, A.: Higher-order approximations for verification of stochastic hybrid systems. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 416–434. Springer, Heidelberg (2012)
Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM Journal on Applied Dynamical Systems 12(2), 921–956 (2013)
Esmaeil Zadeh Soudjani, S., Abate, A.: Aggregation of thermostatically controlled loads by formal abstractions. In: European Control Conference (ECC), Zurich, Switzerland, pp. 4232–4237 (July 2013)
Esmaeil Zadeh Soudjani, S., Abate, A.: Aggregation and control of populations of thermostatically controlled loads by formal abstractions. IEEE Transactions on Control Systems Technology (accepted, 2014)
Esmaeil Zadeh Soudjani, S., Abate, A.: Probabilistic reach-avoid computation for partially-degenerate stochastic processes. IEEE Transactions on Automatic Control 59(2), 528–534 (2014)
Fränzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 172–186. Springer, Heidelberg (2008)
Kamgarpour, M., Ellen, C., Esmaeil Zadeh Soudjani, S., Gerwinn, S., Mathieu, J.L., Mullner, N., Abate, A., Callaway, D.S., Franzle, M., Lygeros, J.: Modeling options for demand side participation of thermostatically controlled loads. In: International Conference on Bulk Power System Dynamics and Control (IREP), pp. 1–15 (August 2013)
Koch, S., Mathieu, J.L., Callaway, D.S.: Modeling and control of aggregated heterogeneous thermostatically controlled loads for ancillary services. In: 17th Power Systems Computation Conference, Stockholm, Sweden (August 2011)
Lecchini Visintini, A., Lygeros, J., Maciejowski, J.: Stochastic optimization on continuous domains with finite-time guarantees by Markov chain Monte Carlo methods. IEEE Transactions on Automatic Control 55(12), 2858–2863 (2010)
Malhame, R., Chong, C.-Y.: Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system. IEEE Transactions on Automatic Control 30(9), 854–860 (1985)
Mathieu, J.L., Callaway, D.S.: State estimation and control of heterogeneous thermostatically controlled loads for load following. In: Hawaii International Conference on System Sciences, Hawaii, USA, pp. 2002–2011 (2012)
Mathieu, J.L., Kamgarpour, M., Lygeros, J., Callaway, D.S.: Energy arbitrage with thermostatically controlled loads. In: European Control Conference (ECC), pp. 2519–2526 (2013)
Mathieu, J.L., Koch, S., Callaway, D.S.: State estimation and control of electric loads to manage real-time energy imbalance. IEEE Transactions on Power Systems 28(1), 430–440 (2013)
Mortensen, R.E., Haggerty, K.P.: A stochastic computer model for heating and cooling loads. IEEE Transactions on Power Systems 3(3), 1213–1219 (1988)
Tkachev, I., Abate, A.: Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA, pp. 283–292 (April 2013)
Vidyasagar, M.: Learning and generalization: with applications to neural networks. Springer (1997)
Vidyasagar, M.: Randomized algorithms for robust controller synthesis using statistical learning theory. Automatica 37, 1–2 (2001)
Zhang, W., Kalsi, K., Fuller, J., Elizondo, M., Chassin, D.: Aggregate model for heterogeneous thermostatically controlled loads with demand response. In: IEEE PES General Meeting, San Diego, CA (July 2012)
Zhang, W., Lian, J., Chang, C.-Y., Kalsi, K.: Aggregated modeling and control of air conditioning loads for demand response. IEEE Transactions on Power Systems 28(4), 4655–4664 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Esmaeil Zadeh Soudjani, S., Gerwinn, S., Ellen, C., Fränzle, M., Abate, A. (2014). Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. In: Norman, G., Sanders, W. (eds) Quantitative Evaluation of Systems. QEST 2014. Lecture Notes in Computer Science, vol 8657. Springer, Cham. https://doi.org/10.1007/978-3-319-10696-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-10696-0_6
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10695-3
Online ISBN: 978-3-319-10696-0
eBook Packages: Computer ScienceComputer Science (R0)