Abstract
It is well known that the design of supervisors for partially observed discrete-event systems is an NP-complete problem and hence computationally impractical. Furthermore, optimal supervisors for partially observed systems do not generally exist. Hence, the best supervisors that can be designed directly for operation under partial observation are the ones that generate the supremal normal (and controllable) sublanguage. In the present paper we show that a standard procedure exists by which any supervisor that has been designed for operation under full observation, can be modified to operate under partial observation. When the procedure is used to modify the optimal full-observation supervisor (i.e., the one that generates the supremal controllable language), the resultant modified supervisor is at least as efficient as the best one that can be designed directly (that generates the supremal normal sublanguage). The supervisor modification algorithm can be carried out on-line with linear computational complexity and hence makes the control under partial observation a computationally feasible procedure.
Similar content being viewed by others
References
R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham. Formulas for calculating supremal controllable and normal sublanguages.Systems & Control Letters, 15:111–117, 1990.
Y. Brave and M. Heymann. On stabilization of discrete event processes.International Journal of Control 51(5): 1101–1117, 1990.
Y. Brave and M. Heymann. On optimal attraction in discrete event processes.Information Sciences, 67: 245–276, 1993
E. Chen and S. Lafortune. Dealing with blocking in supervisory control of discrete event systems.IEEE Transactions on Automatic Control, 36(6):724–735, 1991.
S.-L. Chung, S. Lafortune, and F. Lin. Limited lookahead policies in supervisory control of discrete event systems.IEEE Transactions on Automatic Control, 37(12):1921–1935, 1992.
R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations.IEEE Transactions on Automatic Control, 33(3):249–260, 1988.
M. Heymann. Concurrency and discrete event control.IEEE Control Systems Magazine, 10(4):103–112, 1990.
M. Heymann. Some algorithmic questions in discrete-event control. To appear.
L. E. Holloway and B. H. Krogh. Synthesis of feedback control logic for a class of controlled Petri nets.IEEE Transactions on Automatic Control, 35(5):514–523, 1990.
R. Kumar, V. Garg, and S. I. Marcus. Stability and stabilizability of behavior of discrete event dynamical systems.SIAM Journal of Control and Optimization, to appear.
S. Lafortune and F. Lin. On tolerable and desirable behaviors in supervisory control of discrete event systems.Discrete Event Dynamic Systems: Theory and Applications, 1:61–92, 1991.
F. Lin. Control of large scale discrete event systems: task allocation and coordination.Systems & Control Letters, 17:169–175, 1991.
F. Lin and W. M. Wonham. On observability of discrete event systems.Information Sciences, 44(3): 173–198, 1988a.
F. Lin and W. M. Wonham. Decentralized supervisory control of discrete-event systems.Information Sciences, 44(3):199–224, 1988b.
F. Lin and W. M. Wonham. Decentralized control and coordination of discrete event systems with partial observation.IEEE Transactions on Automatic Control 35(12):1330–1337, 1990.
R. J. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata.IEEE Transactions on Automatic Control, 34(1):10–19, 1989.
R. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes.SIAM J. Control and Optimization, 25(1):206–230, 1987.
K. Rudie and W. M. Wonham. Think globally, act locally: Decentralized supervisory control.IEEE Transactions on Automatic Control, to appear.
J. G. Thistle. Control of infinite behavior of discrete event systems. Ph.D. Thesis, Department of Electrical Engineering, University of Toronto, 1991.
J. N. Tsitsiklis. On the control of discrete-event dynamical systems.Mathematics of Control, Signals, and Systems, 2(1):95–107, 1989.
Y. Willner and M. Heymann. Language convergence in controlled discrete-event systems. CIS Report, 9205, Technion, 1992.
Y. Willner and M. Heymann. Supervisory control of concurrent discrete-event systems.Int. Journal of Control, 54:1143–1169, 1991.
W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language.SIAM J. Control and Optimization, 25(3):635–659, 1987.
R. Kumar. Formulas for observability of discrete event dynamical systems.Proceedings of 1993 Conference on Information Sciences and Systems, Johns Hopkins University, Baltimore, MD, 1993a.
R. Kumar. Observability formulas for discrete event dynamical systems. Technical Report, Dept. of Electrical Engineering, University of Kentucky, Lexington, KY, 1993b.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Heymann, M., Lin, F. On-line control of partially observed discrete event systems. Discrete Event Dyn Syst 4, 221–236 (1994). https://doi.org/10.1007/BF01438708
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01438708