{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:20:44Z","timestamp":1755998444461,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1272635","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"634-639","source":"Crossref","is-referenced-by-count":10,"title":["Finite bisimulations of controllable linear systems"],"prefix":"10.1109","volume":"1","author":[{"given":"P.","family":"Tabuada","sequence":"first","affiliation":[]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"Model checking LTL over controllable linear systems is decidable","volume":"2623","author":"tabuada","year":"2003","journal-title":"Hybrid Systems Computation and Control Volume 2623 of Lecture Notes in Computer Sience"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.981057"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.593"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271664"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"11"},{"key":"12","article-title":"Robust controller synthesis for hybrid systems using modal logic","volume":"2034","author":"moor","year":"2001","journal-title":"Hybrid Systems Computation and Control Volume 2034 of Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","article-title":"Control of systems integrating logic, dynamics and constraints","volume":"35","author":"bemporad","year":"1999","journal-title":"Automatica"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/9.664159"},{"key":"6","first-page":"173","article-title":"A classification of linear controllable systems","volume":"6","author":"brunovsky","year":"1970","journal-title":"Kybernetika"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90098-9"},{"key":"4","first-page":"61","article-title":"A geometric approach to bisimulation and verification of hybrid systems","volume":"1569","author":"broucke","year":"1999","journal-title":"Hybrid Systems Computation and Control Volume 1569 of Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"8","first-page":"261","article-title":"Control of piecewise-linear hybrid systems on simplices and rectangles","volume":"2034","author":"habets","year":"2001","journal-title":"Hybrid Systems Computation and Control Volume 2034 of Lecture Notes in Computer Sience"}],"event":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","acronym":"CDC-03","location":"Maui, Hawaii, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28478\/01272635.pdf?arnumber=1272635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:40:29Z","timestamp":1497588029000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1272635\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1272635","relation":{},"subject":[]}}