{"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":1761487937675},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_11","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T04:18:49Z","timestamp":1193458729000},"page":"89-102","source":"Crossref","is-referenced-by-count":13,"title":["Theory of Optimal Control Using Bisimulations"],"prefix":"10.1007","author":[{"given":"Mireille","family":"Broucke","sequence":"first","affiliation":[]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Di Gennaro","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4755-1","volume-title":"Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations","author":"M. Bardi","year":"1997","unstructured":"M. Bardi and I. Capuzzo-Dolcetta. Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations. Birkh\u00e4user, Boston, 1997."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1137\/0304027","volume":"4","author":"V.G. Boltyanskii","year":"1966","unstructured":"V.G. Boltyanskii. Sufficient conditions for optimality and the justification of the dynamic programming method. SIAM Journal of Control, 4, pp. 326\u2013361, 1966.","journal-title":"SIAM Journal of Control"},{"issue":"1","key":"11_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"M. Branicky","year":"1998","unstructured":"M. Branicky, V. Borkar, S. Mitter. A unified framework for hybrid control: model and optimal control theory. IEEE Trans. AC, vol. 43, no. 1, pp. 31\u201345, January, 1998.","journal-title":"IEEE Trans. AC"},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-48983-5_9","volume-title":"Hybrid Systems: Computation and Control","author":"M. Broucke","year":"1999","unstructured":"M. Broucke. A geometric approach to bisimulation and verification of hybrid systems. In Hybrid Systems: Computation and Control, F. Vaandrager and J. van Schuppen, eds., LNCS 1569, p. 61\u201375, Springer-Verlag, 1999."},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1137\/0322011","volume":"22","author":"I. Capuzzo-Dolcetta","year":"1984","unstructured":"I. Capuzzo Dolcetta and L.C. Evans. Optimal switching for ordinary differential equations. SIAM J. Control and Optimization, vol. 22, no. 1, pp. 143\u2013161, January 1984.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1999343","volume":"277","author":"M. Crandall","year":"1983","unstructured":"M Crandall, P. Lions. Viscosity solutions of Hamilton-Jacobi equations. Trans. Amer. Math. Soc., vol. 277, no. 1, pp. 1\u201342, 1983.","journal-title":"Trans. Amer. Math. Soc."},{"key":"11_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6380-7","volume-title":"Deterministic and stochastic optimal control","author":"W.H. Fleming","year":"1975","unstructured":"W.H. Fleming, R.W. Rishel. Deterministic and stochastic optimal control. Springer-Verlag, New York, 1975."},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"Proc. STACS\u2019 95","author":"O. Maler","year":"1995","unstructured":"O. Maler, A Pnueli, J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. STACS\u2019 95, E.W. Mayr and C. Puech, eds. LNCS 900, Springer-Verlag, p. 229\u2013242, 1995."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1049\/cp:19940199","volume":"1","author":"J. Raisch","year":"1994","unstructured":"J. Raisch. Controllability and observability of simple hybrid control systems-FDLTI plants with symbolic measurements and quantized control inputs. International Conference on Control\u2019 94, IEE, vol. 1, pp. 595\u2013600, 1994.","journal-title":"International Conference on Control\u2019 94"},{"issue":"11-1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0895-7177(96)00064-7","volume":"23","author":"J. Stiver","year":"1996","unstructured":"J. Stiver, P. Antsaklis, M. Lemmon. A logical DES approach to the design of hybrid control systems. Mathemtical and computer modelling. vol. 23, no. 11-1, pp. 55\u201376, June, 1996.","journal-title":"Mathemtical and computer modelling"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/TAC.1966.1098336","volume":"11","author":"H.S. Witsenhausen","year":"1966","unstructured":"H.S. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Trans. AC, vol. 11, no. 2, pp. 161\u2013167, April, 1966.","journal-title":"IEEE Trans. AC"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. 36th IEEE Conference on Decision and Control, pp. 4607\u20134612, 1997.","DOI":"10.1109\/CDC.1997.649708"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T10:58:50Z","timestamp":1551005930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}