Synthesis of supervisors for parameterized and infinity non-regular discrete event systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 181-186

  De Oliveira, Claudio ^a   Cury, Jose Eduardo Ribeiro ^a   Kaestner, Celso Antonio Alves ^b  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ   (Brazil)

Author keywords

Discrete event systems; Non regular behavior; Parametrization; Supervisors

Indexed keywords

DATA ACQUISITION; SPECIFICATIONS; SUPERVISORY PERSONNEL;

DISCRETE TRANSITIONS; FINITE-STATE TRANSITION SYSTEMS; GENERIC SOLUTIONS; NON REGULAR BEHAVIOR; PARAMETERIZED MODEL; PARAMETRIZATIONS; SEQUENCE OF EVENTS; SYSTEM EVOLUTION;

DISCRETE EVENT SIMULATION;

EID: 79960922418     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00033     Document Type: Conference Paper

References (7)

1. Balemi, S., G.J. Hoffmann, P. Gyugyi, H. Wong-Toi and G.F. Franklin (1993). Supervisory control of a rapid thermal multiprocessor. Joint issue Automatica and IEEE Trans. Autom. Control on Meeting the Challenge of Computer Science in the Industrial Applications of Control pp. 1040-1059. (Pubitemid 23712137)
2. Bherer, H., J. Desharnais and R. St-Denis (2005). Synthesis of state feedback controllers for parameterized discrete event systems under partial observation. In: Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference. Sevilla. pp. 3499-3506. (Pubitemid 46297513)
3. Gohari, P. and W.M. Wonham (2000). On the complexity of supervisory control design in the rw framework. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5), 643-652.
4. Hoffmann, G. and H. Wong-Toi (1992). Symbolic synthesis of supervisory controllers. In: Proc. Of 1992 American Control Conference. Chicago, IL, USA. pp. 2789-2793. (Pubitemid 23579678)
5. Hopcroft, J.E., R. Motwani and J.D. Ullman (2001). Introduction to automata theory, languages, and computation, 2nd edition. SIGACT News 32(1), 60-65.
6. Kumar, R. and V.K. Garg (2005). On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Transactions on Automation Science and Engineering 2(1), 87-91. (Pubitemid 40162880)
7. Ramadge, P.J. andW.M.Wonham (1987). Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206-230. (Pubitemid 17513624)