Automatique

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Published on - 17th IEEE international conference on Emerging Technologies on Factory Automation

Authors: Matthieu Perin, Jean-Marc Faure