{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:25:10Z","timestamp":1766157910337,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iros.2015.7353861","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T21:52:55Z","timestamp":1450389175000},"page":"3470-3477","source":"Crossref","is-referenced-by-count":35,"title":["Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Scherer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Verification et synthese des systemes hybrides","year":"2000","author":"dang","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545549"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","volume":"1569","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control ser Lecture Notes in Computer Science"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref35","first-page":"1474","article-title":"Formal verification of maneuver automata for parameterized motion primitives","author":"heb","year":"2014","journal-title":"Proc of the Int Conf on Intelligent Robots and Systems"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2009.11.007"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2825"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.08.019"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1163\/1568553042674662"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"3068","DOI":"10.1109\/ROBOT.2007.363938","article-title":"An inevitable collision state-checker for a car-like vehicle","author":"parthasarathi","year":"2007","journal-title":"Proc of the IEEE International Conference on Robotics and Automation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2012.6232145"},{"key":"ref17","article-title":"Safety assessment of robot trajectories for navigation in uncertain and dynamic environments","author":"althoff","year":"2011","journal-title":"Springer journal of Autonomous Robots"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509233"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225235"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"4951","DOI":"10.1109\/CDC.2001.914717","article-title":"Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model preditctive control","author":"kerrigan","year":"2000","journal-title":"Proc of the IEEE Conf on Decision and Control"},{"article-title":"Structured semidenite programs and semialgebraic geometry methods in robustness and optimization","year":"2000","author":"parrilo","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.262032"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(96)00214-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36279-8_33"},{"article-title":"Safe trajectory planning of autonomous vehicles","year":"2006","author":"schouwenaars","key":"ref5"},{"article-title":"Robust trajectory planning for unmanned aerial vehicles in uncertain environments","year":"2008","author":"luders","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656440"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Set invariance in control","volume":"35","author":"blachini","year":"1999","journal-title":"Automatica"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.05.003"},{"key":"ref1","article-title":"A principled approach to enable safe and high performance maneuvers for autonomous rotorcraft","author":"arora","year":"0","journal-title":"AHS 70th Annual Forum Montreal Quebec Canada May 20–22 2014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697120"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref24","first-page":"1525","article-title":"Automated composition of motion primitives for multi-robot systems from safe lt1 specifications","author":"saha","year":"2014","journal-title":"Proc of the IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref26","first-page":"2884","article-title":"Barrier certificates for nonlinear model validation","volume":"3","author":"prajna","year":"2003","journal-title":"Decision and Control 2003 Proceedings 42nd IEEE Conference on"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"}],"event":{"name":"2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2015,9,28]]},"location":"Hamburg, Germany","end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347169\/7353104\/07353861.pdf?arnumber=7353861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T17:10:08Z","timestamp":1567444208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7353861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/iros.2015.7353861","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}