{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:03Z","timestamp":1749615183882,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319464329"},{"type":"electronic","value":"9783319464336"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46433-6_13","type":"book-chapter","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T11:19:35Z","timestamp":1473938375000},"page":"189-203","source":"Crossref","is-referenced-by-count":2,"title":["Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Barbierato","sequence":"first","affiliation":[]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Iacono","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,16]]},"reference":[{"key":"13_CR1","first-page":"273","volume-title":"Hybrid Systems: Review and Recent Progress","author":"PJ Antsaklis","year":"2005","unstructured":"Antsaklis, P.J., Koutsoukos, X.D.: Hybrid Systems: Review and Recent Progress, pp. 273\u2013298. Wiley, Hoboken (2005)"},{"key":"13_CR2","unstructured":"Barbierato, E., Gribaudo, M., Iacono, M.: Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. In: Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2011 (2011)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Barbierato, E., Gribaudo, M., Iacono, M.: A performance modeling language for big data architectures. In: Rekdalsbakken, W., Bye, R.T., Zhang, H. (eds.) ECMS, pp. 511\u2013517. European Council for Modeling and Simulation (2013)","DOI":"10.7148\/2013-0511"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Barbierato, E., Gribaudo, M., Iacono, M.: Modeling hybrid systems in SIMTHESys. In: Proceedings of the 8th International Workshop on Practical Applications of Stochastic Modelling (2016, to appear)","DOI":"10.1016\/j.entcs.2016.09.021"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-642-21713-5_19","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"E Barbierato","year":"2011","unstructured":"Barbierato, E., Gribaudo, M., Iacono, M., Marrone, S.: Performability modeling of exceptions-aware systems in multiformalism tools. In: Al-Begain, K., Balsamo, S., Fiems, D., Marin, A. (eds.) ASMTA 2011. LNCS, vol. 6751, pp. 257\u2013272. Springer, Heidelberg (2011)"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.entcs.2013.07.005","volume":"296","author":"E Barbierato","year":"2013","unstructured":"Barbierato, E., Rossi, G.L.D., Gribaudo, M., Iacono, M., Marin, A.: Exploiting product forms solution techniques in multiformalism modeling. Electron. Notes Theoret. Comput. Sci. 296, 61\u201377 (2013)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theoret. Comput. Sci. 411(20), 2052\u20132077 (2010). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397510001039 , hybrid Automata and Oscillatory Behaviour in Biological Systems","DOI":"10.1016\/j.tcs.2010.02.008"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Carloni, L.P., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.L.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1(1\/2), 1\u2013193 (2006). http:\/\/dx.doi.org\/10.1561\/1000000001","DOI":"10.1561\/1000000001"},{"key":"13_CR9","series-title":"Chapman & Hall\/CRC Monographs on Statistics & Applied Probability","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models & Optimization","author":"M Davis","year":"1993","unstructured":"Davis, M.: Markov Models & Optimization. Chapman & Hall\/CRC Monographs on Statistics & Applied Probability. Taylor & Francis, Abingdon (1993)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Sereno, M.: Simulation of fluid stochastic petri nets. In: 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Proceedings, pp. 231\u2013239 (2000)","DOI":"10.1109\/MASCOT.2000.876449"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Sereno, M., Horv\u00e1th, A., Bobbio, A.: Fluid stochastic petri nets augmented with flush-out arcs: modelling and analysis. Discrete Event Dyn. Syst. 11(1\u20132), 97\u2013117 (2001). http:\/\/dx.doi.org\/10.1023\/A:1008339216603","DOI":"10.1023\/A:1008339216603"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996, p. 278. IEEE Computer Society, Washington, DC (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"13_CR13","first-page":"460","volume":"1","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-toi, H.: Hytech: a model checker for hybrid systems. Softw. Tools Technol. Transf. 1, 460\u2013463 (1997)","journal-title":"Softw. Tools Technol. Transf."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: MASCOTS, pp. 413\u2013416. IEEE (2010)","DOI":"10.1109\/MASCOTS.2010.54"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2), 128\u2013142 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","first-page":"575","volume-title":"Proceedings of Workshop on Verification and Control of Hybrid Systems III","author":"KG Larsen","year":"1995","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Diagnostic model-checking for real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) Proceedings of Workshop on Verification and Control of Hybrid Systems III. LNCS, vol. 1066, pp. 575\u2013586. Springer, Heidelberg (1995)"},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1002\/nav.3800260304","volume":"26","author":"PAW Lewis","year":"1979","unstructured":"Lewis, P.A.W., Shedler, G.S.: Simulation of nonhomogeneous poisson processes by thinning. Naval Res. Logistics Q. 26(3), 403\u2013413 (1979). doi: 10.1002\/nav.3800260304","journal-title":"Naval Res. Logistics Q."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Liu, J., Liu, X., Lee, E.A.: Modeling distributed hybrid systems in ptolemy ii. Proceedings of the American Control Conference, pp. 4984\u20134985 (2001)","DOI":"10.1109\/ACC.2001.945773"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Mitra, D.: Stochastic theory of a fluid model of producers and consumers coupled by a buffer. Adv. Appl. Probab. 20(3), 646\u2013676 (1988). http:\/\/www.jstor.org\/stable\/1427040","DOI":"10.2307\/1427040"},{"key":"13_CR20","unstructured":"Zanoli, S.M., Barboni, L., Leo, T.: An application of hybrid automata for the mimo model identification of a gasification plant. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, ISIC, pp. 1427\u20131432, October 2007"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46433-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T19:02:55Z","timestamp":1749582175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46433-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319464329","9783319464336"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46433-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}