×

Supervisor localization of discrete-event systems under partial observation. (English) Zbl 1372.93144

Summary: Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation; namely not all events are observable. Specifically, we employ the recently proposed concept of relative observability to compute a partial-observation monolithic supervisor, and then design a suitable localization procedure to decompose the supervisor into a set of local controllers. In the resulting local controllers, only observable events can cause state change. We finally illustrate our result by a transfer line example.

MSC:

93C65 Discrete event control/observation systems
93A13 Hierarchical systems
68T42 Agent technology and artificial intelligence
93B07 Observability

References:

[1] Cai, K.; Wonham, W. M., Supervisor localization: a top-down approach to distributed control of discrete-event systems, IEEE Transactions on Automatic Control, 55, 3, 605-618 (2010) · Zbl 1368.93367
[2] Cai, K.; Wonham, W. M., Supervisor localization for large discrete-event systems: case study production cell, International Journal of Advanced Manufacturing Technology, 50, 9-12, 1189-1202 (2010)
[3] Cai, K.; Wonham, W. M., New results on supervisor localization, with case studies, Discrete Event Dynamic Systems, 25, 1-2, 203-226 (2015) · Zbl 1328.93011
[4] 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, vol. 459 (2016), Springer · Zbl 1325.93001
[5] Cai, K.; Zhang, R.; Wonham, W. M., Relative observability of discrete-event systems and its supremal sublanguages, IEEE Transactions on Automatic Control, 60, 3, 659-670 (2015) · Zbl 1360.93090
[6] Cai, K.; Zhang, R.; Wonham, W. M., Relative observability and coobservability of timed discrete-event systems, IEEE Transactions on Automatic Control, 61, 11, 3382-3395 (2016) · Zbl 1359.93061
[7] Cieslak, R.; Desclaux, C.; Fawaz, A. S.; Varaiya, P., Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, 33, 3, 249-260 (1988) · Zbl 0639.93041
[8] Dubreil, J.; Darondeau, P.; Marchand, H., Supervisor control for opacity, IEEE Transactions on Automatic Control, 55, 5, 1089-1100 (2010) · Zbl 1368.93372
[9] Lin, F.; Wonham, W. M., On observability of discrete-event systems, Information Sciences, 44, 3, 173-198 (1988) · Zbl 0644.93008
[10] Sampath, M.; Lafortune, S.; Teneketzis, D., Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, 43, 7, 908-929 (1998) · Zbl 0949.90025
[11] Takai, S.; Ushio, T., Effective computation of Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control, Systems & Control Letters, 49, 3, 191-200 (2003) · Zbl 1157.93444
[13] Yin, X.; Lafortune, S., A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems, IEEE Transactions on Automatic Control, 61, 8, 2140-2154 (2016) · Zbl 1359.93295
[14] Yin, X.; Lafortune, S., Synthesis of maximally permissive supervisors for partially-observed discrete-event systems, IEEE Transactions on Automatic Control, 61, 5, 1239-1254 (2016) · Zbl 1359.93296
[16] Zhang, R.; Cai, K., Supervisor localization of discrete-event systems under partial observation. Technical Report (2016), Available at http://arxiv.org/abs/1509.05498
[17] Zhang, R.; Cai, K.; Gan, Y.; Wang, Z.; Wonham, W. M., Supervision localization of timed discrete-event systems, Automatica, 49, 9, 2786-2794 (2013) · Zbl 1364.93488
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.