{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:27Z","timestamp":1725487227126},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_18","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T09:40:50Z","timestamp":1183023650000},"page":"254-268","source":"Crossref","is-referenced-by-count":0,"title":["A Synthesis Algorithm for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Srikanth","family":"Gottipati","sequence":"first","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Dynamic Programming","author":"R. Bellman","year":"1957","unstructured":"Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.2307\/1989912","volume":"50","author":"J. Douglass","year":"1941","unstructured":"Douglass, J.: Solution of the inverse problem of the calculus of variations. Trans. Am. Math. Soc.\u00a050, 71\u2013128 (1941)","journal-title":"Trans. Am. Math. Soc."},{"key":"18_CR3","first-page":"137","volume":"100","author":"H. Helmholtz","year":"1957","unstructured":"Helmholtz, H.: \u00dcber die physikalische Bedeutung des Prinzips der kleinsten Wirkung. J. Reine Angew. Math.\u00a0100, 137\u2013166 (1957)","journal-title":"J. Reine Angew. Math."},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"L93","DOI":"10.1088\/0305-4470\/15\/3\/002","volume":"15","author":"M. Henneaux","year":"1957","unstructured":"Henneaux, M.: On the inverse problem of the calculus of variations, J. Phys. A: Math. Gen. 15, L93\u2013L96 (1957)","journal-title":"J. Phys. A: Math. Gen."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/BF01448077","volume":"50","author":"A. Hirsch","year":"1957","unstructured":"Hirsch, A.: Die Existenzbedingungen des verallgemeinerten kinetischen Potentials. Math. Ann.\u00a050, 429\u2013441 (1957)","journal-title":"Math. Ann."},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-60472-3_15","volume-title":"Hybrid Systems II","author":"W. Kohn","year":"1995","unstructured":"Kohn, W., Nerode, A., Remmel, J.: Hybrid systems as Finsler manifolds: finite state control as approximation to connections. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 294\u2013321. Springer, Heidelberg (1995)"},{"key":"18_CR7","unstructured":"Kohn, W., Brayman, V., Nerode, A.: Control synthesis in Hybrid systems with Finsler dynamics. Houston Journal of Mathematics 28(2) (2002)"},{"key":"18_CR8","unstructured":"Kohn, W., Brayman, V., Cholewinski, P., Nerode, A.: Control in Hybrid Systems. International Journal of Hybrid Systems 3(2-3) (2003)"},{"key":"18_CR9","volume-title":"Foundations of Finsler geometry and special Finsler spaces","author":"M. Matsumoto","year":"1986","unstructured":"Matsumoto, M.: Foundations of Finsler geometry and special Finsler spaces. Kaiseicha Press, Otsu (1986)"},{"key":"18_CR10","first-page":"519","volume":"84","author":"A. Mayer","year":"1957","unstructured":"Mayer, A.: Die Existenzbedingungen eines kinetischen potentiales. Berich. Verh. Konig. Sach. Gesell. wissen, Leipzig, Math. Phys, Kl.\u00a084, 519\u2013529 (1957)","journal-title":"Berich. Verh. Konig. Sach. Gesell. wissen, Leipzig, Math. Phys, Kl."},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","author":"A. Nerode","year":"1993","unstructured":"Nerode, A., Kohn, W.: Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, Springer, Heidelberg (1993)"},{"key":"18_CR12","volume-title":"The Mathematical Theory of Optimal Processes","author":"L.S. Pontryagin","year":"1962","unstructured":"Pontryagin, L.S., Boltyanskii, V.G., Gamkrelidze, R.V., Michenko, E.F.: The Mathematical Theory of Optimal Processes. Wiley Interscience, Hoboken (1962)"},{"key":"18_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-51610-8","volume-title":"The differential geometry of Finsler spaces","author":"H. Rund","year":"1959","unstructured":"Rund, H.: The differential geometry of Finsler spaces. Springer, Heidelberg (1959)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1088\/0305-4470\/15\/5\/013","volume":"15","author":"W. Sarlet","year":"1993","unstructured":"Sarlet, W.: The Helmholtz conditions revisited. A new approach to the inverse problem of Lagrangian dynamics. J. Phys. A: Math. Gen.\u00a015, 1503\u20131517 (1993)","journal-title":"J. Phys. A: Math. Gen."},{"key":"18_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9727-2","volume-title":"Differential Geometry of Spray and Finsler Spaces","author":"Z. Shen","year":"2001","unstructured":"Shen, Z.: Differential Geometry of Spray and Finsler Spaces. Kluwer Academic Publishers, Dordrecht (2001)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:04:45Z","timestamp":1605762285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}