{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:13Z","timestamp":1725664693236},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:40:30Z","timestamp":1330270830000},"page":"391-404","source":"Crossref","is-referenced-by-count":4,"title":["Hybrid control of a robot \u2014 a case study"],"prefix":"10.1007","author":[{"given":"Anders P.","family":"Ravn","sequence":"first","affiliation":[]},{"given":"Hans","family":"Rischel","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Holdgaard","sequence":"additional","affiliation":[]},{"given":"Thomas J.","family":"Eriksen","sequence":"additional","affiliation":[]},{"given":"Finn","family":"Conrad","sequence":"additional","affiliation":[]},{"given":"Torben O.","family":"Andersen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"P. J. Antsaklis, J. A. Stiver, and M. Lemmon. Hybrid systems modeling and autonomous control systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 366\u2013392, 1993.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"A. Back, J. Guckenheimer, and M. Myers. A dynamical simulation facility for hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 255\u2013267, 1993.","DOI":"10.1007\/3-540-57318-6_32"},{"key":"20_CR3","unstructured":"F. Conrad et al. On mechanical design and digital adaptive control of the fast tud-hydralic test robot manipulator. In ASME WAM'91, volume 91-WA-FPST-9. American Society of Mechanical Engineering, 1991."},{"key":"20_CR4","unstructured":"F. Conrad et al. Transputer control of hydralic actuators and robots. IEEE Trans. on Industrial Electronics, October 1995."},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Jifeng He, C. A. R. Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.-R. Olderog, M. Schenke, M. R. Hansen, A. P. Ravn, and H. Rischel. Provably correct systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 288\u2013335, 1994.","DOI":"10.1007\/3-540-58468-4_171"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. Holdgaard, T. J. Eriksen, and A. P. Ravn. A distributed implementation of a mode switching control program. In Proceedings of 7th Euromicro Workshop on Real-Time Systems. IEEE Computer Society Press, 1995.","DOI":"10.1109\/EMWRTS.1995.514307"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"M. Lemmon, J. A. Stiver, and P. J. Antsaklis. Event identification and intelligent hybrid control. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 268\u2013296, 1993.","DOI":"10.1007\/3-540-57318-6_33"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, volume 600 of LNCS, pages 447\u2013484, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Z Manna and A. Pnueli. Verifying hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 4\u201335, 1993.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"S. Nadjm-Tehrani and J.-E. Str\u00f6mberg. From physical modelling to compositional models of hybrid systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 583\u2013604, 1994.","DOI":"10.1007\/3-540-58468-4_185"},{"key":"20_CR12","volume-title":"PhD thesis","author":"S. Nadjm-Tehrani","year":"1994","unstructured":"Simin Nadjm-Tehrani. Reactive Systems in Physical Environments. PhD thesis, Dept. Comp. and Inf. Science, Link\u00f6ping University, Sweden, May 1994. Link\u00f6ping Studies in Science and Technology, Dissertation no. 338."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 317\u2013356, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Multiple agent hybrid control architectures. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 297\u2013316, 1993.","DOI":"10.1007\/3-540-57318-6_34"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"R. Pich\u00e9, S. Pohjolainen, and T. Virvalo. Design of robust controllers for position servos using H \u221e theory. Journal of Systems and Control Engineering, 205, 1991.","DOI":"10.1243\/PIME_PROC_1991_205_345_02"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Development of hybrid systems (extended abstract). In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 77\u201385, 1994.","DOI":"10.1007\/3-540-58468-4_160"},{"key":"20_CR17","unstructured":"A. P. Ravn and H. Rischel. Requirements capture for embedded real-time systems. In Proc. IMACS-MCTS'91 Symp. on Modelling and Control of Technological Systems, volume 2, pages 147\u2013152. IMACS, May 1991."},{"issue":"1","key":"20_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A. P. Ravn","year":"1993","unstructured":"A. P. Ravn, H. Rischel, and K. M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Trans. Software Engineering, 19(1):41\u201355, January 1993.","journal-title":"IEEE Trans. Software Engineering"},{"key":"20_CR19","series-title":"Link\u00f6ping Studies in Science and Technology, Dissertation no. 353","volume-title":"PhD thesis","author":"J. Str\u00f6mberg","year":"1994","unstructured":"Jan-Erik Str\u00f6mberg. A mode switching modelling philosophy. PhD thesis, Dept. El. Eng., Automatic Control Group, Link\u00f6ping University, Sweden, October 1994. Link\u00f6ping Studies in Science and Technology, Dissertation no. 353."},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Xinyao Yu, Ji Wang, Chaochen Zhou, and P. K. Pandya. Formal design of hybrid systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 738\u2013755, 1994.","DOI":"10.1007\/3-540-58468-4_193"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A. P. Ravn, and M. R. Hansen. An extended Duration Calculus for hybrid real-time systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 36\u201359, 1993.","DOI":"10.1007\/3-540-57318-6_23"}],"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_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:59:34Z","timestamp":1605628774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}