دوره 12، شماره 3 - ( مجله کنترل، جلد 12، شماره 3، پاییز 1397 )
جلد 12 شماره 3,1397 صفحات 41-29 |
برگشت به فهرست نسخه ها
Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
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-fa.html
URL: http://joc.kntu.ac.ir/article-1-432-fa.html
سعیدی وحید، افضلیان علی اکبر، غرویان داود. محلیسازی کنترل نظارتی گسسته-پیشآمد نسبت به هر یک از پیشآمدهای کنترلپذیر. مجله کنترل. 1397; 12 (3) :29-41
وحید سعیدی1 
، علی اکبر افضلیان* 1، داود غرویان1
، علی اکبر افضلیان* 1، داود غرویان1
1- دانشگاه شهید بهشتی- پردیس فنی مهندسی شهید عباسپور- دانشکده مهندسی برق
چکیده: (6082 مشاهده)
در طراحی کنترل نظارتی سیستمهای گسسته-پیشآمد افزایش تعداد حالتها باعث پیچیدگی محاسباتی شده و پیادهسازی ناظر را نیز مشکل میسازد. محلیسازی ناظر یکپارچه روشی برای کاهش تعداد حالتهای ناظر نسبت به هر یک از اجزای سیستم بوده، به طوری که عملکرد همزمان کنترلکنندههای محلی در سیستم گسسته-پیشآمد معادل کنترلی ناظر یکپارچه باشد. در این مقاله برای ساده نمودن پیادهسازی کنترل نظارتی روی سیستمهای صنعتی، محلیسازی ناظر نسبت به هر یک از پیشآمدهای کنترلپذیر معرفی شده است. دو روش برای تعمیم روش موجود محلیسازی ناظر پیشنهاد شده است: در روش اول گذرهایی غیر از گذری که محلیسازی ناظر نسبت به آن انجام میگیرد، در تمامی حالتهایی از ناظر یکپارچه که آن گذرها غیرفعال شدهاند، حلقه میگردند. در روش دوم گذرهایی از سیستم گسسته-پیشآمد که در ناظر یکپارچه غیرفعال شدهاند، غیر از گذر کنترلپذیری که محلیسازی ناظر نسبت به آن انجام میشود، حذف شده و مدل سادهتری ایجاد میگردد. پس از انجام هر یک از دو روش فوق، ناظر یکپارچه با استفاده از الگوریتم کاهش ناظر ساده میگردد. روشهای معرفی شده نسبت به روش موجود انعطافپذیرتر بوده و ممکن است منتهی به تعداد حالتهای کمتری گردند. همچنین ثابت میشود که نتیجه دو روش معرفی شده یکسان است.
فهرست منابع
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.
ارسال پیام به نویسنده مسئول
| بازنشر اطلاعات | |
 |
این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است. |
