{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:31:22Z","timestamp":1771471882493,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642245589","type":"print"},{"value":"9783642245596","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_11","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"131-146","source":"Crossref","is-referenced-by-count":13,"title":["Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Martins","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"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.\u00a0736, Springer, Heidelberg (1993)"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I. Demongodin","year":"1998","unstructured":"Demongodin, I., Koussoulas, N.: Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Transactions on Automatic Control\u00a043(4), 573\u2013579 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A. Legay","year":"2010","unstructured":"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\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","first-page":"187","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N.A. Lynch","year":"2003","unstructured":"Lynch, N.A.: Input\/Output automata: Basic, timed, hybrid, probabilistic, dynamic,.. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 187\u2013188. Springer, Heidelberg (2003)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems III","author":"N.A. Lynch","year":"1996","unstructured":"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.\u00a01066, Springer, Heidelberg (1996)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-24559-6_11"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11730637_35","volume-title":"Hybrid Systems: Computation and Control","author":"J. Meseguer","year":"2006","unstructured":"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.\u00a03927, pp. 460\u2013475. Springer, Heidelberg (2006)"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A. Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reas.\u00a041(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reas."},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-642-15205-4_36","volume-title":"Computer Science Logic","author":"A. Platzer","year":"2010","unstructured":"Platzer, A.: Quantified differential dynamic logic for distributed hybrid systems. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol.\u00a06247, pp. 469\u2013483. Springer, Heidelberg (2010)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","first-page":"431","volume-title":"Automated Deduction \u2013 CADE-23","author":"A. Platzer","year":"2011","unstructured":"Platzer, A.: Stochastic differential dynamic logic for stochastic hybrid programs. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol.\u00a06803, pp. 431\u2013445. Springer, Heidelberg (2011)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-56863-8_38","volume-title":"Application and Theory of Petri Nets 1993","author":"K.S. Trivedi","year":"1993","unstructured":"Trivedi, K.S., Kulkarni, V.G.: FSPNs: Fluid stochastic Petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 24\u201331. Springer, Heidelberg (1993)"},{"key":"11_CR13","unstructured":"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)"},{"issue":"9","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput.\u00a0204(9), 1368\u20131409 (2006)","journal-title":"Inf. Comput."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1145\/1755952.1755987","volume-title":"HSCC","author":"P. Zuliani","year":"2010","unstructured":"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\u2013252. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T10:24:52Z","timestamp":1560853492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}