On the computation of observers in discrete-event systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 14, Issue 1, 2004, Pages 55-107

  Wong, K C ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Causal reporter maps; Discrete event systems; Natural projections; Observers

Indexed keywords

ALGORITHMS; CALCULATIONS; COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; CONVERGENCE OF NUMERICAL METHODS; FINITE AUTOMATA; FORMAL LANGUAGES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; OBSERVABILITY; SCADA SYSTEMS; THEOREM PROVING;

CASUAL REPORTER MAPS; DISCRETE EVENT SYSTEMS; MEALY AUTOMATON; NATURAL PROJECTIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0842300574     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:DISC.0000005010.55515.27     Document Type: Article

References (18)

1. Arnold, A. 1994. Finite Transition Systems. Prentice Hall.
2. Burris, S., and Sankappanavar, H. P. 1981. A Course in Universal Algebra. New York: Springer-Verlag.
3. Fernandez, J.-C. 1990. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming 13: 219-236.
4. Guan, Y. 1997. Implementation of Hierarchical Observer Theory. M.A.Sc. thesis, Department of Electrical and Computer Engineering, University of Toronto.
5. Hubbard, P., and Caines, P. E. 2002. Dynamical consistency in hierarchical supervisory control. IEEE Transactions on Automatic Control 47(1): 37-52, January.
6. Lin, F., and Wonham, W. M. 1988. Decentralized supervisory control of discrete-event systems. Information Sciences 44: 199-224.
7. Milner, R. 1989. Communication and Concurrency. New York: Prentice Hall.
8. Pu, K. Q. 2000. Modeling and Control of Discrete-Event Systems with Hierarchical Abstractions. M.A.Sc. thesis, Department of Electrical and Computer Engineering, University of Toronto.
9. Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete-event processes. SIAM J. Control and Optimization 25(1): 206-230.
10. Sifakis, J. 1982. A unified approach for studying the properties of transition systems. Theoretical Computer Science 18: 227-258.
11. Wonham, W. M. 2002. Notes on Control of Discrete-Event Systems: ECE 1636F/1637S. Department of Electrical and Computer Engineering, University of Toronto. Can be download from www.control.utoronto.ca/people/profs/wonham/wonham.html.
12. Wonham, W. M. 1976. Towards an abstract internal model principle. IEEE Transactions on Systems, Man, and Cybernetics SMC-6(11): 735-740, November.
13. Wong, K. C. 1998. On the complexity of projections of discrete-event systems. IEEE Workshop on Discrete Event Systems. Italy: Cagliari (Sardinia), 201-206, August.
14. Wong, K. C., Thistle, J. G., Malhamé, R. P., and Hoang, H.-H. 2000. Supervisory control of distributed systems: conflict resolution. Discrete Event Dynamical Systems: Theory and Applications 10(1): 131-186.
15. Wong, K. C., and Wonham, W. M. 1996. Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 6(3): 241-273, July.
16. Wong, K. C., and Wonham, W. M. 1998. Modular control and coordination of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 8(3): 247-297.
17. Wong, K. C., and Wonham, W. M. 2000. On the computation of observers in discrete-event systems. In 2000 Conference on Information Science and Systems. Princeton, NJ, TP1-7 to TP1-12, March.
18. Zhong, H., and Wonham, W. M. 1990. On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control 35(10): 1125-1134.