{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:13:28Z","timestamp":1758273208109,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184816","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"1970-1975","source":"Crossref","is-referenced-by-count":15,"title":["An efficient technique for translating mixed logical dynamical systems into piecewise affine systems"],"prefix":"10.1109","volume":"2","author":[{"given":"A.","family":"Bemporad","sequence":"first","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1137\/S0036139997325199"},{"key":"17","first-page":"1816","article-title":"A hierarchical decomposition method for optimal control of hybrid systems","author":"gokbayrak","year":"1999","journal-title":"Proc 38th IEEE Conf on Decision and Control"},{"key":"18","first-page":"3972","article-title":"Optimal control of hybrid systems","author":"hedlund","year":"1999","journal-title":"Proc 38th IEEE Conf on Decision and Control"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/5.871309"},{"year":"1995","author":"gal","journal-title":"Postoptimal Analyses Parametric Programming and Related Topics","key":"16"},{"year":"1995","author":"branicky","article-title":"Studies in hybrid systems: Modeling, analysis, and control","key":"13"},{"key":"14","first-page":"76","article-title":"Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"Hybrid Systems Computation and Control Volume 1569 of Lecture Notes in Computer Science"},{"key":"11","first-page":"45","article-title":"Optimization-based verification and stability characterization of piecewise affine and hybrid systems","author":"bemporad","year":"2000","journal-title":"Hybrid Systems Computation and Control Volume 1790 of Lecture Notes in Computer Science"},{"year":"2003","author":"boyd","journal-title":"Convex optimization","key":"12"},{"year":"2000","journal-title":"CPLEX 7 0 user manual","key":"21"},{"key":"20","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","article-title":"Equivalence of hybrid dynamical models","volume":"37","author":"heemels","year":"2001","journal-title":"Automatica"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/9.664157"},{"key":"23","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"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/TAC.1981.1102596"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1109\/CDC.2001.980716"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1109\/TCST.2004.824309"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1109\/9.664151"},{"year":"1993","author":"williams","journal-title":"Model Building in Mathematical Programming","key":"28"},{"key":"3","first-page":"1190","article-title":"Piecewise linear optimal controllers for hybrid systems","author":"bemporad","year":"2000","journal-title":"Proc American Contr Conf"},{"key":"2","first-page":"20","article-title":"Reachability analysis of piecewise-linear dynamical systems","author":"asarin","year":"2000","journal-title":"Hybrid Systems Computation and Control Volume 1790 of Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1016\/S0005-1098(01)00174-1"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/JPROC.2000.871299"},{"year":"2000","author":"bemporad","article-title":"MIQP.M: A matlab function for solving mixed integer quadratic programs","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/S0925-7721(01)00004-9"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/TAC.2000.880987"},{"key":"4","article-title":"On the optimal control law for linear discrete time hybrid systems","author":"bemporad","year":"2002","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","article-title":"Control of systems integrating logic, dynamics, and constraints","volume":"35","author":"bemporad","year":"1999","journal-title":"Automatica"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ACC.1999.786492"}],"event":{"acronym":"CDC-02","name":"IEEE Conference on Decision and Control","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26567\/01184816.pdf?arnumber=1184816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T20:09:08Z","timestamp":1497557348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184816\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184816","relation":{},"subject":[]}}