Symbolic computation of reduced guards in supervisory control

IEEE Transactions on Automation Science and Engineering

Volumn 8, Issue 4, 2011, Pages 754-765

  Miremadi, Sajed ^a   Åkesson, Knut ^a   Lennartson, Bengt ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Binary decision diagrams; deterministic finite automata; heuristic techniques; propositional formula; supervisory control theory (SCT); symbolic representation

Indexed keywords

DETERMINISTIC FINITE AUTOMATA; HEURISTIC TECHNIQUES; PROPOSITIONAL FORMULAS; SUPERVISORY CONTROL THEORY; SYMBOLIC REPRESENTATION;

AUTOMATA THEORY; CONTROL THEORY; HEURISTIC METHODS; INDUSTRIAL APPLICATIONS; SPECIFICATIONS; SUPERVISORY PERSONNEL;

BINARY DECISION DIAGRAMS;

EID: 80053640889     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2011.2146249     Document Type: Article

References (36)

1. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems, " Proc. IEEE, vol. 77, no. 1, pp. 81-89, 1989.
2. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor, " IEEE Trans. Autom. Control, vol. 38, no. 7, pp. 1040-1059, 1993. (Pubitemid 23712137)
3. L. Feng, W. M. Wonham, and P. S. Thiagarajan, "Designing communicating transaction processes by supervisory control theory, " Form. Methods Syst. Des., vol. 30, no. 2, pp. 117-141, 2007. (Pubitemid 46375332)
4. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Coordination of operations by relation extraction for manufacturing cell controllers, " IEEE Trans. Control Syst. Technol., vol. 18, no. 2, pp. 414-429, 2010.
5. S. B. Akers, "Binary decision diagrams, " IEEE Trans. Comput., vol. 27, pp. 509-516, Jun. 1978.
6. A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems, " Control Eng. Practice, vol. 14, no. 10, pp. 1157-1167, Oct. 2006. (Pubitemid 43842700)
7. J. Gunnarsson, "Symbolic methods and tools for discrete event dynamic systems, " Ph.D. dissertation, Dept. Elect. Eng., Linköping Univ., Linköping, Sweden, 1997.
8. E. J. McCluskey, "Minimization of boolean functions, " Bell Syst. Tech. J., vol. 35, no. 5, pp. 1417-1444, 1956.
9. A. Mannani, Y. Yang, and P. Gohari, "Distributed extended finite-state machines: Communication and control, " in Proc. 8th Int. Workshop on Discrete Event Systems, WODES'06, pp. 161-167.
10. Y. Li and W. M. Wonham, "Control of vector discrete-event systems. II. Controller synthesis, " IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
11. L. E. Holloway and B. H. Krogh, "On closed-loop liveness of discrete event systems under maximally permissive control, " IEEE Trans. Autom. Control, vol. 37, no. 5, pp. 692-697, May 1992.
12. A. Giua and F. DiCesare, "Blocking and controllability of petri nets in supervisory control, " IEEE Trans. Autom. Control, vol. 39, no. 4, pp. 818-823, Apr. 1994.
13. K.Yamalidou, J. O. Moody, M.D. Lemmon, and P. J. Antsaklis, "Feedback control of petri nets based on place invariats, " Automatica, vol. 32, no. 1, pp. 15-28, 1996. (Pubitemid 126337854)
14. C. Ma and W. M. Wonham, "Nonblocking supervisory control of state tree structures, " IEEE Trans. Autom. Control, vol. 51, no. 5, pp. 782-793, May 2006. (Pubitemid 43792639)
15. M. Skoldstam, K. Åkesson, and M. Fabian, Modeling of Discrete Event Systems Using Finite Automata With Variables. Piscataway, NJ: IEEE Press, 2007.
16. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2008.
17. K. Åkesson, "Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications, " Ph.D. dissertation, Signals and Systems, Chalmers Univ. Technol., Göteborg, Sweden, 2002.
18. 20 states and beyond, " in Proc. 5th Annu. IEEE Symp. Logic Comput. Sci., LICS'90, Jun. 1990, pp. 428-439.
19. S. Miremadi, K. Åkesson, M. Fabian, A. Vahidi, and B. Lennartson, "Solving two supervisory control benchmark problems using Supremica, " in Proc. 9th Int. Workshop on Discrete Event Systems, WODES'08, May 2008, pp. 131-136.
20. C. Ma and W. M.Wonham, "STSLib and its application to two benchmarks, " in Proc. 9th Int. Workshop Discrete Event Syst., WODES'08, May 2008, pp. 119-124.
21. C. E. Shannon, "A mathematical theory of communication, " Bell Syst. Tech. J., vol. 27, pp. 379-423, 1948.
22. R. Bryant, "Graph-based algorithms for boolean function manipulation, " IEEE Trans. Comput., vol. 35, no. 8, pp. 677-691, 1986. (Pubitemid 16629996)
23. H. R. Andersen, An introduction to binary decision diagrams Dept. Inform. Technol., Tech. Univ. Denmark, Lyngby, Denmark, Tech. Rep., 1997.
24. B. Bollig and I.Wegener, "Improving the variable ordering of OBDDs is NP-complete, " IEEE Trans. Comput., vol. 45, no. 9, pp. 993-1002, 1996. (Pubitemid 126768781)
25. R. E. Bryant, "Symbolic boolean manipulation with ordered binarydecision diagrams, " ACM Comput. Surv., vol. 24, no. 3, pp. 293-318, 1992.
26. A. Aziz, S. Tasiran, and R. K. Brayton, "BDD variable ordering for interacting finite state machines, " in Proc. 31st Annu. Design Autom. Conf., DAC'94, New York, 1994, pp. 283-288.
27. O. Coudert and J. C. Madre, "A unified framework for the formal verification of sequential circuits, " in Proc. IEEE Int. Conf. Comput.-Aided Design, ICCAD-90. Dig. Tech. Papers, Nov. 1990, pp. 126-129. (Pubitemid 21675482)
28. A. Hellgren, M. Fabian, and B. Lennartson, "Synchronized execution of discrete event models using sequential function charts, " in Proc.38th Decision and Control, Phoenix, AZ, 1999, pp. 2237-2242. (Pubitemid 30575279)
29. A. Hellgren, B. Lennartson, and M. Fabian, "Modelling and PLC-based implementation of modular supervisory control, " in Proc. 6th Int. Workshop Discrete Event Syst., 2002, pp. 371-376.
30. K. Åkesson, M. Fabian, H. Flordal, and R. Malik, "Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems, " in Proc. 8th Int.Workshop on Discrete Event Syst., 2006, pp. 384-385. (Pubitemid 46944107)
31. K. Åkesson, M. Fabian, H. Flordal, and A. Vahidi, "Supremica-A tool for verification and synthesis of discrete event supervisors, " in Proc. 11th Mediterranean Conf. Control Autom., Rhodos, Greece, 2003.
32. Javabdd [Online]. Available: http://javabdd.sourceforge.net
33. J. Richardsson and M. Fabian, "Modeling the control of a flexible manufacturing cell for automatic verification and control program generation, " Int. J. Flexible Manuf. Syst., vol. 18, no. 3, pp. 191-208, 2006. (Pubitemid 46420251)
34. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Åkesson, "Sequence planning for integrated product, process and automation design, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 791-802, Oct. 2010.
35. M. R. Shoaei, B. Lennartson, and S. Miremadi, "Automatic generation of controllers for collision-free flexible manufacturing systems, " in Proc. IEEE Int. Conf. Autom. Sci. Eng., Aug. 2010, pp. 368-373.
36. S. Miremadi, B. Lennartson, and K. Åkesson, "A BDD-based approach for modeling plant and supervisor by extended finite automata, " Chalmers Univ. Technol., Gothenburg, Sweden, 2010.