{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:17Z","timestamp":1761487937381},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_7","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T04:18:49Z","timestamp":1193458729000},"page":"32-44","source":"Crossref","is-referenced-by-count":19,"title":["Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Balluchi","sequence":"first","affiliation":[]},{"given":"Luca","family":"Benvenuti","sequence":"additional","affiliation":[]},{"given":"Maria D.","family":"Di Benedetto","sequence":"additional","affiliation":[]},{"given":"Guido M.","family":"Miconi","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Pozzi","sequence":"additional","affiliation":[]},{"given":"Tiziano","family":"Villa","sequence":"additional","affiliation":[]},{"given":"Howard","family":"Wong-Toi","sequence":"additional","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"7_CR1","unstructured":"M. Abate and V. Di Nunzio. Idle speed control using optimal regulation. Technical Report 905008, SAE, 1990."},{"key":"7_CR2","volume-title":"Proceedings of System Structure and Control","author":"E. Asarin","year":"1998","unstructured":"E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proceedings of System Structure and Control. IFAC, Elsevier, July 1998."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli. A case study of hybrid controller synthesis of a heating system. In Proc. 5th European Control Conference, Karlsruhe, Germany, September 1999.","DOI":"10.23919\/ECC.1999.7099557"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli. Controller synthesis for hybrid systems with lower bounds on event separation. In Proc. 37th IEEE Conference on Decision and Control, December 1999.","DOI":"10.1109\/CDC.1999.827983"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/87.748152","volume":"7","author":"K. R. Butts","year":"1999","unstructured":"K. R. Butts, N. Sivashankar, and J. Sun. Application of \u2113 1 optimal control to the engine idle speed control problem. IEEE Trans. on Control Systems Technology, 7(2):258\u2013270, March 1999.","journal-title":"IEEE Trans. on Control Systems Technology"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"C. Carnevale and A. Moschetti. Idle speed control with H \u221e technique. Technical Report 930770, SAE, 1993.","DOI":"10.4271\/930770"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"D. Hrovat and B. Bodenheimer. Robust automotive idle speed control design based on \u03bc-synthesis. In Proc. IEEE American Control Conference, pages 1778\u20131783, S. Francisco, CA, 1993.","DOI":"10.23919\/ACC.1993.4793183"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"D. Hrovat and J. Sun. Models and control methodologies for IC engine idle speed control design. Control Engineering Practice, 5(8), August 1997.","DOI":"10.1016\/S0967-0661(97)00101-9"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"L. Kjergaard, S. Nielsen, T. Vesterholm, and E. Hendricks. Advanced nonlinear engine idle speed control systems. Technical Report 940974, SAE, 1994.","DOI":"10.4271\/940974"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"C. H. Onder and H. P. Geering. Model-based multivariable speed and air-to-fuel ratio control of a SI engine. Technical Report 930859, SAE, 1993.","DOI":"10.4271\/930859"},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/87.508888","volume":"4","author":"D. Shim","year":"1996","unstructured":"D. Shim, J. Park, P. P. Khargonekar, and W. B. Ribbens. Reducing automotive engine speed fluctuation at idle. IEEE Trans. on Control Systems Technology, 4(4):404\u2013410, July 1996.","journal-title":"IEEE Trans. on Control Systems Technology"},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-64358-3_51","volume-title":"First International Workshop, HSCC\u201998, Hybrid Systems: Computation and Control","author":"C. Tomlin","year":"1998","unstructured":"C. Tomlin, J. Lygeros, and S. Sastry. Synthesizing controllers for nonlinear hybrid systems. In Thomas Henzinger and Shankar Sastry, editors, First International Workshop, HSCC\u201998, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1386, pages 360\u2013373, 1998."},{"issue":"970027","key":"7_CR13","first-page":"34","volume":"106","author":"S. Yurkovich","year":"1997","unstructured":"S. Yurkovich and M. Simpson. Crank-angle domain modeling and control for idle speed. SAE Journal of Engines, 106(970027):34\u201341, 1997.","journal-title":"SAE Journal of Engines"}],"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-46430-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:09:47Z","timestamp":1556921387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}