2019-2022 FDCT Opacity verification and enforcement in the framework of partially observed Petri nets  PI

2018-2021 FDCT State space characterization of resource allocation systems: An algebraic approach  PI

2017-2020 FDCT Optimal and Dynamic Control of Discrete Event Systems Modeled with Petri Nets  PI

2016-2019 FDCT On mining and construction of Petri net models for discrete event systems by external observations  PI

2014-2017 FDCT Asymptotically stable supervisor synthesis and optimization of discrete event systems modeledwithPetri nets  PI