{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:12:13Z","timestamp":1725844333426},"reference-count":20,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC-PapersOnLine"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1016\/j.ifacol.2021.08.506","type":"journal-article","created":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T22:34:10Z","timestamp":1631226850000},"page":"247-252","source":"Crossref","is-referenced-by-count":3,"title":["Switched Systems as Hybrid Programs"],"prefix":"10.1016","volume":"54","author":[{"given":"Yong Kiam","family":"Tan","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ifacol.2021.08.506_bib0001","doi-asserted-by":"crossref","unstructured":"Fulton, N., Mitsch, S., Quesel, J., V\u00f6lp, M., and Platzer, A. (2015). KeYmaera X: an axiomatic tactical theorem prover for hybrid systems. In A.P. Felty and A. Mid-deldorp (eds.), CADE, volume 9195 of LNCS, 527\u2013538. Springer, Cham.","DOI":"10.1007\/978-3-319-21401-6_36"},{"issue":"2","key":"10.1016\/j.ifacol.2021.08.506_bib0002","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCS.2008.931718","article-title":"Hybrid dynamical systems","volume":"29","author":"Goebel","year":"2009","journal-title":"IEEE Control Systems Magazine"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0003","series-title":"Hybrid Dynamical Systems: Modeling, Stability, and Robustness","author":"Goebel","year":"2012"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0004","series-title":"Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control","author":"Haddad","year":"2006"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0005","series-title":"LICS","first-page":"278","article-title":"The theory of hybrid automata","author":"Henzinger","year":"1996"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0006","first-page":"203","article-title":"Probl\u00e9me g\u00e9n\u00e9ral de la stabilit\u00e9 du mouvement","volume":"9","author":"Liapounoff","year":"1907","journal-title":"Annales de la Facult\u00e9 des sciences de Toulouse: Math\u00e9matiques"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0007","series-title":"Systems & Control: Foundations & Applications","article-title":"Switching in Systems and Control","author":"Liberzon","year":"2003"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0008","series-title":"APLAS, volume 6461 of LNCS","first-page":"1","article-title":"A calculus for hybrid CSP","author":"Liu","year":"2010"},{"key":"10.1016\/j.ifacol.2021.08.506_bib0009","series-title":"Logical Analysis of Hybrid Systems -Proving Theorems for Complex Dynamics","author":"Platzer","year":"2010"},{"issue":"2","key":"10.1016\/j.ifacol.2021.08.506_bib00010","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s10817-016-9385-1","article-title":"A complete uniform substitution calculus for differential dynamic logic","volume":"59","author":"Platzer","year":"2017","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/j.ifacol.2021.08.506_bib00011","series-title":"Logical Foundations of Cyber-Physical Systems","author":"Platzer","year":"2018"},{"issue":"1","key":"10.1016\/j.ifacol.2021.08.506_bib00012","doi-asserted-by":"crossref","first-page":"6:1","DOI":"10.1145\/3380825","article-title":"Differential equation invariance axiomatization","volume":"67","author":"Platzer","year":"2020","journal-title":"J. Acm"},{"issue":"1","key":"10.1016\/j.ifacol.2021.08.506_bib00013","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","article-title":"Hybrid action systems","volume":"290","author":"R\u00f6nkk\u00f6","year":"2003","journal-title":"Theor. Comput. Sci."},{"issue":"5s","key":"10.1016\/j.ifacol.2021.08.506_bib00014","doi-asserted-by":"crossref","first-page":"185:1","DOI":"10.1145\/3126506","article-title":"Operational models for piecewise-smooth systems","volume":"16","author":"Sogokon","year":"2017","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"10.1016\/j.ifacol.2021.08.506_bib00015","series-title":"Communications and Control Engineering","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-256-8","article-title":"Stability Theory of Switched Dynamical Systems","author":"Sun","year":"2011"},{"key":"10.1016\/j.ifacol.2021.08.506_bib00016","doi-asserted-by":"crossref","DOI":"10.1007\/s00165-020-00525-0","article-title":"An axiomatic approach to existence and liveness for differential equations","author":"Tan","year":"2021","journal-title":"Formal Aspects Comput"},{"key":"10.1016\/j.ifacol.2021.08.506_bib00017","unstructured":"Tan, Y.K. and Platzer, A. (2021b). Switched systems as hybrid programs. CoRR, abs\/2101.06195. URL https:\/\/arxiv.org\/abs\/2101.06195."},{"key":"10.1016\/j.ifacol.2021.08.506_bib00018","series-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"issue":"4","key":"10.1016\/j.ifacol.2021.08.506_bib00019","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1080\/00207728708964001","article-title":"Stability of periodically switched linear systems and the switching frequency","volume":"18","author":"Tokarzewski","year":"1987","journal-title":"International Journal of Systems Science"},{"issue":"5","key":"10.1016\/j.ifacol.2021.08.506_bib00020","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/rnc.592","article-title":"Zeno hybrid systems","volume":"11","author":"Zhang","year":"2001","journal-title":"Int. J. Robust Nonlinear Control."}],"container-title":["IFAC-PapersOnLine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2405896321012817?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2405896321012817?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T08:29:17Z","timestamp":1638952157000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2405896321012817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021]]}},"alternative-id":["S2405896321012817"],"URL":"https:\/\/doi.org\/10.1016\/j.ifacol.2021.08.506","relation":{},"ISSN":["2405-8963"],"issn-type":[{"value":"2405-8963","type":"print"}],"subject":[],"published":{"date-parts":[[2021]]}}}