Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6991 LNCS, Issue , 2011, Pages 131-146

  Martins, João ^a,b   Platzer, André ^a   Leite, João ^b  

^a Carnegie Mellon University ^*  (United States)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS COMMUNICATION; BASIC PROPERTIES; HYBRID AUTOMATONS; INTELLIGENT POWER; MODEL-CHECKING TECHNIQUES; POWER INDUSTRY; SMART GRID; STATISTICAL MODELS;

AUTOMATA THEORY; FORMAL METHODS; MODEL CHECKING; STOCHASTIC MODELS;

SMART POWER GRIDS;

EID: 80455162698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24559-6_11     Document Type: Conference Paper

References (15)

1. 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, Springer, Heidelberg (1993)
2. Demongodin, I., Koussoulas, N.: Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Transactions on Automatic Control 43(4), 573-579 (1998)
3. Henzinger, T.A.: The theory of hybrid automata. In: LICS (1996)
4. Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: An overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122-135. Springer, Heidelberg (2010)
5. Lynch, N.A.: Input/Output automata: Basic, timed, hybrid, probabilistic, dynamic, In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 187-188. Springer, Heidelberg (2003)
6. Lynch, N.A., Segala, R., Vaandrager, F.W., Weinberg, H.B.: Hybrid I/O automata. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, Springer, Heidelberg (1996)
7. Martins, J., Platzer, A., Leite, J.: Statistical model checking for distributed probabilistic-control hybrid automata in the smart grid. Tech. Rep. CMU-CS-11- 119, Computer Science Department, Carnegie Mellon University (2011)
8. Meseguer, J., Sharykin, R.: Specification and analysis of distributed object-based stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 460-475. Springer, Heidelberg (2006) (Pubitemid 44019605)
9. Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reas. 41(2), 143-189 (2008)
10. Platzer, A.: Quantified differential dynamic logic for distributed hybrid systems. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 469-483. Springer, Heidelberg (2010)
11. Platzer, A.: Stochastic differential dynamic logic for stochastic hybrid programs. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 431-445. Springer, Heidelberg (2011)
12. Trivedi, K.S., Kulkarni, V.G.: FSPNs: Fluid stochastic Petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 24-31. Springer, Heidelberg (1993)
13. Yahav, E., Reps, T., Sagiv, M.: LTL model checking for systems with unbounded number of dynamically created threads and objects. Tech. Rep. TR-1424, Computer Sciences Department, University of Wisconsin (2001)
14. Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9), 1368-1409 (2006)
15. Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to Simulink/Stateflow verification. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 243-252. ACM, New York (2010)