{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:51:52Z","timestamp":1760151112052,"version":"build-2065373602"},"reference-count":27,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T00:00:00Z","timestamp":1644624000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"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"}]},{"DOI":"10.13039\/501100013091","name":"Science and Technology Major Project of Guangxi","doi-asserted-by":"publisher","award":["AA17204096"],"award-info":[{"award-number":["AA17204096"]}],"id":[{"id":"10.13039\/501100013091","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research and Development Project of Guangxi","award":["AB17129012"],"award-info":[{"award-number":["AB17129012"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>In this article, we propose a new computational method for initial value problems in ordinary differential equations. The algorithm combines the merits of the group preserving scheme (GPS), which has the ability of avoiding possible spurious solutions utilizing the inherent symmetry group, the cone structure of the nonlinear dynamical system, and the classic midpoint rule. The error and stability analysis are included to demonstrate the convergence properties of the presented method. From the numerical experimental results we obtained, the algorithm can be said to be computationally effective and possesses better simulation ability generally. Meanwhile, it works well with the periodic Hamiltonian system.<\/jats:p>","DOI":"10.3390\/sym14020365","type":"journal-article","created":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T20:35:28Z","timestamp":1644784528000},"page":"365","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8473-1753","authenticated-orcid":false,"given":"Zhenxing","family":"Xu","sequence":"first","affiliation":[{"name":"Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041, China"},{"name":"School of Computing Science and Technology, University of Chinese Academy of Sciences, Beijing 100049, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5654-4870","authenticated-orcid":false,"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[{"name":"Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041, China"},{"name":"School of Computing Science and Technology, University of Chinese Academy of Sciences, Beijing 100049, China"},{"name":"Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China"}]}],"member":"1968","published-online":{"date-parts":[[2022,2,12]]},"reference":[{"key":"ref_1","unstructured":"Chutinan, A. (1999). Hybrid System Verification Using Discrete Model Approximations. [Ph.D. Thesis, Carnegie Mellon University]."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1109\/5.871306","article-title":"Effective synthesis of switching controllers for linear systems","volume":"88","author":"Asarin","year":"2000","journal-title":"Proc. IEEE"},{"key":"ref_3","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","volume":"Volume 3414","author":"Morari","year":"2005","journal-title":"Hybrid Systems: Computation and Control"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/TAC.2006.887900","article-title":"Ellipsoidal techniques for reachability analysis of discrete-time linear systems","volume":"52","author":"Kurzhanskiy","year":"2007","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Le Guernic, C., and Girard, A. (2009). Reachability analysis of hybrid systems using support functions. Computer Aided Verification, Springer.","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","article-title":"HYTECH: A model checker for hybrid systems","volume":"Volume 1254","author":"Henzinger","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref_7","first-page":"20","article-title":"Approximate Reachability Analysis of Piecewise Linear Dynamical Systems","volume":"Volume 1790","author":"Asarin","year":"2000","journal-title":"Proceedings of the HSCC 00: Hybrid Systems\u2014Computation and Control"},{"key":"ref_8","first-page":"76","article-title":"Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations","volume":"Volume 1569","author":"Chutinan","year":"2000","journal-title":"International Workshop on Hybrid Systems: Computation and Control"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"Frehse","year":"2008","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref_10","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., and Maler, O. (2011). Spaceex: Scalable verification of hybrid systems. Computer Aided Verification, Springer.","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/9.664156","article-title":"Algorithmic analysis of nonlinear hybrid systems","volume":"43","author":"Henzinger","year":"1998","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0168-9274(02)00223-4","article-title":"A nonstandard finite-difference scheme for the Lotka-Volterra system","volume":"45","author":"Mickens","year":"2003","journal-title":"Appl. Numer. Math."},{"key":"ref_13","unstructured":"De Vogelaere, R. (1956). Methods of Integration Which Preserve the Contact Transformation Property of the Hamilton Equations, University of Notre Dame. Dept. of Mathematics. Technical Report, Unpublished."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"2669","DOI":"10.1109\/TNS.1983.4332919","article-title":"A canonical integration technique","volume":"30","author":"Ruth","year":"1983","journal-title":"IEEE Trans. Nucl. Sci."},{"key":"ref_15","unstructured":"Feng, K. (, January August). On difference schemes and symplectic geometry. Proceedings of the 5th International Symposium on Differential Geometry and Differential Equations, Beijing, China."},{"key":"ref_16","first-page":"279","article-title":"Difference schemes for Hamiltonian formalism and symplectic geometry","volume":"4","author":"Feng","year":"1986","journal-title":"J. Comput. Math."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1098\/rsta.1999.0363","article-title":"Geometric integration using discrete gradients","volume":"357","author":"McLachlan","year":"1999","journal-title":"Philos. Trans. R. Soc. Lond. Ser. Math. Phys. Eng. Sci."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"105204","DOI":"10.1088\/1751-8113\/42\/10\/105204","article-title":"Long-time behaviour of discretizations of the simple pendulum equation","volume":"42","author":"Ratkiewicz","year":"2009","journal-title":"J. Phys. Math. Theor."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"016704","DOI":"10.1103\/PhysRevE.81.016704","article-title":"Improving the accuracy of the discrete gradient method in the one-dimensional case","volume":"81","author":"Ratkiewicz","year":"2010","journal-title":"Phys. Rev. E"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"155206","DOI":"10.1088\/1751-8113\/44\/15\/155206","article-title":"Energy-preserving numerical schemes of high accuracy for one-dimensional Hamiltonian systems","volume":"44","author":"Ratkiewicz","year":"2011","journal-title":"J. Phys. A Math. Theor."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1016\/j.jcp.2005.04.001","article-title":"Geometrical integration of Landau\u2013Lifshitz\u2013Gilbert equation based on the mid-point rule","volume":"209","author":"Serpico","year":"2005","journal-title":"J. Comput. Phys."},{"key":"ref_22","unstructured":"Shepherd, D. (2015). Numerical Methods for Dynamical Micromagnetics. [Ph.D. Thesis, The University of Manchester]."},{"key":"ref_23","unstructured":"Hairer, E., Norsett, S.P., and Wanner, G. (1993). Solving Ordinary Differential Equations I: Nonstiff Problems, Springer."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1058","DOI":"10.1007\/s10915-019-00965-8","article-title":"An Adaptive Step Implicit Midpoint Rule for the Time Integration of Newton\u2019s Linearisations of Non-Linear Problems with Applications in Micromagnetics","volume":"80","author":"Shepherd","year":"2019","journal-title":"J. Sci. Comput."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1047","DOI":"10.1016\/S0020-7462(00)00069-X","article-title":"Cone of non-linear dynamical system and group preserving schemes","volume":"36","author":"Liu","year":"2001","journal-title":"Int. J. Non-Linear Mech."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"2189","DOI":"10.1007\/s10586-016-0652-z","article-title":"Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme","volume":"19","author":"Zhang","year":"2016","journal-title":"Clust. Comput."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0377-0427(98)00017-X","article-title":"Discretizations of nonlinear differential equations using explicit finite order methods","volume":"90","author":"Chen","year":"1998","journal-title":"J. Comput. Appl. Math."}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/14\/2\/365\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:18:13Z","timestamp":1760134693000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/14\/2\/365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,12]]},"references-count":27,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2022,2]]}},"alternative-id":["sym14020365"],"URL":"https:\/\/doi.org\/10.3390\/sym14020365","relation":{},"ISSN":["2073-8994"],"issn-type":[{"type":"electronic","value":"2073-8994"}],"subject":[],"published":{"date-parts":[[2022,2,12]]}}}