Non-blocking supervision for uncertain discrete event systems with internal unobservable transitions

IEE Proceedings: Control Theory and Applications

Volumn 152, Issue 2, 2005, Pages 165-170

  Park, S J ^a   Lim, J T ^b  

^a Ajou University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; INTELLIGENT CONTROL; ROBOTICS; SCADA SYSTEMS; THEOREM PROVING; UNCERTAIN SYSTEMS;

AUTOMATED MANUFACTURING SYSTEMS; INTERNAL UNOBSERVABLE TRANSITIONS; SUPERVISOR SYNTHESIS PROBLEMS; UNCERTAIN DISCRETE EVENT SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 17444402124     PISSN: 13502379     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/ip-cta:20041244     Document Type: Article

References (11)

1. Lin, F.: 'Robust and adaptive supervisory control of discrete event systems', IEEE Trans. Autom. Control, 1993, 38, (12), pp. 1848-1852
2. Bourdon, S.E., Lawford, M., Wonham, W.M.: 'Robust nonlocking supervisory control of discrete-event systems'. Proc. American Control Conference, 2000, pp. 730-735
3. Park, S.-J., and Lim, J.-T.: 'Robust and nonblocking supervisory control of non-deterministic discrete event systems using trajectory models', IEEE Trans. Autom. Control, 2002, 47, (4), pp. 655-658
4. Cury, J.E.R., and Krogh, B.H.: 'Robustness of supervisors for discrete-event systems', IEEE Trans. Autom. Control, 1999, 44, (2), pp. 376-379
5. Takai, S.: 'Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications', IEEE Trans. Autom. Control, 2002, 47, (1), pp. 132-136
6. Kumar, R., and Shayman, M.A.: 'Nonblocking supervisory control of nondeterministic systems via prioritized synchronization', IEEE Trans. Autom. Control, 1996, 41, (8), pp. 1160-1175
7. Overkamp, A.: 'Supervisory control using failure semantics and partial specification', IEEE Trans. Autom. Control, 1997, 42, (4), pp. 498-510
8. Heymann, M., and Lin, F.: 'Discrete-event control of nondeterministic systems', IEEE Trans. Autom. Control, 1998, 43, (1), pp. 3-17
9. Park, S.-J., and Lim, J.-T.: 'Robust and nonblocking supervisor for discrete event systems with model uncertainty under partial observation', IEEE Trans. Autom. Control, 2000, 45, (12), pp. 2393-2396
10. Ramadge, P.J., and Wonham, W.M.: 'Supervisory control of a class of discrete event processes', SIAM J. Control Optim., 1987, 25, pp. 206-230
11. Lin, F., and Wonham, W.M.: 'On observability of discrete event systems', Inf. Sci., 1988, 44, (3), pp. 173-198