{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:53Z","timestamp":1725456233380},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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\/bfb0020954","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"294-303","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification of stability in hybrid control systems"],"prefix":"10.1007","author":[{"given":"Wang","family":"Ji","sequence":"first","affiliation":[]},{"given":"He","family":"Weidong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis and T.A. Henzinger: Hybrid Automata: An Algorithm Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 209\u2013229, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur,C. Courcoubetis, T.A. Henzinger and etc.: The Algorithmic Analysis of Hybrid Systems, In Theoretical Computer Science, Vol.138, pp 3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"23_CR3","unstructured":"Karl Johan \u00c5str\u00f6m and Bj\u00f6rn Wittenmark: Adaptive Contol, Addison-Wesley Publishing Company, 1989."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"M.S. Branicky: Stability of Switched and Hybrid Systems. In Proc. 33rd IEEE Conf. Decision Control, Lake Buena Vista, FL, Dec. 14\u201316, 1994.","DOI":"10.1109\/CDC.1994.411688"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"A. Back, J. Guckenheimer and M. Myers: A Dynamical Simulation Facility for Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 255\u2013267, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_32"},{"key":"23_CR6","unstructured":"Richard C. Dorf: Modern Control Systems, Fifth Edition, Addison-Wesley Publishing Company, 1989."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"He Jifeng and J. Bowen: Time Interval Semantics and Implementation of A Real-Time Programming Language. In Proc. 4th Euromicro Workshop on Real Time Systems, IEEE Press, June 1992.","DOI":"10.1109\/EMWRT.1992.637480"},{"key":"23_CR8","unstructured":"He Weidong: Design of Stability in Hybrid Control Systems. UNU\/IIST Report No. 45, March 1995. To appear in IFAC 95 Workshop on Artificial Intelligence Real Time Control, 1995"},{"key":"23_CR9","unstructured":"B.C. Kuo: Automatic Control Systems (sixth edition), Prentice-Hall International Inc., 1991."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"W. Kohn, A.Nerode, J.B. Remmel and A. Yaknis: Viability in Hybrid Systems. In Theoretical Computer Science special issue on hybrid systems, edited by: A. Pnueli and J. Sifakis. Vol. 138, pp. 141\u2013168. Feb. 1995.","DOI":"10.1016\/0304-3975(94)00150-H"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli: Verifying Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 4\u201335, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00e6k: Liveness and Fairness in Duration Calculus. In CONCUR'94: Concurrency Theory, LNCS 836, B. Jonsson and J. Parrow(Editors), pp. 283\u2013298, 1994.","DOI":"10.1007\/BFb0015015"},{"key":"23_CR13","unstructured":"B.H. Widjaja, Chen Zongji, He Weidong and Zhou Chaochen: A Cooperative Design for Hybrid Control System. UNU\/IIST Report No.36, 1995."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Yu Xinyao, Wang Ji, Zhou Chaochen and P.K. Pandya: Formal Design of Hybrid Systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 738\u2013755, Sept. 1994.","DOI":"10.1007\/3-540-58468-4_193"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen: Duration Calculi: An Overview. In the Proceedings of Formal Methods in Programming and Their Applications, LNCS 735, D. Bj\u00f8rner, M. Broy and I.V. Pottosin (Editors), pp. 256\u2013266, July 1993.","DOI":"10.1007\/BFb0039713"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Dang Van Hung and Li Xiaoshan: Duration Calculus with Infinite Intervals, UNU\/IIST Report No. 40, 1994.","DOI":"10.1007\/3-540-60249-6_39"},{"issue":"No.5","key":"23_CR17","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare and A.P. Ravn: A Calculus of Durations. In Information Processing Letters, Vol. 40, No. 5, pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"23_CR18","unstructured":"Zhou Chaochen and Li Xiaoshan: A Mean Value Calculus of Durations. In A Classical Mind (Essays in Honour of C.A.R. Hoare), A.W.Roscoe (Editor), Prentice-Hall, pp. 431\u2013451,1994."},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn and M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. In Hybrid Systems, LNCS 736, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Editors), pp. 36\u201359, 1993.","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:45:42Z","timestamp":1683301542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020954"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0020954","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}