Welcome !!!!

SMACS available !

Smacs (Symbolic Masked Controller Synthesis) is a tool aiming at the supervisory control of infinite state systems under partial observation. We consider a system modelled by a Symbolic Transition System (i.e. an automaton extended with variables). The controller can observe this system by knowing the valuation of its variables. However, this observation is not completely accurate; a mask models this partial observation of the system. According to this observation, the controller comes to a decision and disables some controllable actions so that the system satisfies a given specification.

This software is curently developped by Gabriel Kalyon and Tristan Le Gall.

On this site, you can :