Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
A SAT-based approach for the construction of reusable control system components
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Hi-index | 0.00 |