{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:00:29Z","timestamp":1729630829206,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/cdc.2008.4739247","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T17:57:15Z","timestamp":1232474235000},"page":"4024-4029","source":"Crossref","is-referenced-by-count":9,"title":["Control software model checking using bisimulation functions for nonlinear systems"],"prefix":"10.1109","author":[{"given":"James","family":"Kapinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Donze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Lerda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitashyam","family":"Maka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silke","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1142\/5442","article-title":"stability of stationary sets in control systems with discontinuous nonlinearities","volume":"14","author":"yakubovich","year":"2004","journal-title":"Series on Stability Vibration and Control of Systems Series A"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582235"},{"journal-title":"SOS-TOOLS Sum of squares optimization toolbox for Matlab","year":"2004","author":"prajna","key":"7"},{"year":"2000","author":"parrilo","key":"6"},{"key":"5","article-title":"yalmip : a toolbox for modeling and optimization in matlab","author":"lo?fberg","year":"2004","journal-title":"Proceedings of the CACSD Conference"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78929-1_25","article-title":"verification of supervisory control software using state proximity and merging","author":"lerda","year":"2008","journal-title":"Proc of the 11th International Workshop on Hybrid Systems Computation and Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"}],"event":{"name":"2008 47th IEEE Conference on Decision and Control","start":{"date-parts":[[2008,12,9]]},"location":"Cancun, Mexico","end":{"date-parts":[[2008,12,11]]}},"container-title":["2008 47th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4721212\/4738560\/04739247.pdf?arnumber=4739247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:50:26Z","timestamp":1602690626000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4739247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cdc.2008.4739247","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}