{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,15]],"date-time":"2022-06-15T14:36:51Z","timestamp":1655303811551},"reference-count":15,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.257.9","type":"journal-article","created":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T08:09:37Z","timestamp":1505203777000},"page":"91-104","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System"],"prefix":"10.4204","volume":"257","author":[{"given":"Benjamin","family":"Martin","sequence":"first","affiliation":[{"name":"LIX, Ecole Polytechnique, CNRS, Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalil","family":"Ghorbal","sequence":"additional","affiliation":[{"name":"INRIA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[{"name":"LIX, Ecole Polytechnique, CNRS, Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[{"name":"LIX, Ecole Polytechnique, CNRS, Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"Alur1993","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume-title":"Hybrid systems","author":"Alur","year":"1993"},{"key":"Ball1978189","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/B978-0-12-195250-1.50015-1","article-title":"Finite Time Blow-Up in Nonlinear Problems","volume-title":"Nonlinear Evolution Equations","author":"Ball","year":"1978"},{"issue":"40","key":"Carothers","first-page":"1","article-title":"Some properties of solutions to polynomial systems of differential equations","volume":"2005","author":"Carothers","year":"2005","journal-title":"Electronic Journal of Differential Equations"},{"key":"DBLP:conf\/cade\/FultonMQVP15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","article-title":"KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems","volume-title":"CADE","volume":"9195","author":"Fulton","year":"2015"},{"key":"Ghorbal2014","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-54862-8_19","article-title":"Characterizing Algebraic Invariants by Differential Radical Invariants","volume-title":"TACAS","author":"Ghorbal","year":"2014"},{"key":"goriely2001integrability","series-title":"Advanced Series in Nonlinear Dynamics","doi-asserted-by":"publisher","DOI":"10.1142\/3846","volume-title":"Integrability and Nonintegrability of Dynamical Systems","author":"Goriely","year":"2001"},{"key":"Goubault2014","doi-asserted-by":"publisher","first-page":"3571","DOI":"10.1109\/ACC.2014.6859330","article-title":"Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials","volume-title":"2014 American Control Conference","author":"Goubault","year":"2014"},{"key":"Jaulin2013","first-page":"261","article-title":"Outer Approximation of Attractors Using an Interval Quantization","volume":"19","author":"Jaulin","year":"2013","journal-title":"Reliable Computing"},{"key":"DBLP:conf\/emsoft\/LiuZZ11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/2038642.2038659","article-title":"Computing semi-algebraic invariants for polynomial dynamical systems","volume-title":"EMSOFT","author":"Liu","year":"2011"},{"issue":"5","key":"Man93a","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1006\/jsco.1993.1057","article-title":"Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure.","volume":"16","author":"Man","year":"1993","journal-title":"J. Symb. Comput."},{"key":"DBLP:conf\/sas\/MatringeMR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-15769-1_23","article-title":"Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods","volume-title":"SAS","volume":"6337","author":"Matringe","year":"2010"},{"issue":"2","key":"DBLP:journals\/jar\/Platzer08","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","article-title":"Differential Dynamic Logic for Hybrid Systems","volume":"41","author":"Platzer","year":"2008","journal-title":"J. Autom. Reasoning"},{"key":"Prajna+Jadbabaie\/2004\/Safety","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety Verification using Barrier Certificates","volume-title":"HSCC","volume":"2993","author":"Prajna","year":"2004"},{"key":"DBLP:conf\/hybrid\/Sankaranarayanan10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1755952.1755984","article-title":"Automatic invariant generation for hybrid systems using ideal fixed points","volume-title":"HSCC","author":"Sankaranarayanan","year":"2010"},{"key":"Sogokon2015","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-319-19249-9_32","article-title":"Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems","volume-title":"FM","volume":"9109","author":"Sogokon","year":"2015"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T08:09:52Z","timestamp":1505203792000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1709.02561v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":15,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.257.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,7]]}}}