{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:28Z","timestamp":1725909988233},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_23","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"370-379","source":"Crossref","is-referenced-by-count":4,"title":["HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Ishii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Goldsztejn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y Annpureddy","year":"2011","unstructured":"Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 254\u2013257. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19835-9_21"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Mimram, S., Chapoutot, A., Paristech, E.: HySon: Set-based simulation of hybrid systems. In: 23rd IEEE International Symposium on Rapid System Prototyping (RSP), pp. 79\u201385 (2012)","DOI":"10.1109\/RSP.2012.6380694"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39799-8_18"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"122","DOI":"10.4204\/EPTCS.92.9","volume":"92","author":"A David","year":"2012","unstructured":"David, A., Du, D., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Statistical model checking for stochastic hybrid systems. Electron. Proc. Theor. Comput. Sci. 92, 122\u2013136 (2012)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167\u2013170. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14295-6_17"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 264\u2013279. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39799-8_19"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15297-9_9"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Duracz, A., Bartha, F.A., Taha, W.: Accurate rigorous simulation should be possible for good designs. In: Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp. 1\u201310 (2016)","DOI":"10.1109\/SNR.2016.7479376"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s10270-012-0295-3","volume":"14","author":"A Eggers","year":"2012","unstructured":"Eggers, A., Ramdani, N., Nedialkov, N., Franzle, M.: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14, 121\u2013148 (2012)","journal-title":"Softw. Syst. Model."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Sankaranarayanan, S., Ivan\u010di\u0107, F., Gupta, A.: Robustness of model-based simulations. In: RTSS, pp. 345\u2013354 (2009)","DOI":"10.1109\/RTSS.2009.26"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_30"},{"key":"23_CR12","first-page":"163","volume":"23","author":"A Goldsztejn","year":"2016","unstructured":"Goldsztejn, A., Ishii, D.: A parallelotope method for hybrid system simulation. Reliab. Comput. 23, 163\u2013185 (2016)","journal-title":"Reliab. Comput."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Ishii, D., Yonezaki, N., Goldsztejn, A.: Monitoring bounded LTL properties using interval analysis. In: Workshop on Numerical Software Verification (NSV), pp. 85\u2013100. ENTCS317 (2015)","DOI":"10.1016\/j.entcs.2015.10.009"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1587\/transfun.E99.A.442","volume":"E99\u2013A","author":"D Ishii","year":"2016","unstructured":"Ishii, D., Yonezaki, N., Goldsztejn, A.: Monitoring temporal properties using interval analysis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E99\u2013A, 442\u2013453 (2016)","journal-title":"IEICE Trans. Fundam. Electron. Commun. Comput. Sci."},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-662-46681-0_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kong","year":"2015","unstructured":"Kong, S., Gao, S., Chen, W., Clarke, E.: dReach: $$\\delta $$ -reachability analysis for hybrid systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 200\u2013205. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_15"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30206-3_12"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Shmarov, F., Zuliani, P.: ProbReach : Verified probabilistic delta-reachability for stochastic hybrid systems. In: HSCC, pp. 134\u2013139 (2015)","DOI":"10.1145\/2728606.2728625"},{"key":"23_CR18","unstructured":"Wang, Q., Zuliani, P., Kong, S., Gao, S., Clarke, E.M.: SReach: A bounded model checker for stochastic hybrid systems. CoRR, abs\/1404.7206 (2014)"},{"issue":"2","key":"23_CR19","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to Stateflow\/Simulink verification. Formal Methods Syst. Des. 43(2), 338\u2013367 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T00:19:38Z","timestamp":1570061978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}