{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:14:54Z","timestamp":1725844494966},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_61","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"585-597","source":"Crossref","is-referenced-by-count":5,"title":["Logic and Control"],"prefix":"10.1007","author":[{"given":"Anil","family":"Nerode","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"61_CR1","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J.M. Davoren","year":"2000","unstructured":"Davoren, J.M., Nerode, A.: Logics for Hybrid Systems. Proceedings of the IEEE\u00a088(7), 985\u20131010 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"61_CR2","unstructured":"Hybrid control systems. Antsaklis, P.J., Nerode, A. (eds.) IEEE Transactions Automatic Control 43, no. 4. Institute of Electrical and Electronics Engineers, Inc (1998)"},{"key":"61_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","year":"1993","unstructured":"Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.): Hybrid Systems. LNCS, vol.\u00a0736. Springer, Heidelberg (1993)"},{"key":"61_CR4","series-title":"Lecture Notes in Computer Science","first-page":"28","volume-title":"Hybrid systems II. Papers from the Third Workshop held at Cornell University","year":"1995","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.): Hybrid systems II. Papers from the Third Workshop held at Cornell University. LNCS, vol.\u00a0999, pp. 28\u201330. Springer, Heidelberg (1995)"},{"key":"61_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems III","year":"1996","unstructured":"Alur, R., Sontag, E.D., Henzinger, T.A. (eds.): Hybrid Systems III. LNCS, vol.\u00a01066. Springer, Heidelberg (1996)"},{"key":"61_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems IV","year":"1997","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.): Hybrid Systems IV. LNCS, vol.\u00a01273. Springer, Heidelberg (1997)"},{"key":"61_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems V","year":"1999","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., Lemmon, M., Sastry, S. (eds.): Hybrid Systems V. LNCS, vol.\u00a01567. Springer, Heidelberg (1999)"},{"key":"61_CR8","first-page":"131","volume":"1","author":"W. Kohn","year":"1988","unstructured":"Kohn, W.: A Declarative Theory for Rational Controllers. Proceedings of the 27th IEEE Conference on Decision and Control\u00a01, 131\u2013136 (1988)","journal-title":"Proceedings of the 27th IEEE Conference on Decision and Control"},{"key":"61_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60472-3_15","volume-title":"Hybrid Systems II","author":"W. Kohn","year":"1995","unstructured":"Kohn, W., Brayman, V., Cholewinski, P., Nerode, A.: Hybrid systems as Finsler manifolds: finite state control as approximation to connections. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) Hybrid Systems II. LNCS, vol.\u00a0999, Springer, Heidelberg (1995)"},{"key":"61_CR10","unstructured":"Kohn, W., Brayman, V., Cholewinski, P., Nerode, A.: Control in Hybrid Systems, International Journal of Hybrid Systems 3 (2003)"},{"key":"61_CR11","unstructured":"Kohn, W., Brayman, V., Nerode, A.: Control Synthesis in Hybrid Systems with Finsler Dynamics, Houston Journal of Mathematics vol. 28(2), pp. 353\u2013375"},{"key":"61_CR12","unstructured":"Nerode, A.: Modeling Intelligent Control. In: Proc. DARPA Workshop on Software Tools for the Domain Specific Software Initiative, Pacifica, Ca (July 17-19, 1990)"},{"key":"61_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Models for hybrid systems: automata, topologies, controllability and observability, in Hybrid Systems","author":"W. Kohn","year":"1993","unstructured":"Kohn, W., Nerode, A.: Parallel Computer Architectures. LNCS, vol.\u00a0732. Springer, Heidelberg (1993)"},{"key":"61_CR14","unstructured":"Kohn, W., Nerode, A., Remmel, J.B.: Continualization: A Hybrid Systems Control Technique for Computing, In: Proceedings of CESA\u201996 IMACS Multiconference, vol 2. pp. 507\u2013511"},{"key":"61_CR15","unstructured":"Diaz, A.: Extraction of Finite State Controllers, AD and DA maps, and Associated Small Topologies for Measure Valued Control Laws International Journal of Hybrid Systems (September 2003)"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T05:19:51Z","timestamp":1550467191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}