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

Publié le 17 septembre 2012 - 17th IEEE international conference on Emerging Technologies on Factory Automation