Volume 12, Issue 3 (Journal of Control, V.12, N.3 Fall 2018)                   JoC 2018, 12(3): 29-41 | Back to browse issues page


XML Persian Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Saeidi V, Afzalian A A, Gharavian D. Localization of DES Supervisory Control with Respect to Each Controllable Event. JoC. 2018; 12 (3) :29-41
URL: http://joc.kntu.ac.ir/article-1-432-en.html
1- Dept. of Electrical Engineering, Abbaspour School of Engineering, Shahid Beheshti University
Abstract:   (1143 Views)

Supervisory control synthesis in discrete-event systems may encounter increasing the state cardinality. Increase in the number of states causes the computational complexity in supervisor synthesis and makes the implementation of the supervisor in industrial systems difficult. Localization of a supervisor is a method to reduce the number of states in the monolithic supervisor w.r.t. each component of the plant. Also, the synchronization of local controllers with the plant is control equivalent to the monolithic supervisor. In this paper, localization of a monolithic supervisor w.r.t. each controllable event is proposed, in order to facilitate implementation of local controllers. Two methods are proposed based on generalizing existing methods. The first method localizes a supervisor based on self-looping some states by disabled events which cannot be disabled by the corresponding local controller. The second one executes the supervisor localization based on removing transitions in the plant model that are disabled in some states of the monolithic supervisor, and are not supposed to be disabled by the corresponding local controller. In both methods, the supervisor is reduced w.r.t. the (reduced) plant model. The proposed methods are more flexible and may lead to less number of states, comparing to the results of existing method. It is proved that the two methods yield same results.

Full-Text [PDF 1011 kb]   (308 Downloads)    
Type of Article: Research paper | Subject: Special
Received: 2016/12/20 | Accepted: 2017/12/10 | Published: 2019/04/28

