{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:17:05Z","timestamp":1725689825527},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_7","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T04:50:45Z","timestamp":1340772645000},"page":"94-107","source":"Crossref","is-referenced-by-count":0,"title":["Modeling the Supervisory Control Theory with Alloy"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Fraikin","sequence":"first","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":"7_CR1","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/9.376106","volume":"40","author":"M. Barbeau","year":"1995","unstructured":"Barbeau, M., Custeau, G., St-Denis, R.: An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Trans. Automat. Contr.\u00a040, 699\u2013703 (1995)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TSE.2005.23","volume":"31","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Noack, A., Lewerentz, C.: Efficient relational calculation for software analysis. IEEE Trans. Soft. Eng.\u00a031, 137\u2013149 (2005)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"2608","DOI":"10.1109\/TAC.2011.2128730","volume":"56","author":"H. Chakib","year":"2011","unstructured":"Chakib, H., Khoumsi, A.: Multi-decision supervisory control: parallel decentralized architectures cooperating for controlling discrete event systems. IEEE Trans. Automat. Contr.\u00a056, 2608\u20132622 (2011)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"7_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\u00f3rensson, N., Voronov, A., \u00c5kesson, K.: SAT-solving in practice, with a tutorial example from supervisory control. J.\u00a0Discrete Event Dynamic Systems: Theory and Appl.\u00a019, 495\u2013524 (2009)","journal-title":"J.\u00a0Discrete Event Dynamic Systems: Theory and Appl."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-24431-5_6","volume-title":"Formal Methods for Industrial Critical Systems","author":"D. C\u00f4t\u00e9","year":"2011","unstructured":"C\u00f4t\u00e9, D., Fraikin, B., Frappier, M., St-Denis, R.: A SAT-Based Approach for the Construction of Reusable Control System Components. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 52\u201367. Springer, Heidelberg (2011)"},{"key":"7_CR6","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. Sci. Comput. Program.\u00a013, 219\u2013236 (1990)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1016\/j.automatica.2010.04.002","volume":"46","author":"R.C. Hill","year":"2010","unstructured":"Hill, R.C., Cury, J.E.R., de Queiroz, M.H., Tilbury, D.M., Lafortune, S.: Multi-level hierarchical interface-based supervisory control. Automatica\u00a046, 1152\u20131164 (2010)","journal-title":"Automatica"},{"key":"7_CR8","unstructured":"Jackson, D.: Software Abstractions. MIT Press, Cambridge (2006)"},{"key":"7_CR9","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":"7_CR10","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1109\/TAC.2007.906158","volume":"52","author":"R. Kumar","year":"2007","unstructured":"Kumar, R., Takai, S.: Inference-based ambiguity management in decentralized decision-making: decentralized control of discrete event systems. IEEE Trans. Automat. Contr.\u00a052, 1783\u20131794 (2007)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"7_CR11","unstructured":"Li, Y.: Control of vector discrete-event systems. Ph.D. Thesis, Graduate Dept. of Electrical and Computer Engineering, University of Toronto, Toronto, Canada (1991)"},{"key":"7_CR12","series-title":"LNCIS","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. LNCIS, vol.\u00a0317. Springer, Heidelberg (2005)"},{"key":"7_CR13","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"7_CR14","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. Proc. of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proc. of the IEEE"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"1627","DOI":"10.1109\/TAC.2010.2046931","volume":"55","author":"R. Su","year":"2010","unstructured":"Su, R., van Schuppen, J.H., Rooda, J.E.: Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Trans. Automat. Contr.\u00a055, 1627\u20131640 (2010)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"7_CR16","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":"7_CR17","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. J.\u00a0Discrete Event Dynamic Systems: Theory and Appl.\u00a06, 241\u2013273 (1996)","journal-title":"J.\u00a0Discrete Event Dynamic Systems: Theory and Appl."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K.C. Wong","year":"2004","unstructured":"Wong, K.C., Wonham, W.M.: On the computation of observers in discrete-event systems. J.\u00a0Discrete Event Dynamic Systems: Theory and Appl.\u00a014, 55\u2013107 (2004)","journal-title":"J.\u00a0Discrete Event Dynamic Systems: Theory and Appl."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization\u00a025, 637\u2013659 (1987)","journal-title":"SIAM J. Control and Optimization"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:33:19Z","timestamp":1620113599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}