{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:17Z","timestamp":1725664697724},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:35Z","timestamp":1330288835000},"page":"493-508","source":"Crossref","is-referenced-by-count":2,"title":["Hybrid objects"],"prefix":"10.1007","author":[{"given":"Michael","family":"Tittus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Egardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Theory of Hybrid Systems, Lect. N. in Comp. Sci. 736, pages 209\u2013229. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"issue":"9","key":"25_CR2","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and realtime systems. Proceedings of the IEEE, 79(9):1270\u20131282, Sep. 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"5","key":"25_CR3","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the SIGNAL language. IEEE Transactions on Automatic Control, 35(5):535\u2013546, 1990.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"R.W. Brockett. Hybrid models for motion control systems. In H.L. Trentelman and J.C. Willems, editors, Essays on Control: Perspectives in the Theory and its Applications, chapter 2, pages 29\u201353. Birkh\u00e4user, 1993.","DOI":"10.1007\/978-1-4612-0313-1_2"},{"key":"25_CR5","unstructured":"J. Le Bail, H. Alla, and R. David. Hybrid petri nets. In European Control Conference, pages 1472\u20131477, Grenoble, France, 1991."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 1992.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"J.A. Stiver and P.J. Antsaklis. Modeling and analysis of hybrid control systems. In Proc. of the 31st CDC, pages 3748\u20133751, Tucson, Arizona, 1992.","DOI":"10.1109\/CDC.1992.371184"},{"key":"25_CR8","unstructured":"J.-E. Str\u00f6mberg, J. Top, and U. S\u00f6derman. Modelling mode switching in dynamical systems. In J.W. Nieuwenhuis, C. Praagman, and H.L. Trentelman, editors, Proc. of the 2nd ECC '93, pages 848\u2013853, Groningen, The Netherlands, 1993."},{"key":"25_CR9","unstructured":"M. Tittus and B. Egardt. An object-oriented approach for control-system design. In 1st Int. Conf. on Intelligent Systems Engineering, pages 135\u2013140, Edinburgh, UK, 1992."},{"key":"25_CR10","volume-title":"Technical Report CTH\/RT\/R-94\/010","author":"M. Tittus","year":"1994","unstructured":"M. Tittus and B. Egardt. Control design for linear hybrid systems. Technical Report CTH\/RT\/R-94\/010, Contr. Eng. Lab, Chalmers Univ. of Techn., Gothenburg, Sweden, 1994. Submitted to IEEE TAC."},{"key":"25_CR11","first-page":"377","volume-title":"Lect. N. in Contr. and Inf. Sci. 199","author":"M. Tittus","year":"1994","unstructured":"M. Tittus and B. Egardt. Controllability and control-law synthesis of linear hybrid systems. In G. Cohen and J.-P. Quadrat, editors, 11th Int. Conf. on Analysis and Optimization of Systems, Lect. N. in Contr. and Inf. Sci. 199, pages 377\u2013383. Springer Verlag, Sophia-Antipolis, France, 1994."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"M. Tittus, M. Fabian, and B. Lennartson. Controlling and coordinating recipes in batch applications. Submitted to 34th CDC, New Orleans, USA, 1995.","DOI":"10.1109\/CDC.1995.478464"},{"key":"25_CR13","volume-title":"Technical Report CTH\/RT\/R-93\/0013","author":"M. Tittus","year":"1993","unstructured":"M. Tittus. An algorithm for the generation of control laws for linear hybrid systems. Technical Report CTH\/RT\/R-93\/0013, Contr. Eng. Lab, Chalmers Univ. of Techn., Gothenburg, Sweden, 1993."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:36Z","timestamp":1605646776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}