{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:44Z","timestamp":1725456224923},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020970","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"485-495","source":"Crossref","is-referenced-by-count":5,"title":["A data intensive computing approach to path planning and mode management for hybrid systems"],"prefix":"10.1007","author":[{"given":"S.","family":"Bailey","sequence":"first","affiliation":[]},{"given":"R. L.","family":"Grossman","sequence":"additional","affiliation":[]},{"given":"L.","family":"Gu","sequence":"additional","affiliation":[]},{"given":"D.","family":"Hanley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"39_CR1","series-title":"Lecture Notes in Computer Science, Volume 736","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T. A. Henzinger, and P-H. Ho, \u201cHybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems,\u201d in R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Volume 736, Springer-Verlag, New York, 1993, pp. 209\u2013229."},{"key":"39_CR2","volume-title":"Object Data Management","author":"R. G. G. Cattell","year":"1991","unstructured":"R. G. G. Cattell, Object Data Management, Addison-Wesley Publishing Company, Reading, Massachusetts, 1991."},{"key":"39_CR3","volume-title":"Implementing Persistent Object Bases: Principles and Practice","author":"A. Dearle","year":"1991","unstructured":"A. Dearle, G. M. Shaw, and S. B. Zdonik, Implementing Persistent Object Bases: Principles and Practice, Morgan Kaufmann, San Mateo, California, 1991."},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"R. Grossman, \u201cQuerying databases of trajectories of differential equations I: data structures for trajectories,\u201d Proceedings of the 23rd Hawaii International Conference on Systems Sciences, IEEE, 1990, pp. 18\u201323.","DOI":"10.1109\/HICSS.1990.205171"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"R. L. Grossman and R. G. Larson, \u201cViewing hybrid systems as products of control systems and automata,\u201d Proceedings of the 31st IEEE Conference on Decision and Control, IEEE Press, 1992, pp. 2953\u20132955.","DOI":"10.1109\/CDC.1992.371271"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"R. L. Grossman, D. Valsamis and X. Qin, \u201cPersistent stores and hybrid systems,\u201d Proceedings of the 32nd IEEE Conference on Decision and Control, IEEE Press, 1993, pp. 2298\u20132302.","DOI":"10.1109\/CDC.1993.325607"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science, Volume 736","volume-title":"Hybrid Systems","year":"1993","unstructured":"R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Volume 736, Springer-Verlag, New York, 1993."},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science, Volume 736","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-57318-6_36","volume-title":"Hybrid Systems","author":"R. L. Grossman","year":"1993","unstructured":"R. L. Grossman and R. L. Larson, \u201cSome Remarks About Flows in Hybrid Systems,\u201d in R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Volume 736, Springer-Verlag, New York, 1993, pp. 357\u2013365."},{"key":"39_CR9","unstructured":"R. L. Grossman, S. Mehta, and X. Qin, \u201cPath planning by querying persistent stores of trajectory segments,\u201d submitted for publication. Laboratory for Advanced Computing Technical Report, Number LAC93-R3, University of Illinois at Chicago, submitted for publication."},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"R. L. Grossman and X. Qin, \u201cPtool: a scalable persistent object manager,\u201d Proceedings of SIGMOD 94, ACM, 1994, page 510.","DOI":"10.1145\/191839.191965"},{"key":"39_CR11","unstructured":"R. L. Grossman, A. Nerode, and W. Kohn, \u201cNonlinear Systems, Automata, and Agents: Managing their Symbolic Data Using Light Weight Persistent Object Managers,\u201d International Symposium on Fifth Generation Computer Systems, 1994: Workshop on Heterogeneous Cooperative Knowledge-Bases, Kazumasa Yokota, editor, ICOT, pp. 65\u201374."},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"R. L. Grossman, D. Hanley, and X. Qin, \u201cPTool: A Light Weight Persistent Object Manager,\u201d Proceedings of SIGMOD 95, ACM, 1995.","DOI":"10.1145\/223784.223901"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"R. L. Grossman, N. Araujo, X. Qin, and W. Xu, \u201cManaging physical folios of objects between nodes,\u201d Persistent Object Systems (Proceedings of the Sixth International Workshop on Persistent Object Systems), M. P. Atkinson, V. Benzaken and D. Maier, editors, Springer-Verlag and British Computer Society, 1995.","DOI":"10.1007\/978-1-4471-2122-0_19"},{"key":"39_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(94)00146-A","volume":"138","author":"R. L. Grossman","year":"1995","unstructured":"R. L. Grossman and R. G. Larson, \u201cAn algebraic approach to hybrid systems,\u201d Journal of Theoretical Computer Science, Volume 138, pp. 101\u2013112, 1995.","journal-title":"Journal of Theoretical Computer Science"},{"key":"39_CR15","unstructured":"S. Bailey, R. L. Grossman, L. Gu, and D. Hanley, \u201cTwo Data Intensive Algorithms for Hybrid Systems,\u201d to appear."},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"J. Guckenheimer and A. Nerode, \u201cSimulation for hybrid systems and nonlinear control,\u201d Proceedings of the 31st IEEE Conference on Decision and Control, IEEE Press, 1992.","DOI":"10.1109\/CDC.1992.371267"},{"key":"39_CR17","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1109\/9.341802","volume":"40","author":"J. Guckenheimer","year":"1995","unstructured":"J. Guckenheimer, \u201cA Robust Hybrid Stabilization Strategy for Equilibria,\u201d IEEE Transactions on Automatic Control, Volume 40, pp. 321\u2013326, 1995.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science, Volume 736","first-page":"317","volume-title":"Hybrid Systems","author":"W. Kohn","year":"1993","unstructured":"W. Kohn and A. Nerode, \u201cModels for hybrid systems: Automata, topologies, controllability and observability,\u201d in R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Volume 736, Springer-Verlag, New York, 1993, pp. 317\u2013356."},{"key":"39_CR19","unstructured":"G. Meyer, \u201cDesign of Flight Vehicle Management Systems,\u201d to appear."},{"key":"39_CR20","unstructured":"G. Meyer, personal communication."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T12:19:51Z","timestamp":1549369191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0020970","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}