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

Matthieu Perin, Jean-Marc Faure

Browse the full ETFA paper archive.