Some complexity problems on single input double output controllers. (BRICS report series of Department of Computer Science University of Aarhus, RS-01-18.)
In: 30th European Simulation and Modeling Conference - ESM'16 European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS), Las Palmas, pp. 91-95.
Colored Petri Net Based Diagnosis of Process Systems