Sumários
13a - Exercises
7 dezembro 2015, 11:00 • José António Da Cruz Pinto Gaspar
Exercises - Representing a semaphores system using Petri nets (obtaining the 5-tuple (P,T,A,w,u0)), design of supervisors linking separate sub-nets, reachability tree, and liveness analysis.
Lab2c (cont)
7 dezembro 2015, 09:30 • José António Da Cruz Pinto Gaspar
Demonstração de funcionamento de todo o 2º projecto, Sistema de Detecção e Alarme de Intrusão, modelação como sistema de eventos discretos.
Lab2c
4 dezembro 2015, 09:30 • José António Da Cruz Pinto Gaspar
Parte C do 2º projecto, Sistema de Detecção e Alarme de Intrusão, modelação como sistema de eventos discretos. Aplicação de teoria do controlo supervisionado para diagnosticar uma falha e sintetizar o controlador para repor o estado normal do sistema.
12b - Supervision of Industrial Processes
1 dezembro 2015, 09:30 • José António Da Cruz Pinto Gaspar
Design of supervisors considering uncontrollable and unobservable transitions. Design example using the SPNBOX toolbox. Exercises - Draw a Petri net given a 5-tuple (P,T,A,w,u0), design of supervisors based in linear constraints, reachability tree, and liveness analysis.
12a - Supervision of Industrial Processes
30 novembro 2015, 11:00 • José António Da Cruz Pinto Gaspar
Generalized linear constraints - constraints on the firing vector and on the number of firings. Design example - bounded producer and consumer problem. Design of supervisors considering uncontrollable and unobservable transitions.