{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T11:44:32Z","timestamp":1746272672145,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1583514","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T10:20:03Z","timestamp":1159957203000},"page":"8349-8354","source":"Crossref","is-referenced-by-count":9,"title":["Unified Modeling and Verification of Logic Controllers for Physical Systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Bonfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Fantuzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Secchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"journal-title":"Analysis and Design of Engineering Systems","year":"1961","author":"paynter","key":"2"},{"key":"10","first-page":"163","article-title":"A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem","volume":"1567","author":"kowalewski","year":"1999","journal-title":"ser LNCS"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1999.776401"},{"key":"6","article-title":"Using UML for complex real-time systems","author":"selic","year":"0","journal-title":"IBM Rational Software Ltd"},{"key":"5","first-page":"237","article-title":"Modeling and verifying hybrid dynamic systems using CheckMate","author":"silva","year":"2000","journal-title":"Proc 4th Int Conf on Automation of Mixed Processes ADPM"},{"key":"4","first-page":"351","article-title":"Hamiltonian formulation of bond graphs","author":"golo","year":"2003","journal-title":"Nonlinear and Hybrid Systems in Automotive Control"},{"article-title":"Hybrid system verification using discrete model approximation","year":"1999","author":"chutinan","key":"9"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0507-7","article-title":"L2-Gain and Passivity Techniques in Nonlinear Control","author":"van der schaft","year":"2000","journal-title":"ser Communication and Control Engineering"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01583514.pdf?arnumber=1583514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T05:51:59Z","timestamp":1497678719000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1583514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1583514","relation":{},"subject":[]}}