{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:20:14Z","timestamp":1762521614506},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/tase.2013.2279692","type":"journal-article","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T18:05:04Z","timestamp":1379527504000},"page":"20-32","source":"Crossref","is-referenced-by-count":46,"title":["Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner"],"prefix":"10.1109","volume":"11","author":[{"given":"R. J. M.","family":"Theunissen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Petreczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. R. H.","family":"Schiffelers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. A.","family":"van Beek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. E.","family":"Rooda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_12"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1987.272773"},{"key":"ref31","author":"beohar","year":"2012","journal-title":"Refinement of communication and states in models of embedded systems"},{"key":"ref30","first-page":"5","article-title":"Desynchronizability of (partial) synchronous closed loop systems","volume":"21","author":"beohar","year":"2011","journal-title":"Scientific Annals of Computer Science"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678418"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758209"},{"key":"ref35","first-page":"1","article-title":"Control of input-output discrete-event systems","author":"petreczky","year":"2009","journal-title":"Proc Eur Control Conf"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.923820"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/37.482149"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2001.973907"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008166028381"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2003.813152"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(03)00056-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363064"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.10.013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0843-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2010.519732"},{"key":"ref19","first-page":"4647","article-title":"Supervisory control synthesis for a patient support system","author":"theunissen","year":"2009","journal-title":"Proc Eur Control Conf"},{"key":"ref28","article-title":"W3C SVG working group","year":"2011"},{"key":"ref4","first-page":"670","article-title":"Ramadge-Wonham supervisory control of mobile robots: Lessons from practice","volume":"1","author":"liu","year":"2002","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282159"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01516010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.833768"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.1995.526414"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAS.2007.4407031"},{"key":"ref2","author":"cassandras","year":"2007","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/70.481746"},{"key":"ref1","author":"wonham","year":"2012","journal-title":"Supervisory control of discrete-event systems"},{"key":"ref20","author":"theunissen","year":"2010","journal-title":"?Application of supervisory control synthesis to MRI Scanners Improving evolvability ?"},{"key":"ref22","first-page":"250","article-title":"New concepts in the abstract format of the compositional interchange format","author":"van beek","year":"2009","journal-title":"Proc IFAC Conf Analysis and Design of Hybrid Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2012.02.009"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.07.001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042342"},{"key":"ref26","first-page":"1","article-title":"Model-based engineering of supervisory controllers using CIF","volume":"21","author":"schiffelers","year":"2009","journal-title":"Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling"},{"key":"ref25","article-title":"CIF toolset","year":"2013"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/6701320\/06603361.pdf?arnumber=6603361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:31:55Z","timestamp":1642005115000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6603361\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":37,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tase.2013.2279692","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}