{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:42:23Z","timestamp":1729654943647,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160676","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T16:18:31Z","timestamp":1331137111000},"page":"545-551","source":"Crossref","is-referenced-by-count":3,"title":["Safety control of piece-wise continuous order preserving systems"],"prefix":"10.1109","author":[{"given":"Reza","family":"Ghaemi","sequence":"first","affiliation":[]},{"given":"Domitilla","family":"Del Vecchio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6050"},{"journal-title":"General Topology","year":"1975","author":"kelley","key":"22"},{"key":"17","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-540-39983-4_9","article-title":"Interconnections of monotone systems with steady-state characteristics","volume":"301","author":"angeli","year":"2004","journal-title":"Optimal Control Stabilization and Nonsmooth Analysis Lecture Notes in Control and Inform Sci"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.911320"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400532"},{"key":"16","article-title":"Monotone dynamical systems","author":"smith","year":"1995","journal-title":"American Mathematical Society Mathematical Surveys and Monographs"},{"key":"13","article-title":"Observer-based control of block triangular discrete time hybrid automata on a partial order","author":"del vecchio","year":"2008","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160025"},{"key":"11","article-title":"Set-valued analysis","author":"aubin","year":"1990","journal-title":"Systems and Control Foundations and Applications"},{"key":"12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-540-71493-4_15","article-title":"A partial order approach to discrete dynamic feedback in a class of hybrid systems","volume":"4416","author":"del vecchio","year":"2007","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"21","first-page":"419","article-title":"Optimization of the course in the ships movement by input-output linearization","author":"casado","year":"2001","journal-title":"Proceedings of IFAC Conference on Control Application and Marine Systems"},{"key":"3","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.817920"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/10984413_12"},{"key":"1","first-page":"120","article-title":"Symbolic controller synthesis for discrete and timed systems","volume":"999","author":"maler","year":"1995","journal-title":"Hybrid Systems IV Lecture Notes in Computer Science"},{"journal-title":"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics","year":"2009","author":"le guernic","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","article-title":"A user guide to HyTech. In TACAS 95: Tools and algorithms for the construction and analysis of systems","volume":"1019","author":"henzinger","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45351-2_39","article-title":"Semi-decidable synthesis for triangular hybrid systems","volume":"2034","author":"shakernia","year":"2001","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160676.pdf?arnumber=6160676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:20:05Z","timestamp":1497957605000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160676\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160676","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}