{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:19:49Z","timestamp":1740122389304,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,1,10]],"date-time":"2022-01-10T00:00:00Z","timestamp":1641772800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,10]],"date-time":"2022-01-10T00:00:00Z","timestamp":1641772800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772006"],"award-info":[{"award-number":["61772006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Major Science and Technology Major Project of Guangxi","award":["AA17204096"],"award-info":[{"award-number":["AA17204096"]}]},{"name":"Key Research and Development Project of Guangxi","award":["AB17129012"],"award-info":[{"award-number":["AB17129012"]}]},{"DOI":"10.13039\/501100012337","name":"Nanhu Scholars Program for Young Scholars of Xinyang Normal University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100012337","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s10586-021-03495-x","type":"journal-article","created":{"date-parts":[[2022,1,10]],"date-time":"2022-01-10T00:02:40Z","timestamp":1641772960000},"page":"1207-1220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing flow pipe of embedded hybrid systems using deep group preserving scheme"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8473-1753","authenticated-orcid":false,"given":"Zhenxing","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,10]]},"reference":[{"key":"3495_CR1","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1109\/JPROC.2000.871299","volume":"88","author":"PJ Antsaklis","year":"2000","unstructured":"Antsaklis, P.J.: Special issue on hybrid systems: theory and applications\u2014a brief introduction to the theory and applications of hybrid systems. Proc. IEEE 88, 879\u2013887 (2000)","journal-title":"Proc. IEEE"},{"key":"3495_CR2","unstructured":"Chutinan, A.: Hybrid system verification using discrete model approximations. PhD Thesis, Carnegie Mellon University (1999)"},{"issue":"7","key":"3495_CR3","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1109\/5.871306","volume":"88","author":"E Asarin","year":"2000","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7), 1011\u20131025 (2000). https:\/\/doi.org\/10.1109\/5.871306","journal-title":"Proc. IEEE"},{"key":"3495_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control, vol. 3414, pp. 291\u2013305. Springer, Berlin (2005)"},{"issue":"1","key":"3495_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/tac.2006.887900","volume":"52","author":"AA Kurzhanskiy","year":"2007","unstructured":"Kurzhanskiy, A.A., Varaiya, P.: Ellipsoidal techniques for reachability analysis of discrete-time linear systems. IEEE Trans. Autom. Control 52(1), 26\u201338 (2007). https:\/\/doi.org\/10.1109\/tac.2006.887900","journal-title":"IEEE Trans. Autom. Control"},{"key":"3495_CR6","doi-asserted-by":"crossref","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Computer Aided Verification, pp. 540\u2013554. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"3495_CR7","doi-asserted-by":"publisher","unstructured":"Henzinger, T., Ho, P.-H., Wong-Toi, H.: HyTech: a model checker for hybrid systems. In: Computer Aided Verification, vol. 1254 (1998). https:\/\/doi.org\/10.1007\/s100090050008","DOI":"10.1007\/s100090050008"},{"key":"3495_CR8","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Maler, O., Bournez, O.: Approximate reachability analysis of piecewise linear dynamical systems. In: Proceedings of HSCC 00: Hybrid Systems-Computation and Control, vol 1790, pp. 20\u201331 (2000)","DOI":"10.1007\/3-540-46430-1_6"},{"key":"3495_CR9","doi-asserted-by":"publisher","unstructured":"Chutinan, A., Krogh, B.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: International Workshop on Hybrid Systems: Computation and Control, pp. 76\u201390 (2000) https:\/\/doi.org\/10.1007\/3-540-48983-5_10","DOI":"10.1007\/3-540-48983-5_10"},{"key":"3495_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","volume":"10","author":"G Frehse","year":"2008","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. Int. J. Softw. Tools Technol. Transf. 10, 263\u2013279 (2008). https:\/\/doi.org\/10.1007\/s10009-007-0062-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3495_CR11","doi-asserted-by":"crossref","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Computer Aided Verification, pp. 379\u2013395. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-22110-1_30"},{"issue":"4","key":"3495_CR12","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control 43(4), 540\u2013554 (1998). https:\/\/doi.org\/10.1109\/9.664156","journal-title":"IEEE Trans. Autom. Control"},{"key":"3495_CR13","unstructured":"Raissi, M., Perdikaris, P., Karniadakis, G.: Multistep Neural Networks for Data-Driven Discovery of Nonlinear Dynamical Systems (2018)"},{"key":"3495_CR14","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1016\/j.jcp.2019.06.042","volume":"395","author":"T Qin","year":"2019","unstructured":"Qin, T., Wu, K., Xiu, D.: Data driven governing equations approximation using deep neural networks. J. Comput. Phys. 395, 620\u2013635 (2019)","journal-title":"J. Comput. Phys."},{"key":"3495_CR15","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/j.jcp.2019.06.056","volume":"396","author":"S Rudy","year":"2019","unstructured":"Rudy, S., Kutz, J., Brunton, S.: Deep learning of dynamics and signal-noise decomposition with time-stepping constraints. J. Comput. Phys. 396, 483\u2013506 (2019)","journal-title":"J. Comput. Phys."},{"key":"3495_CR16","doi-asserted-by":"publisher","first-page":"108852","DOI":"10.1016\/j.jcp.2019.07.050","volume":"397","author":"F Regazzoni","year":"2019","unstructured":"Regazzoni, F., Dede, L., Quarteroni, A.: Machine learning for fast and reliable solution of time-dependent differential equations. J. Comput. Phys. 397, 108852 (2019)","journal-title":"J. Comput. Phys."},{"key":"3495_CR17","unstructured":"Shen, X., Cheng, X., Liang, K.: Deep Euler method: solving ODEs by approximating the local truncation error of the Euler method. https:\/\/arxiv.org\/abs\/2003.09573v1 (2020)"},{"key":"3495_CR18","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1016\/S0020-7462(00)00069-X","volume":"36","author":"C-S Liu","year":"2001","unstructured":"Liu, C.-S.: Cone of non-linear dynamical system and group preserving schemes. Int. J. Nonlinear Mech. 36, 1047\u20131068 (2001)","journal-title":"Int. J. Nonlinear Mech."},{"key":"3495_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"PJL Cuijpers","year":"2005","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. J. Log. Algebr. Program. 62, 191\u2013245 (2005). https:\/\/doi.org\/10.1016\/j.jlap.2004.02.001","journal-title":"J. Log. Algebr. Program."},{"key":"3495_CR20","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A.: The theory of hybrid automata, In: Inan, M.K., Kurshan, R.P. (eds) Verification of Digital and Hybrid Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol 170, pp. 265\u2013292 (2000). https:\/\/doi.org\/10.1007\/978-3-642-59615-5_13","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"3495_CR21","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. Reason. 41, 143\u2013189 (2008). https:\/\/doi.org\/10.1007\/s10817-008-9103-8","journal-title":"J. Autom. Reason."},{"key":"3495_CR22","doi-asserted-by":"crossref","unstructured":"van Beek, D.A., Reniers, M.A., Schiffelers, R.R.H., Rooda, J.E.: Concrete syntax and semantics of the compositional interchange format for hybrid systems. In: 17th IFAC World Congress (2008)","DOI":"10.3182\/20090916-3-ES-3003.00044"},{"key":"3495_CR23","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J Davoren","year":"2000","unstructured":"Davoren, J., Nerode, A.: Logics for hybrid systems. Proc. IEEE 88, 985\u20131010 (2000)","journal-title":"Proc. IEEE"},{"issue":"2","key":"3495_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0377-0427(98)00017-X","volume":"90","author":"B Chen","year":"1998","unstructured":"Chen, B., Solis, F.: Discretizations of nonlinear differential equations using explicit finite order methods. J. Comput. Appl. Math 90(2), 171\u2013183 (1998)","journal-title":"J. Comput. Appl. Math"},{"key":"3495_CR25","unstructured":"Poli, M., Massaroli, S., Yamashita, A., Asama, H., Park, J.: Hypersolvers: Toward Fast Continuous-Depth Models. https:\/\/arxiv.org\/abs\/2007.09601v2 (2020)"},{"key":"3495_CR26","doi-asserted-by":"crossref","unstructured":"Sotoudeh, M., Thakur, A.V.: Abstract neural networks. In: 27th Static Analysis Symposium (SAS) (2020)","DOI":"10.1007\/978-3-030-65474-0_4"},{"key":"3495_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02728979","volume":"25","author":"LF Shampine","year":"2005","unstructured":"Shampine, L.F.: Error estimation and control for ODEs. J. Sci. Comput. 25, 3\u201316 (2005). https:\/\/doi.org\/10.1007\/BF02728979","journal-title":"J. Sci. Comput."},{"key":"3495_CR28","unstructured":"Chen, X.: Reachability Analysis of Non-linear Hybrid Systems Using Taylor Models. Technical Report. RWTH Aachen (2015)"},{"issue":"8","key":"3495_CR29","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/tac.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007). https:\/\/doi.org\/10.1109\/tac.2007.902736","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-021-03495-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10586-021-03495-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-021-03495-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T20:14:37Z","timestamp":1647720877000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10586-021-03495-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,10]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["3495"],"URL":"https:\/\/doi.org\/10.1007\/s10586-021-03495-x","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"type":"print","value":"1386-7857"},{"type":"electronic","value":"1573-7543"}],"subject":[],"published":{"date-parts":[[2022,1,10]]},"assertion":[{"value":"1 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Hereby, we consciously assure that for the manuscript \u201cSafety Verification of Embedded Hybrid Systems Using Deep Group Preserving Scheme\u201d the following is fulfilled:(1) This material is the authors\u2019 own original work, which has not been previously published elsewhere.(2) The paper is not currently being considered for publication elsewhere.(3) The paper reflects the authors\u2019 own research and analysis in a truthful and complete manner.(4) All sources used are properly disclosed (correct citation). Literally copying of text must be indicated as such by using quotation marks and giving proper reference.(5) All authors have been personally and actively involved in substantial work leading to the paper, and will take public responsibility for its content.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}