Algebraic synthesis of logical controllers despite inconsistencies in specifications

Publié le 3 octobre 2012 - 11th International Workshop on Discrete Event Systems, WODES 2012