{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T06:15:06Z","timestamp":1768976106223,"version":"3.49.0"},"reference-count":33,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1080\/00207170903159285","type":"journal-article","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T00:27:25Z","timestamp":1257294445000},"page":"313-329","source":"Crossref","is-referenced-by-count":7,"title":["Efficient mode enumeration of compositional hybrid systems"],"prefix":"10.1080","volume":"83","author":[{"given":"Tobias","family":"Geyer","sequence":"first","affiliation":[{"name":"The University of Auckland","place":["New Zealand"]}]},{"given":"Fabio D.","family":"Torrisi","sequence":"additional","affiliation":[{"name":"McKinsey & Company","place":["Switzerland"]}]},{"given":"Manfred","family":"Morari","sequence":"additional","affiliation":[{"name":"Automatic Control Laboratory, ETH Zurich","place":["Switzerland"]}]}],"member":"301","published-online":{"date-parts":[[2009,11,2]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63141-0_6"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_2"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(95)00026-N"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871300"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184816"},{"key":"e_1_3_3_7_1","article-title":"A Matlab Function for Solving Mixed Integer Quadratic Programs","author":"Bemporad A","year":"2000","unstructured":"Bemporad , A and Mignone , D . 2000 . A Matlab Function for Solving Mixed Integer Quadratic Programs . ETH Zurich , http:\/\/control.ethz.ch\/~hybrid\/miqp","journal-title":"ETH Zurich"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739123"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_16"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1943.11991447"},{"key":"e_1_3_3_12_1","volume-title":"Graph Theory with Applications to Engineering and Computer Science","author":"Deo N","year":"1974","unstructured":"Deo , N . 1974 . Graph Theory with Applications to Engineering and Computer Science , Englewood Cliffs : Prentice-Hall ."},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(93)90079-O"},{"key":"e_1_3_3_14_1","first-page":"107","volume-title":"Proceedings of the IEEE Conference on Decision and Control","author":"Earl MG","unstructured":"Earl , MG and D'Andrea , R . Modeling and Control of a multi-vehicle System using Mixed Integer Linear Programming . Proceedings of the IEEE Conference on Decision and Control . 2002 . pp. 107 \u2013 111 . Las Vegas, NV"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61568-9"},{"key":"e_1_3_3_16_1","volume-title":"Technical Report","author":"Ferrez JA","year":"2001","unstructured":"Ferrez , JA , Fukuda , K and Liebling , ThM . 2001 . \u201c Cuts, Zonotopes and Arrangements \u201d . In Technical Report , Switzerland : EPF Lausanne ."},{"key":"e_1_3_3_17_1","volume-title":"Dr. Sc. Tech. Thesis","author":"Geyer T","year":"2005","unstructured":"Geyer , T . 2005 . \u201c Low Complexity Model Predictive Control in Power Electronics and Power Systems \u201d . In Dr. Sc. Tech. Thesis , Zurich : Automatic Control Laboratory ETH Zurich ."},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_18"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.11.027"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00059-0"},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_24"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_25"},{"key":"e_1_3_3_23_1","unstructured":"ILOG Inc. CPLEX 8.0 User Manual. Gentilly Cedex France 2002"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_30"},{"key":"e_1_3_3_25_1","volume-title":"Predictive Control","author":"Maciejowski JM","year":"2002","unstructured":"Maciejowski , JM . 2002 . Predictive Control , Harlow, UK : Prentice Hall ."},{"key":"e_1_3_3_26_1","volume-title":"Dr. Sc. Tech. Thesis","author":"Mignone D","year":"2002","unstructured":"Mignone , D . 2002 . \u201c Control and Estimation of Hybrid System with Mathematical Optimization \u201d . In Dr. Sc. Tech. Thesis , Zurich : Automatic Control Laboratory ETH Zurich ."},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1080\/13873950412331318062"},{"key":"e_1_3_3_28_1","volume-title":"UCB\/ERL M99\/34","author":"Rashid S","year":"1999","unstructured":"Rashid , S and Lygeros , J . 1999 . \u201c Hybrid Systems: Modeling, Analysis and Control\u2013Open Hybrid Automata and Composition \u201d . In UCB\/ERL M99\/34 , Lecture notes of the class EECS 291e . Lecture 8"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1981.1102596"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020966"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980716"},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"},{"key":"e_1_3_3_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664151"},{"key":"e_1_3_3_34_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2004.1386737"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207170903159285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T16:55:47Z","timestamp":1768928147000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207170903159285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,2]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["10.1080\/00207170903159285"],"URL":"https:\/\/doi.org\/10.1080\/00207170903159285","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,2]]}}}