Software

MatlabTCT (windows) download

Download MatlabTCT (with graphviz).

Documentation (under development)

N-step supcon

  • Input: G (plant), E (specification), N (required step)
  • Output: NSUP (N-step supervisor)
  • Format: supconnstep('NSUP','G','E',N)

N-step automaton

  • Input: G (original automaton), N (required step)
  • Output: NG (N-step automaton)
  • Format: nstep('NG','G',N)

TCT (windows) download

TCT

TTCT