References
1. [1] Y. Willner, M. Heymann, Supervisory control of concurrent discrete-event systems, International Journal of Control, 54(1991), 1143-1169. [DOI:10.1080/00207179108934202]
2. [2] J. Komenda, J. H. Van Schuppen, Modular Control of Discrete-Event Systems with Coalgebra, IEEE Trans. Autom. Control, 53(2008), 447-460. [DOI:10.1109/TAC.2007.915164]
3. [3] J. Komenda, T. Masopust, J. H.van Schuppen, On conditional decomposability. Systems & Control Letters, 61(2012), 1260-1268. [DOI:10.1016/j.sysconle.2012.07.013]
4. [4] H. Zhong, W. M. Wonham, On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans. Autom. Control, 35(1990), 1125-1134. [DOI:10.1109/9.58555]
5. [5] K. Schmidt, T. Moor, S. Perk, Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. IEEE Trans. Autom. Control, 53(2008), 2252-2265. [DOI:10.1109/TAC.2008.2006817]
6. [6] K. Schmidt, C. Breindl, Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems. IEEE Trans. Autom. Control, 56(2011), 723-737. [DOI:10.1109/TAC.2010.2067250]
7. [7] R. Malik, H. Flordal, P. Pena, conflicts and projections. in Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07). [DOI:10.3182/20070613-3-FR-4909.00037]
8. [8] S. Mohajerani, R. Malik, M. Fabian, AN algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. in Proc. WODES'12, 239-244. [DOI:10.3182/20121003-3-MX-4033.00040]
9. [9] K. Rudie, W. M. Wonham,Think globally, act locally: decentralized supervisory control. IEEE Trans. Autom. Control, 37(1992), 1692-1708. [DOI:10.1109/9.173140]
10. [10] T. S. Yoo, S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Discrete Event Dyn. Syst., 12(2002),335-377. [DOI:10.1023/A:1015625600613]
11. [11] K.Cai, R. Zhang, W. M. Wonham, (2015). On Relative Coobservability of Discrete-Event Systems. in Proc. Amer. Control Conf. (ACC15), Chicago, IL, 371-376.
12. [12] F. Lin, W. M. Wonham, On observability of discrete-event systems, Information Sciences. 44(1988), 173-198. [DOI:10.1016/0020-0255(88)90001-1]
13. [13] L. Lin, A. Stefanescu, R. Su, On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Trans. Autom. Control, 61(2016), 777-782. [DOI:10.1109/TAC.2015.2447193]
14. [14] K. Cai, W. M. Wonham, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems. IEEE Trans. Autom. Control,55(2010), 605-618. [DOI:10.1109/TAC.2009.2039237]
15. [15] L. Feng, W. M. Wonham, Supervisory Control Architecture for Discrete-Event Systems. IEEE Trans. Autom. Control, 53(2008), 1449-1461. [DOI:10.1109/TAC.2008.927679]
16. [16] J. Komenda, T. Masopust, J. H. van Schuppen, Coordination control of discrete-event systems revisited. Discrete Event Dynamic Systems, 25(2015), 65-94. [DOI:10.1007/s10626-013-0179-x]
17. [17] W. M. Wonham, Supervisory control of discrete-event systems. University of Toronto,2015,http://www.control.utoronto.ca/DES
18. [18] R. Su, W. M. Wonham, Supervisor reduction for discrete-event systems, Discrete-event Dyn. Syst., 14(2004), 31-53. [DOI:10.1023/B:DISC.0000005009.40749.b6]
19. [19] W. M. Wonham, Control Design Software: TCT. Developed by Systems Control Group, University of Toronto, Canada, 2014,http://www.control.utoronto.ca/cgi-bin/dlxptct.cgi.
20. [20] C. G. Cassandras, S. Lafortune, Introduction to Discrete Event Systems (2nd ed.). Springer, NewYork, 2008. [DOI:10.1007/978-0-387-68612-7]
21. [21] L. Feng, W. M. Wonham, Supervisory Control Architecture for Discrete-Event Systems, IEEE Trans. Autom. Control, 53(2008), 1449-1461. [DOI:10.1109/TAC.2008.927679]
22. [22] A. Afzalian, A. Saadatpoor, W. M. Wonham, Systematic supervisory control solutions for under-load tap-changing transformers. Control Engineering Practice, 16(2008), 1035-1054. [DOI:10.1016/j.conengprac.2007.11.006]
23. [23] R. Cieslak, C. Desclaux, A. S. Fawaz, P. Varaiya, Supervisory control of discrete-event processes with partial observations. IEEE Trans. Autom. Control, 33(1988), 249-260. [DOI:10.1109/9.402]
24. [24] K. Cai, R. Zhang, W. M. Wonham, Relative Observability of Discrete-Event Systems and its Supremal Sublanguages. IEEE Trans. Autom. Control, 60(2015), 659- 670. [DOI:10.1109/TAC.2014.2341891]
25. [25] V. Saeidi, Ali A. Afzalian, D. Gharavian, On coparanormality in distributed supervisory control of discrete-event systems, submitted to Asian Journal of Control.
26. [26] K. T. Seow, M. T. Pham, C. Ma, M. Yokoo, Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents, IEEE Trans. Control Syst. Technol., 17(2009), 405-415. [DOI:10.1109/TCST.2008.924574]
27. [27] S. M. Folga, Natural Gas Pipeline Technology Overview, Argonne national laboratory, 2007.
28. [28] J. T. Gravdahl and O. Egeland, Compressor Surge and Rotating Stall-Modeling and Control, Springer-Verlag, London, 1999. [DOI:10.1007/978-1-4471-0827-6]
29. [29] S. Y. Yoon, Z. Lin and P. E. Allaire, "Control of Surge in Centrifugal Compressors by Active Magnetic Bearings-Theory and Implementation", Springer-Verlag, London, 2013. [DOI:10.1007/978-1-4471-4240-9]
30. [30] V. Saeidi, Ali A. Afzalian, D. Gharavian, Discrete-Event Modeling and Supervisory Control Synthesis for a Gas Transmission System, IEEE/CAA Journal of Automatica Sinica, Accepted with minor revision.

Add your comments about this article : Your username or Email:
CAPTCHA

Send email to the article author


© 2019 All Rights Reserved | Journal of Control

Designed & Developed by : Yektaweb