{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:08:27Z","timestamp":1726042107865},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030295158"},{"type":"electronic","value":"9783030295165"}],"license":[{"start":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T00:00:00Z","timestamp":1566604800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-29516-5_91","type":"book-chapter","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T16:03:48Z","timestamp":1566576228000},"page":"1232-1251","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre"],"prefix":"10.1007","author":[{"given":"Libero","family":"Nigro","sequence":"first","affiliation":[]},{"given":"Paolo F.","family":"Sciammarella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,24]]},"reference":[{"key":"91_CR1","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber-physical systems: design challenges. In: Proceedings of the 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2008), pp. 363\u2013369. IEEE Computer Society (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"91_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.simpat.2017.12.008","volume":"83","author":"F Cicirelli","year":"2018","unstructured":"Cicirelli, F., Nigro, L., Sciammarella, P.: Model continuity in cyber-physical systems: a control-centered methodology based on agents. Simul. Model. Pract. Theory 83, 93\u2013107 (2018)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"1","key":"91_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"key":"91_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"91_CR5","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.scico.2016.03.004","volume":"128","author":"A Jafari","year":"2016","unstructured":"Jafari, A., Khamespanah, E., Sirjani, M., Hermanns, H., Cimini, M.: PTRebeca: modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128, 22\u201350 (2016). https:\/\/doi.org\/10.1016\/j.scico.2016.03.004","journal-title":"Sci. Comput. Program."},{"key":"91_CR6","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.simpat.2018.07.011","volume":"87","author":"L Nigro","year":"2018","unstructured":"Nigro, L., Sciammarella, P.: Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87, 343\u2013368 (2018)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"1","key":"91_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A, Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Y., Neuendorffer, S.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"91_CR8","doi-asserted-by":"crossref","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: Hybrid Rebeca: modeling and analyzing of cyber-physical systems. Model-based design of cyber-physical systems. arXiv preprint arXiv:1901.02597 , January 2019","DOI":"10.1007\/978-3-030-23703-5_1"},{"key":"91_CR9","doi-asserted-by":"crossref","unstructured":"Cicirelli, F., Nigro, L., Sciammarella, P.F.: Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. (2019, in press)","DOI":"10.1504\/IJSPM.2020.106965"},{"key":"91_CR10","doi-asserted-by":"crossref","unstructured":"Hensinger, T.A.: The theory of hybrid automata. In: Verification of Digital and Hybrid Systems, pp. 265\u2013292. Springer, Heidelberg (2000)","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"91_CR11","doi-asserted-by":"crossref","unstructured":"Sirjani, M.: Power is overrated, go for friendliness! Expressiveness, faithfulness and usability in modeling-the actor experience. In: Proceedings of Edward A. Lee Festschrift, Principles of Modeling (2017)","DOI":"10.1007\/978-3-319-95246-8_25"},{"key":"91_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5613-0","volume-title":"CAN System Engineering","author":"K Lawrenz","year":"2013","unstructured":"Lawrenz, K.: CAN System Engineering. Springer, New York (2013)"},{"issue":"4","key":"91_CR13","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"Alexandre David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.E.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"1","key":"91_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"Gul Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"issue":"12","key":"91_CR15","doi-asserted-by":"publisher","first-page":"3333","DOI":"10.1002\/cpe.3802","volume":"28","author":"F Cicirelli","year":"2016","unstructured":"Cicirelli, F., Nigro, L.: Control centric framework for model continuity in time-dependent multi-agent systems. Concurr. Comput. Pract. Exp. 28(12), 3333\u20133356 (2016)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"91_CR16","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 200\u2013236. Springer (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"91_CR17","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-22969-0_2","volume-title":"Software Engineering and Formal Methods","author":"Marten Lohstroh","year":"2015","unstructured":"Lohstroh, M., Lee, E.A.: An interface theory for the Internet of Things. In: Software Engineering and Formal Methods, pp. 20\u201334. Springer, Cham (2015)"},{"issue":"8","key":"91_CR18","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1016\/0967-0661(95)00112-8","volume":"3","author":"K. Tindell","year":"1995","unstructured":"Tindell, K., Burns, A., Wellings, A.J.: Calculating controller area network (CAN) message response times. Control. Eng. Pract. 3(8), 1163\u20131169 (1995)","journal-title":"Control Engineering Practice"},{"key":"91_CR19","doi-asserted-by":"crossref","unstructured":"Frehse, G., et al.: SpaceEx-scalable verification of hybrid systems. In: Proceedings of 23rd International Conference on Computer Aided Verification. LNCS, vol. 6806, pp. 379\u2013395. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_30"},{"issue":"1","key":"91_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"91_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.compind.2010.10.006","volume":"62","author":"T Dereli","year":"2011","unstructured":"Dereli, T., et al.: Industrial applications of type-2 fuzzy sets and systems: a concise review. Comput. Ind. 62, 125\u2013137 (2011)","journal-title":"Comput. Ind."}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29516-5_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T09:44:16Z","timestamp":1610876656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29516-5_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,24]]},"ISBN":["9783030295158","9783030295165"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29516-5_91","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,8,24]]},"assertion":[{"value":"24 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IntelliSys","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Proceedings of SAI Intelligent Systems Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"intellisys2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/saiconference.com\/IntelliSys","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}