Project : vertecs
Syntool is a tool dedicated to the control of structured discrete systems event. It implements the theory developed in  . Syntool has an API allowing the user to graphically describe the different LTS modeling the plant, to perform some controller synthesis computations solving e.g. the forbidden state avoidance problem for structured systems and finally to simulate the result (i.e. the behavior of the controlled system). This tool is currently under testing.