{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:29:22Z","timestamp":1762522162518,"version":"3.37.3"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/tcst.2018.2827329","type":"journal-article","created":{"date-parts":[[2018,4,27]],"date-time":"2018-04-27T18:41:04Z","timestamp":1524854464000},"page":"1659-1667","source":"Crossref","is-referenced-by-count":7,"title":["Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter"],"prefix":"10.1109","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5159-3027","authenticated-orcid":false,"given":"Romain","family":"Pichard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5229-9452","authenticated-orcid":false,"given":"Alexandre","family":"Philippot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8783-1509","authenticated-orcid":false,"given":"Ramla","family":"Saddem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1294-874X","authenticated-orcid":false,"given":"Bernard","family":"Riera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2028135"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/00207540410001705194"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927679"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.04.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2013.2239995"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283109"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2303134"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758209"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355436"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.638"},{"journal-title":"Programmable Logic Controller-Programming Language","year":"2013","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497835"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/87.748144"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00054"},{"key":"ref7","first-page":"187","article-title":"Algebraic synthesis of transition conditions of a state model","author":"hietter","year":"2008","journal-title":"Proc Workshop Discrete Event Syst (WODES)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2017.03.004"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.890281"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2544702"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2281733"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/726246"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2018.01.014"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3182\/20090630-4-ES-2003.00219"},{"journal-title":"Satisfiability Problem Theory and Applications","year":"1996","author":"du","key":"ref25"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/8734721\/08351970.pdf?arnumber=8351970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:42:44Z","timestamp":1657744964000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8351970\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":27,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2018.2827329","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"type":"print","value":"1063-6536"},{"type":"electronic","value":"1558-0865"},{"type":"electronic","value":"2374-0159"}],"subject":[],"published":{"date-parts":[[2019,7]]}}}