{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:51Z","timestamp":1725487131023},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433217"},{"type":"electronic","value":"9783540458739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45873-5_24","type":"book-chapter","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:15:58Z","timestamp":1182968158000},"page":"294-307","source":"Crossref","is-referenced-by-count":4,"title":["Qualitative Modeling and Heterogeneous Control of Global System Behavior"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Kuipers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subramanian","family":"Ramamoorthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"24_CR1","volume-title":"Multiple Model Approaches to Modelling and Control","author":"R. Murray-Smith","year":"1997","unstructured":"Murray-Smith, R., Johansen, T.A.: Multiple Model Approaches to Modelling and Control. Taylor and Francis, UK (1997)"},{"key":"24_CR2","volume-title":"Qualitative Reasoning:Modeling and Simulation with Incomplete Knowledge","author":"B.J. Kuipers","year":"1994","unstructured":"Kuipers, B.J.: Qualitative Reasoning:Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge, MA (1994)"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0004-3702(96)00050-1","volume":"92","author":"B. Shults","year":"1997","unstructured":"Shults, B., Kuipers, B.: Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92 (1997) 91\u2013129","journal-title":"Artificial Intelligence"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3\u201334","journal-title":"Theoretical Computer Science"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Varaiya, P.: A question about hierarchical systems. In Djaferis, T., Schick, I., eds.: System Theory: Modeling, Analysis and Control. Kluwer (2000)","DOI":"10.1007\/978-1-4615-5223-9_23"},{"key":"24_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1140-2","volume-title":"Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields","author":"J. Guckenheimer","year":"1983","unstructured":"Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, Berlin (1983)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Kuipers, B.: Qualitative simulation. Artificial Intelligence 29 (1986) 289\u2013338","journal-title":"Artificial Intelligence"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0005-1098(94)90027-2","volume":"30","author":"B.J. Kuipers","year":"1994","unstructured":"Kuipers, B.J., \u00c5str\u00f6m, K.: The composition and validation of heterogeneous control laws. Automatica 30 (1994) 233\u2013249","journal-title":"Automatica"},{"key":"24_CR9","unstructured":"Slotine, J.J., Li, W.: Applied Nonlinear Control. Prentice Hall, Englewood Cliffs NJ (1991)"},{"key":"24_CR10","unstructured":"Friedland, B.: Advanced Control System Design. Prentice-Hall (1996)"}],"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-45873-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T13:20:05Z","timestamp":1550409605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45873-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433217","9783540458739"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45873-5_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}