Automatic Specification Generation for Tracking Control in Interpreted Petri nets.

Daniel Guevara-Lozano, Carlos Renato Vzquez, Antonio Ramrez-Trevio

Browse the full CoDIT paper archive.