Software
MatlabTCT (windows) download
Download MatlabTCT (with graphviz).
Documentation (under development)
- Input: G (plant), E (specification), N (required step)
- Output: NSUP (N-step supervisor)
- Format: supconnstep('NSUP','G','E',N)
- Input: G (original automaton), N (required step)
- Output: NG (N-step automaton)
- Format: nstep('NG','G',N)