{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T06:10:03Z","timestamp":1741500603842,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244308"},{"type":"electronic","value":"9783642244315"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24431-5_6","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T02:29:46Z","timestamp":1314152986000},"page":"52-67","source":"Crossref","is-referenced-by-count":1,"title":["A SAT-Based Approach for the Construction of Reusable Control System Components"],"prefix":"10.1007","author":[{"given":"Daniel","family":"C\u00f4t\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Fraikin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"St-Denis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica\u2014an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings of 8th International Workshop on Discrete Event Systems, pp. 384\u2013385 (2006)","DOI":"10.1109\/WODES.2006.382401"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1006\/jagm.1997.0877","volume":"25","author":"M. Barbeau","year":"1997","unstructured":"Barbeau, M., Kabanza, F., St-Denis, R.: An efficient algorithm for controller synthesis under full observation. Journal of Algorithms\u00a025, 144\u2013161 (1997)","journal-title":"Journal of Algorithms"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"Balemi, S., Hoffmann, G.J., Gyugyi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control\u00a038, 1040\u20131059 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s10626-009-0081-8","volume":"19","author":"K. Claessen","year":"2009","unstructured":"Claessen, K., Een, N., Sheeran, M., S\u00f6rensson, N., Voronov, A., \u00c5kesson, K.: SAT-solving in practice, with a tutorial example from supervisory control. Discrete Event Dynamic Systems: Theory and Applications\u00a019, 495\u2013524 (2009)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"6_CR5","unstructured":"C\u00f4t\u00e9, D.: Conception par composantes de contr\u00f4leurs d\u2019usines modulaires utilisant la th\u00e9orie du contr\u00f4le supervis\u00e9. Ph.D. thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, submitted (2011)"},{"key":"6_CR6","unstructured":"C\u00f4t\u00e9, D., Embe Jiague, M., St-Denis, R.: Systems-theoretic view of component-based software development. In: Pre-proceedings of 7th International Workshop on Formal Aspects of Component Software, pp. 65\u201382 (2010) (to appear in Lecture Notes in Computer Science)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"J.-C. Fernandez","year":"1990","unstructured":"Fernandez, J.-C.: An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming\u00a013, 219\u2013236 (1990)","journal-title":"Science of Computer Programming"},{"key":"6_CR8","unstructured":"FESTO: Sorting Station\u2014Modular Production System. Festo Didactic GmbH & Co., Denkendorf (1998)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-40903-8_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B. Gebremichael","year":"2004","unstructured":"Gebremichael, B., Vaandrager, F.: Control synthesis for a smart card personalization system using symbolic model checking. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 189\u2013203. Springer, Heidelberg (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Gromyko, A., Pistore, M., Traverso, P.: A tool for controller synthesis via symbolic model checking. In: Proceedings of 8th International Workshop on Discrete Event Systems, pp. 475\u2013476 (2006)","DOI":"10.1109\/WODES.2006.382523"},{"key":"6_CR11","volume-title":"Software Abstractions","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions. MIT Press, Cambridge (2006)"},{"key":"6_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1995","unstructured":"Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston (1995)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"R.J. Leduc","year":"2005","unstructured":"Leduc, R.J., Lawford, M., Wonham, W.M.: Hierarchical interface-based supervisory control\u2014part II: parallel case. IEEE Transactions on Automatic Control\u00a050, 1336\u20131348 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR14","series-title":"Lecture Notes in Control and Information Sciences","volume-title":"Nonblocking Supervisory Control of State Tree Structures","author":"C. Ma","year":"2005","unstructured":"Ma, C., Wonham, W.M.: Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Sciences, vol.\u00a0317. Springer, Heidelberg (2005)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Song, R., Leduc, R.J.: Symbolic synthesis and verification of hierarchical interface-based supervisory control. In: Proceedings of 8th International Workshop on Discrete Event Systems, pp. 419\u2013426 (2006)","DOI":"10.1109\/WODES.2006.382510"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"K.C. Wong","year":"1996","unstructured":"Wong, K.C., Wonham, W.M.: Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a06, 241\u2013273 (1996)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K.C. Wong","year":"1996","unstructured":"Wong, K.C., Wonham, W.M.: On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a014, 55\u2013107 (1996)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-1-4757-6656-1_5","volume-title":"Synthesis and Control of Discrete Event Systems","author":"Z. Zhang","year":"2002","unstructured":"Zhang, Z., Wonham, W.M.: STCT: an efficient algorithm for supervisory control design. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 77\u2013102. Kluwer Academic Publishers, The Netherlands (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24431-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T05:57:48Z","timestamp":1741499868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24431-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244308","9783642244315"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24431-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}