Supervisory control of heap models using synchronous composition.

Jan Komenda, Jean-Louis Boimond, Sbastien Lahaye

Browse the full ICINCO paper archive.