{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:04:54Z","timestamp":1725908694175},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319608334"},{"type":"electronic","value":"9783319608341"}],"license":[{"start":{"date-parts":[[2017,8,18]],"date-time":"2017-08-18T00:00:00Z","timestamp":1503014400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-60834-1_3","type":"book-chapter","created":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T06:43:54Z","timestamp":1502952234000},"page":"18-27","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System"],"prefix":"10.1007","author":[{"given":"Yassine","family":"Qamsane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Tajer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Philippot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelhadi","family":"Elbacha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,18]]},"reference":[{"key":"3_CR1","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2009","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer Science & Business Media, New York (2009)","edition":"2"},{"issue":"1","key":"3_CR2","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"3_CR3","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"2006","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing, Co., Boston (2006)","edition":"3"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"issue":"9","key":"3_CR5","doi-asserted-by":"crossref","first-page":"2003","DOI":"10.1109\/TAC.2010.2042988","volume":"55","author":"S Xu","year":"2010","unstructured":"Xu, S., Kumar, R.: Real-time control of dense-time systems using digital-clocks. IEEE Trans. Autom. Control 55(9), 2003\u20132013 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin, B.A., Wonham, W.M.: Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 39(2), 329\u2013342 (1994)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"3_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10626-014-0208-4","volume":"26","author":"R Zhang","year":"2014","unstructured":"Zhang, R., Cai, K., Gan, Y., Wonham, W.M.: Distributed supervisory control of discrete-event systems with communication delay. Discrete Event Dyn. Syst. 26(2), 263\u2013293 (2014)","journal-title":"Discrete Event Dyn. Syst."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Qamsane, Y., Tajer, A., Philippot, A.: Synthesis and implementation of distributed control for a flexible manufacturing system. In: 2nd World Conference on Complex Systems (WCCS), pp. 323\u2013329. IEEE (2014)","DOI":"10.1109\/ICoCS.2014.7060960"},{"issue":"15","key":"3_CR9","doi-asserted-by":"crossref","first-page":"4283","DOI":"10.1080\/00207543.2016.1235804","volume":"55","author":"Y Qamsane","year":"2017","unstructured":"Qamsane, Y., Tajer, A., Philippot, A.: A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation. Int. J. Prod. Res. 55(15), 4283\u20134303 (2017)","journal-title":"Int. J. Prod. Res."},{"key":"3_CR10","unstructured":"IEC Standard 60848.: Grafcet Specification Language for Sequential Function Charts. International Electrotechnical Commission (2013)"},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1504\/IJSCC.2013.058175","volume":"5","author":"A Tajer","year":"2013","unstructured":"Tajer, A., Philippot, A., Carr-Mntrier, V.: Centralized controller for manufacturing systems through liveness extraction approach. Int. J. Syst. Control Commun. 5(3), 189\u2013213 (2013)","journal-title":"Int. J. Syst. Control Commun."}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of the Third International Afro-European Conference for Industrial Advancement \u2014 AECIA 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60834-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T06:45:07Z","timestamp":1502952307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60834-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,18]]},"ISBN":["9783319608334","9783319608341"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60834-1_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,8,18]]}}}