{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:36Z","timestamp":1725497196840},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009139"},{"type":"electronic","value":"9783540365808"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_11","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:13:36Z","timestamp":1197202416000},"page":"113-125","source":"Crossref","is-referenced-by-count":14,"title":["A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems"],"prefix":"10.1007","author":[{"given":"Richard J.","family":"Boulton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruth","family":"Hardy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ursula","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"R. Arthan, P. Caseley, C. O\u2019Halloran, and A. Smith. ClawZ: Control laws in Z. In Proc. 3rd IEEE International Conference on Formal Engineering Methods (ICFEM 2000), York, September 2000.","DOI":"10.1109\/ICFEM.2000.873817"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"M. J. C. Gordon. Mechanizing programming logics in higher order logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Veri fication and Automated Theorem Proving, pages 387\u2013439. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4612-3658-0_10"},{"issue":"10","key":"11_CR3","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580, 583, October 1969.","journal-title":"Communications of the ACM"},{"key":"11_CR4","unstructured":"The MathWorks. Simulink. http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"11_CR5","unstructured":"B. Mahony. The DOVE approach to the design of complex dynamic processes. In Proc. of the First International Workshop on Formalising Continuous Mathematics NASA conference publication NASA\/CP-2002-211736 pages 167\u2013187 August 2002"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"T. Nipkow. Hoare Logics in Isabelle\/HOL. In Proof and System-Reliability, pages 341\u2013367, Kluwer, 2002.","DOI":"10.1007\/978-94-010-0413-8_11"},{"key":"11_CR7","unstructured":"K. Ogata. Modern Control Engineering. Prentice-Hall, third edition, 1997."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"R. W. Pratt, editor. Flight Control Systems: Practical Issues in Design and Implementation,volume 57 of IEE Control Engineering Series. The Institution of Electrical Engineers, 2000. Copublished by The American Institute of Aeronautics and Astronautics.","DOI":"10.1049\/PBCE057E"},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_36","volume-title":"Proc. 5th International Workshop on Hybrid Systems: Computation and Control (HSCC 2002)","author":"A. Tiwari","year":"2002","unstructured":"A. Tiwari and G. Khanna. Series of abstractions for hybrid automata. In Proc. 5th International Workshop on Hybrid Systems: Computation and Control (HSCC 2002), volume 2289 of Lecture Notes in Computer Science, Springer, 2002."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"C. Gurr and K. Tourlas. Towards the principled design of software engineering diagrams. In Proc. 22nd International Conference on Software Engineering, pages 509\u2013520, ACM Press, 2000.","DOI":"10.1145\/337180.337371"}],"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-36580-X_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T20:15:52Z","timestamp":1557087352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}