{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:26Z","timestamp":1745986706913,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299650"},{"type":"electronic","value":"9783642299667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-29966-7_11","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:45:21Z","timestamp":1357094721000},"page":"161-175","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory"],"prefix":"10.1007","author":[{"given":"Zhennan","family":"Fei","sequence":"first","affiliation":[]},{"given":"Sajed","family":"Miremadi","sequence":"additional","affiliation":[]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Heidelberg (2008)","edition":"2"},{"key":"11_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":"11_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10703-006-0023-0","volume":"30","author":"L. Feng","year":"2007","unstructured":"Feng, L., Wonham, W.M., Thiagarajan, P.S.: Designing Communicating Transaction Processes by Supervisory Control Theory. Formal Methods in System Design\u00a030, 117\u2013141 (2007)","journal-title":"Formal Methods in System Design"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Shoaei, M.R., Lennartson, B., Miremadi, S.: Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems. In: 6th IEEE Conference on Automation Science and Engineering, pp. 368\u2013373 (2010)","DOI":"10.1109\/COASE.2010.5584539"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S.B. Akers","year":"1978","unstructured":"Akers, S.B.: Binary Decision Diagrams. IEEE Transactions on Computers\u00a027, 509\u2013516 (1978)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys\u00a024, 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Miremadi, S., Akesson, K., Lennartson, B.: Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata. In: 9th International Workshop on Discrete Event Systems, pp. 193\u2013199 (2008)","DOI":"10.1109\/WODES.2008.4605944"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021, 666\u2013677 (1985)","journal-title":"Communications of the ACM"},{"key":"11_CR10","unstructured":"Shannon, C.E., Weaver, W.: The Mathematical Theory of Communication. University of Illinois Press (1949)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the Variable Ordering of OBDDs Is NP-Complete. IEEE Transactions on Computers\u00a045, 993\u20131002 (1996)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Aloul, F.A., Markov, I.L., Sakallah, K.A.: Force: A Fast and Easy-To-Implement Variable-Ordering Heuristic. In: 13th ACM Great Lakes symposium on VLSI, pp. 116\u2013119 (2003)","DOI":"10.1145\/764825.764839"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1016\/j.conengprac.2006.02.013","volume":"14","author":"A. Vahidi","year":"2006","unstructured":"Vahidi, A., Fabian, M., Lennartson, B.: Efficient Supervisory Synthesis of Large Systems. Control Engineering Practice\u00a014, 1157\u20131167 (2006)","journal-title":"Control Engineering Practice"},{"key":"11_CR14","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic Model Checking with Partitioned Transition Relations. In: International Conference on Very Large Scale Integration, vol.\u00a0A-1, pp. 49\u201358 (1991)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., Mcmillan, K.L., Dill, D.L.: Symbolic Model Checking for Sequential Circuit Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a013, 401\u2013424 (1994)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Byr\u00f6d, M., Lennartson, B., Vahidi, A., \u00c5kesson, K.: Efficient Reachability analysis on Modular Discrete-Event Systems using Binary Decision Diagrams. In: 8th International Workshop on Discrete Event Systems, pp. 288\u2013293 (2006)","DOI":"10.1109\/WODES.2006.1678444"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1613\/jair.301","volume":"4","author":"L.P. Kaelbling","year":"1996","unstructured":"Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement Learning: A Survey. Journal of Artificial Intelligence Research\u00a04, 237\u2013285 (1996)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Glover, F., Laguna, M.: Tabu Search. Journal of the Operational Research Society\u00a05 (1997)","DOI":"10.1007\/978-1-4615-6089-0"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"\u00c5kesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica \u2013 An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems. In: 8th International Workshop on Discrete Event Systems, pp. 384\u2013385 (2006)","DOI":"10.1109\/WODES.2006.382401"},{"key":"11_CR20","unstructured":"JavaBDD, http:\/\/javabdd.sourceforge.net"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1109\/9.53517","volume":"35","author":"L.E. Holloway","year":"1990","unstructured":"Holloway, L.E., Krogh, B.H.: Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets. IEEE Transactions on Automatic Control\u00a035, 514\u2013523 (1990)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Leduc, R.J.: Hierarchical Interface-Based Supervisory Control. In: 40th IEEE Conference on Decision and Control, pp. 4116\u20134121 (2002)","DOI":"10.1109\/CDC.2001.980825"},{"key":"11_CR23","unstructured":"Murray Wonham, W.: Notes on Control of Discrete Event Systems. University of Toronto (1999)"}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29966-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:19Z","timestamp":1745940799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29966-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642299650","9783642299667"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29966-7_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}