From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory.

Laurent Pitrac, Emil Dumitrescu, ric Niel

Browse the full CoDIT paper archive.