IA-362 Tópicos em Controle III

Tópicos em Controle de Sistemas a Eventos Discretos

12 créditos

1) Introdução
Conceitos gerais, Definição do problema, Exemplos

2) Controle Supervisório
Linguagens e Automata, Geradores, Acessibilidade e co-acessibilidade, Composição de
Geradores, Representação de Controladores, Controlabilidade, L-fechamento,
Existência de Controladores, Máxima Linguagem Controlável, Síntese de
Controladores.

3) Teoria de Dióides
Motivação, Relação com as teorias de Grafos e Redes de Petri, Álgebra Max-plus,
Matrizes em Max-plus, Representação de SED’s em Max-plus, Comportamento
Assintótico de Potências de Matrizes em Max-plus, Teoria Geral de Dióides,
Homomorfismos, Isomorfismos e Congruências, Propriedades dos Dióides, Dióides
constituídos por Polinômios e Séries de Potência, Representações bi-dimensionais de
SED’s, Racionalidade, Realizabilidade e Periodicidade, Auto-valores e auto-funções,
Aplicações a problemas de Job-Shop Cíclicos.

4) Análise de Perturbações
Revisão da Teoria de Filas, Motivação e Idéia Central, Processos Semi-Markovianos
Generalizados (GSMP), Derivadas de Amostras e Intercambiabilidade, Análise de
Sensibilidade e Realização, Caso Geral em Rêdes de Filas e alguns exemplos
particulares, Representação de Sistemas, Análise de Perturbações Suavizadas
(smoothed), Análise de Perturbações Finitas, Análise Geral de Sensibilidade, Geração
Eficiente de Trajetórias Amostradas.

Bibliografia

Baccelli, F., G. Cohen, G. J. Olsder, J.-P. Quadrat (1992) Synchronization and

Linearity - John Wiley & Sons (Cap.3)

Cao, X.-R., Ho, Y.-C. (1990) - Models of Discrete Event Dynamic Systems - IEEE
Control Systems Magazine, junho, pg. 69. (Cap.1)

Cassandras, C. G. (1993) Discrete Event Systems: Modeling and Performance

Analysis - Aksen Associates (Caps. 1,2,4)

Cohen, G., Moller, P., Quadrat, J.P., Viot, M. (1989) - Algebraic Tools for the
Performance Evaluation of Discrete Event Systems - Proceedings of IEEE, vol. 77, n°1,
pg.39. (Cap.3)

Cuninghame-Green. R.A. (1979) - "Minimax Algebra" - Lecture Notes in Economics

and Mathematical Systems, n° 166, Springer-Verlag. (Cap.3)
Ho, Y.-C. (1989) - Dynamics of Discrete Event Systems - Proceedings of IEEE, vol.
77, n°1, pg.3. (Cap.1)

Ho, Y.-C., X.-R. Cao (1991) - Perturbation Analysis of Discrete Event Dynamic
Systems - Kluwer Academic Publishers (Cap.4)

Khun, T. S. (1962) - "A Estrutura das Revoluções Científicas"- Tradução de B. V.

Boeira e N. F. Boeira - Ed. Perspectiva (Col. Debates) 1975 - São Paulo (Cap.1)

Olsder, G.J., Resing, J.A.C., De Vries, R.E., Keane, M.S. e Hooghiemstra, G. (1990) -
Discrete Event Systems with Stochastic Processing Times - IEEE- Transactions on AC,
vol.35, n°3, pg.299. (Cap.3)

Ramadge, P.J.G., Wonham, W.M. (1987) - Supervisory Control of a Class of Discrete

Event Systems - SIAM J. Control and Optimization, vol. 25, no 1 (Cap.2)

Ramadge, P.J.G., Wonham, W.M. (1987) - On the Supremal Controllable Sublanguage

of a Given Language - SIAM J. Control and Optimization, vol. 25, no 3 pp. 206-230
(Cap.2)

Ramadge, P.J.G., Wonham, W.M. (1987) - Modular Feedback Logic for discrete Event
Systems - SIAM J. Control and Optimization, vol. 25, no 5 pp. 1202-1218. (Cap.3)

Ramadge, P.J.G., Wonham, W.M. (1989) - The Control of Discrete Event Systems -
Proceedings of IEEE, vol. 77, n°1, pg.81. (Cap.2)

Special Issue on Dynamics of Discrete Event Systems (1989) Proceedings of the IEEE
- vol. 77 n. 1 (Caps.1,2,3,4)