Supervisory control of state-tree structures with partial observation. (English) Zbl 1455.93118
Supervisory control of discrete-event systems is well developed to find a maximally permissive supervisor. As an extension to supervisory control theory, a new framework, state-tree structures, has been deployed to manage the state explosion problem of supervisory control of discrete-event systems. This paper aims to address this notorious issue of supervisory control with partial observation in the state-tree structures framework by state feedback control that calculates the controllers of the controllable-observable events only, which is realized by the following two steps. First, for a specification represented as a predicate, a supremal normal subpredicate that requires only the controllable-observable events enabled/disabled, is computed. Second, according to the new transition function constructed by the natural projection of the given state-tree structures, the supremal nonblocking, weakly controllable subpredicate is obtained from the supremal normal subpredicate. The proposed approach based on state-tree structures provides the possibility to supervise controllable events under partial observation in large-scale systems with the state explosion problem managed. An example with state size over 107 that leads to program crashes in supervisory control of discrete-event systems can be solved in this paper. Moreover, in order to demonstrate the industrial applications of the contribution of this research, some examples are addressed.
Reviewer: Tiit Riismaa (Tallinn)
Software:
STSLibReferences:
| [1] | Arnold, A.; Vincent, A.; Walukiewicz, I., Games for synthesis of controllers with partial observation, Theor. Comput. Sci., 303, 1, 7-34 (2003) · Zbl 1175.93148 |
| [2] | Brandt, R. D.; Garg, V.; Kumar, R.; Lin, F.; Marcus, S. I.; Wonham, W. M., Formulas for calculating supremal controllable and normal sublanguages, Syst. Control Lett., 15, 2, 111-117 (1990) · Zbl 0715.93044 |
| [3] | Cai, K.; Wonham, W. M., Supervisor localization: a top-down approach to distributed control of discrete-event systems, Lecture Notes in Control and Information Sciences, 459 (2015), Springer · Zbl 1368.93367 |
| [4] | Cai, K.; Zhang, R.; Wonham, W. M., Relative observability of discrete-event systems and its supremal sublanguages, IEEE Trans. Autom. Control, 60, 3, 659-670 (2015) · Zbl 1360.93090 |
| [5] | Cao, C.; Lin, F.; Lin, Z. H., Why event observation: observability revisited, Discret. Event Dyn. Syst., 7, 2, 127-149 (1997) · Zbl 0943.93008 |
| [6] | Chen, Y. F.; Li, Z. W.; Al-Ahmari, A.; Wu, N. Q.; Qu, T., Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Info. Sci., 381, 290-303 (2017) · Zbl 1429.90019 |
| [7] | Cho, H.; Marcus, S. I., On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation, Math. Control Sig. Syst., 2, 1, 47-69 (1989) · Zbl 0654.93046 |
| [8] | Cieslak, R.; Desclaux, C.; Fawaz, A. S.; Varaiya, P., Supervisory control of discrete-event processes with partial observations, IEEE Trans. Autom. Control, 33, 3, 249-260 (1988) · Zbl 0639.93041 |
| [9] | Harel, D., Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 3, 231-274 (1987) · Zbl 0637.68010 |
| [10] | Hill, R. C.; E. R. Cury, J.; de Queiroz, M. H.; Tilbury, D.; Lafortune, S., Multi-level hierarchical interface-based supervisory control, Autom., 46, 7, 1152-1164 (2010) · Zbl 1194.93136 |
| [11] | Jiao, T.; Gan, Y. M.; Xiao, G. C.; Wonham, W. M., Exploiting symmetry of state tree structures for discrete-event systems with parallel components, Intern. J. Cont., 90, 8, 1639-1651 (2017) · Zbl 1367.93366 |
| [12] | Komenda, J.; van Schuppen, J. H., Control of discrete-event systems with partial observations using coalgebra and coinduction, Discret. Event Dyn. Syst. Theory Appl., 15, 3, 257-315 (2005) · Zbl 1101.93050 |
| [13] | Komenda, J.; Masopust, T.; van Schuppen, J. H., Supervisory control synthesis of discrete-event systems using a coordination scheme, Autom., 48, 2, 247-254 (2012) · Zbl 1260.93112 |
| [14] | Komenda, J.; Masopust, T.; van Schuppen, J. H., Coordination control of discrete-event systems revisited, Discret. Event Dyn. Syst., 25, 1-2, 65-94 (2015) · Zbl 1417.93207 |
| [15] | Kumar, R.; Garg, V.; Marcus, S. I., Predicates and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Trans. Autom. Control, 38, 2, 232-247 (1993) · Zbl 0774.93003 |
| [16] | Y. Li, W.M. Wonham, Controllability and observability in the state-feedback control of discrete-event systems, in: Proceedings of the Twenty Seventh IEEE Conference on Decision Control(1988) 203-208. New York. |
| [17] | Lin, F.; Wonham, W. M., On observability of discrete-event systems, Inf. Sci., 44, 3, 173-198 (1988) · Zbl 0644.93008 |
| [18] | Lin, F.; Wonham, W. M., Decentralized control and coordination of discrete-event systems with partial observation, IEEE Trans. Autom. Control, 35, 12, 1330-1337 (1990) · Zbl 0723.93043 |
| [19] | C. Ma, W.M. Wonham, Control of state tree structures, in: Proceedings of the Eleventh Mediterranean Conference on Control and Automation, Rhodes (2003) 6. · Zbl 1366.93355 |
| [20] | Ma, C.; Wonham, W. M., Nonblocking Supervisory Control of State Tree Structures, Lecture Notes in Control and Information Sciences, 317 (2005), Springer · Zbl 1114.93002 |
| [21] | Ma, C.; Wonham, W. M., Nonblocking supervisory control of state tree structures, IEEE Trans. Autom. Control, 51, 5, 782-793 (2006) · Zbl 1366.93355 |
| [22] | C. Ma, W.M. Wonham, STSLIb and its application to two benchmarks, Proceedings of the Ninth International Workshop on Discrete Event System. (WODES08) (2008) 119-124. Goteborg, Sweden. |
| [23] | Shu, S.; Lin, F., Supervisor synthesis for networked discrete event systems with communication delays, IEEE Trans. Autom. Control, 60, 8, 2183-2188 (2015) · Zbl 1360.93439 |
| [24] | Takai, S.; Ushio, T.; Kodama, S., Static-state feedback control of discrete-event systems under partial observation, IEEE Trans. Autom. Control, 40, 11, 1950-1954 (1995) · Zbl 0841.93023 |
| [25] | Takai, S.; Ushio, T., Effective computation of an lm(g)-closed, controllable, and observable sublanguage arising in supervisory control, Syst. Control Lett., 49, 3, 191-200 (2003) · Zbl 1157.93444 |
| [26] | Ushio, T.; Takai, S., Nonblocking supervisory control of discrete event systems modeled by mealy automata with nondeterministic output functions, IEEE Trans. Autom. Control, 61, 3, 799-804 (2016) · Zbl 1359.93290 |
| [27] | Wang, X.; Li, Z. W.; Wonham, W. M., Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control, IEEE Trans. Ind. Inf., 12, 1, 101-111 (2016) |
| [28] | Wang, X.; Li, Z. W.; Wonham, W. M., Optimal priority-free conditionally-preemptive real-time scheduling of periodic tasks based on DES supervisory control, IEEE Trans. Syst. Man Cybern.: Syst., 47, 7, 1082-1098 (2017) |
| [29] | Wang, X.; Li, Z. W.; Wonham, W. M., Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems, Automatica, 89, 392-397 (2018) · Zbl 1388.93015 |
| [30] | Wonham, W. M.; Ramadge, P. J.; Control, J., On the supremal controllable sublanguage of a given language, SIAM Optim., 25, 3, 637-659 (1987) |
| [31] | Wonham, W. M.; Ramadge, P. J.; Control, J., Supervisory control of a class of discrete event processes, SIAM Optim., 25, 1, 206-230 (1987) · Zbl 0618.93033 |
| [32] | Available at http://www.control.toronto.ca/DES · Zbl 1353.93073 |
| [33] | Available at http://hdl.handle.net/1807/33784. |
| [34] | Yin, X.; Lafortune, S., Synthesis of maximally permissive supervisors for partially observed discrete event systems, IEEE Trans. Autom. Control, 61, 5, 1239-1254 (2016) · Zbl 1359.93296 |
| [35] | Yin, X.; Lafortune, S., A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems, IEEE Trans. Autom. Control, 61, 8, 2140-2154 (2016) · Zbl 1359.93295 |
| [36] | Yin, X., Supervisor synthesis for mealy automata with output functions: a model transformation approach, IEEE Trans. Automa. Control, 62, 5, 2576-2581 (2017) · Zbl 1366.93370 |
| [37] | Yin, X.; Lafortune, S., Synthesis of maximally-permissive supervisors for the range control problem, IEEE Trans. Autom. Control (2017) · Zbl 1373.93221 |
| [38] | Zad, S. H.; Moosaei, M.; Wonham, W. M., On computation of supremal controllable, normal sublanguages, Syst. Control Lett., 54, 9, 871-876 (2005) · Zbl 1129.93453 |
| [39] | Zhang, H. M.; Feng, L.; Wu, N. Q.; Li, Z. W., Integration of learning-based testing and supervisory control for requirements conformance of black-box reactive systems, IEEE Trans. Autom. Sci. Eng., 15, 1, 2-15 (2018) |
| [40] | Zhang, H. M.; Feng, L.; Li, Z., A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems, IEEE Trans. Autom. Control (2018) · Zbl 1423.93265 |
| [41] | Zhang, S. W.; Wu, N. Q.; Li, Z. W.; Qu, T.; Li, C. D., Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement, Info. Sci., 417, 247-261 (2017) · Zbl 1435.90077 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
