{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:42Z","timestamp":1725497202280},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009139"},{"type":"electronic","value":"9783540365808"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_18","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:13:36Z","timestamp":1197202416000},"page":"216-232","source":"Crossref","is-referenced-by-count":14,"title":["Efficient Mode Enumeration of Compositional Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Geyer","sequence":"first","affiliation":[]},{"given":"Fabio Danilo","family":"Torrisi","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Morari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"18_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-45449-7_2","volume-title":"Hierarchical hybrid modeling of embedded systems","author":"R. Alur","year":"2001","unstructured":"R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivan\u010di\u0107, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling of embedded systems. Volume 2211 of Lecture Notes in Computer Science, pages 14\u201331. Springer Verlag, 2001."},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"Modularity for timed and hybrid systems","author":"R. Alur","year":"1997","unstructured":"R. Alur and T. A. Henzinger. Modularity for timed and hybrid systems. Volume 1243 of Lecture Notes in Computer Science, pages 74\u201388, Springer Verlag, 1997."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0166-218X(95)00026-N","volume":"65","author":"D. Avis","year":"1996","unstructured":"D. Avis and K. Fukuda. Reverse search for enumeration. Discrete Applied Mathematics, 65:21\u201346, 1996.","journal-title":"Discrete Applied Mathematics"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. Bemporad. An efficient technique for translating mixed logical dynamical systems into piecewise affine systems. In Proc. 41st IEEE Conf. on Decision and Control, 2002.","DOI":"10.1109\/CDC.2002.1184816"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"A. Bemporad, N. Giorgetti, I. V. Kolmanovsky, and D. Hrovat. A hybrid systems approach to modeling and optimal control of disc engines. In Proc. 41st IEEE Conf. on Decision and Control, 2002.","DOI":"10.1109\/CDC.2002.1184745"},{"key":"18_CR6","unstructured":"A. Bemporad and D. Mignone. MIQP.M: A Matlab function for solving mixed integer quadratic programs. ETH Zurich, 2000."},{"issue":"3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A. Bemporad","year":"1999","unstructured":"A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407\u2013427, March 1999.","journal-title":"Automatica"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-45351-2_16","volume-title":"A hybrid approach to traction control","author":"F. Borrelli","year":"2001","unstructured":"F. Borrelli, A. Bemporad, M. Fodor, and D. Hrovat. A hybrid approach to traction control. Volume 2034 of Lecture Notes in Computer Science, pages 162\u2013174. Springer Verlag, 2001."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.2307\/2303424","volume":"50","author":"R. C. Buck","year":"1943","unstructured":"R. C. Buck. Partition of space. Amer. Math. Monthly, 50:541\u2013544, 1943.","journal-title":"Amer. Math. Monthly"},{"issue":"7","key":"18_CR10","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1016\/S0005-1098(01)00054-1","volume":"37","author":"B. Schutter De","year":"2001","unstructured":"B. De Schutter and T. van den Boom. On model predictive control for max-minplus-scaling discrete event systems. Automatica, 37(7):1049\u20131056, 2001.","journal-title":"Automatica"},{"key":"18_CR11","unstructured":"N. Deo. Graph Theory with Applications to Engineering and Computer Science. Prentice-Hall, Inc., 1974."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0020-0190(93)90079-O","volume":"47","author":"P. Eades","year":"1993","unstructured":"P. Eades, X. Lin, and W. F. Smyth. A fast and effective heuristic for the feedback arc set problem. Information Processing Letters, 47:319\u2013323, 1993.","journal-title":"Information Processing Letters"},{"key":"18_CR13","unstructured":"M. G. Earl and R. D\u2019Andrea. Modeling and control of a multi-vehicle system using mixed integer linear programming. In Proc. 41st IEEE Conf. on Decision and Control, 2002."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"H. Edelsbrunner. Algorithms in Combinatorial Geometry. 1987.","DOI":"10.1007\/978-3-642-61568-9"},{"key":"18_CR15","unstructured":"J. A. Ferrez and K. Fukuda. Implementations of LP-based reverse search algorithms for the zonotope construction and the fixed-rank convex quadratic maximization in binary variables using the ZRAM and the cddlib libraries. Technical report, July 2002. http:\/\/www.cs.mcgill.ca\/~fukuda\/download\/mink ."},{"key":"18_CR16","unstructured":"J. A. Ferrez, K. Fukuda, and Th. M. Liebling. Cuts, zonotopes and arrangements. Technical report, EPF Lausanne, November 2001."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"T. Geyer, F. D. Torrisi, and M. Morari. Efficient Mode Enumeration of Compositional Hybrid Systems. Technical Report AUT03-01, ETH Zurich, 2003.","DOI":"10.1007\/3-540-36580-X_18"},{"issue":"7","key":"18_CR18","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","volume":"37","author":"W. P. M. H. Heemels","year":"2001","unstructured":"W. P. M. H. Heemels, B. De Schutter, and A. Bemporad. Equivalence of hybrid dynamical models. Automatica, 37(7):1085\u20131091, July 2001.","journal-title":"Automatica"},{"key":"18_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45351-2_24","volume-title":"Assume-guarantee reasoning for hierarchical hybrid systems","author":"T. A. Henzinger","year":"2001","unstructured":"T. A. Henzinger, M. Minea, and V. Prabhu. Assume-guarantee reasoning for hierarchical hybrid systems. Volume 2034 of Lecture Notes in Computer Science, pages 275\u2013290. Springer Verlag, March 2001."},{"key":"18_CR20","unstructured":"ILOG, Inc. CPLEX 8.0 User Manual. Gentilly Cedex, France, 2002."},{"key":"18_CR21","unstructured":"K. H. Johansson. Hybrid systems:modeling, analysis and control-composition of hybrid automata. Lecture notes of the class EECS 291e, Lecture 5, University of California at Berkley, 2000."},{"key":"18_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","volume-title":"Hybrid I\/O automata revisited","author":"N. Lynch","year":"2001","unstructured":"N. Lynch, R. Segala, and F. Vaandrager. Hybrid I\/O automata revisited. Volume 2034 of Lecture Notes in Computer Science, pages 403\u2013417. Springer Verlag, 2001."},{"key":"18_CR23","unstructured":"D. Mignone. Control and Estimation of Hybrid Systems with Mathematical Optimization. Diss. ETH No. 14520, ETH Zurich, 2002."},{"key":"18_CR24","unstructured":"S. Rashid and J. Lygeros. Hybrid systems:modeling, analysis and control-open hybrid automata and composition. Lecture notes of the class EECS 291e, Lecture 8, University of California at Berkley, 1999."},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1109\/TAC.1981.1102596","volume":"26","author":"E. D. Sontag","year":"1981","unstructured":"E. D. Sontag. Nonlinear regulation: The piecewise linear approach. IEEE Trans. on Aut. Control, 26(2):346\u2013358, April 1981.","journal-title":"IEEE Trans. on Aut. Control"},{"key":"18_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BFb0020966","volume-title":"Interconnected automata and linear systems: A theoretical framework in discrete-time","author":"E. D. Sontag","year":"1996","unstructured":"E. D. Sontag. Interconnected automata and linear systems: A theoretical framework in discrete-time. Volume 1066 of Lecture Notes in Computer Science, pages 436\u2013448. Springer-Verlag, 1996."},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"F. D. Torrisi and A. Bemporad. Discrete-time hybrid modeling and verification. In Proc. 40th IEEE Conf. on Decision and Control, pages 2899\u20132904, 2001.","DOI":"10.1109\/CDC.2001.980716"},{"key":"18_CR28","unstructured":"F. D. Torrisi and A. Bemporad. Hysdel \u2014 a tool for generating computational hybrid models for analysis and synthesis problems. Technical Report AUT02-03, ETH Zurich, http:\/\/control.ethz.ch\/~hybrid\/hysdel , March 2002."},{"key":"18_CR29","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/9.664151","volume":"43","author":"A. J. Schaft van der","year":"1998","unstructured":"A. J. van der Schaft and J. M. Schumacher. Complementarity modelling of hybrid systems. IEEE Trans. on Aut. Control, 43:483\u2013490, 1998.","journal-title":"IEEE Trans. on Aut. Control"},{"key":"18_CR30","volume-title":"Graduate Texts in Mathematics","author":"G. M. Ziegler","year":"1994","unstructured":"G. M. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer, New York, 1994."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36580-X_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T20:16:24Z","timestamp":1557087384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}