Automatique

Building Meaningful Timed Models of Closed-loop DES for Verification Purposes

Published on - Control Engineering Practice

Authors: Matthieu Perin, Jean-Marc Faure