{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:17:46Z","timestamp":1729671466197,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/ecc.2014.6862231","type":"proceedings-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T12:08:34Z","timestamp":1406722114000},"page":"2310-2315","source":"Crossref","is-referenced-by-count":3,"title":["Application of contract-based verification techniques for hybrid automata to surgical robotic systems"],"prefix":"10.1109","author":[{"given":"Luzie","family":"Schreiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Bresolin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Capiluppi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joerg","family":"Raczkowsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Fiorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz","family":"Woern","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/978-3-642-02658-4_17"},{"key":"16","first-page":"379","article-title":"Space ex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc of CAV 2011"},{"key":"13","article-title":"Modeling and verification of a robotic surgical system using hybrid input\/output automata","author":"capiluppi","year":"2013","journal-title":"Proceedings of the 12th Biannual European Control Conference"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.4204\/EPTCS.119.9"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/SEAA.2012.68"},{"key":"12","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1002\/rnc.2914","article-title":"Assume-guarantee verification of nonlinear hybrid systems with Ariadne","volume":"24","author":"benvenuti","year":"2014","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"3","article-title":"Trace theory for automatic hierarchical verification of speed-independent circuits, ser","author":"dill","year":"1989","journal-title":"ACM Distinguished Dissertations"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/2.161279"},{"key":"1","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-540-69507-3_24","article-title":"An approach to modelling and verification of component based systems","author":"gossler","year":"2007","journal-title":"SOFSEM 2007 Theory and Practice of Computer Science"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"7","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2008","journal-title":"Formal Methods for Components and Objects"},{"key":"6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-540-78929-1_5","article-title":"Contract-based design for computation and verification of a close dloop hybrid system","author":"benvenuti","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"5","first-page":"199","article-title":"Process spaces","author":"negulescu","year":"2000","journal-title":"Proceedings of the 11th International Conference on Concurrency Theory Ser CONCUR '00"},{"key":"4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503271.503226","article-title":"Interface automata","volume":"26","author":"de alfaro","year":"2001","journal-title":"SIGSOFT Softw Eng Notes"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/MRA.2011.942112"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/0304-3975(94)00202-T"}],"event":{"name":"2014 European Control Conference (ECC)","start":{"date-parts":[[2014,6,24]]},"location":"Strasbourg, France","end":{"date-parts":[[2014,6,27]]}},"container-title":["2014 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851788\/6862131\/06862231.pdf?arnumber=6862231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T06:47:04Z","timestamp":1565678824000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6862231\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ecc.2014.6862231","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}