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.