Participant : Hervé Marchand [ contact ] .
Ctrl-S is a tool dedicated to the control and simulation of structured discrete event systems. Ctrl-S is a graphical tool connected with Oris for the simulation aspect as well as Umdes for the controller synthesis computations. It now encompasses the former tool Syntool that was developped in our team during the past years. This tool is currently under testing.