On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Control Synthesis of Petri Nets Based on S-Decreases
Discrete Event Dynamic Systems
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 22.14 |
Given a linear constraint on the firing vectors of a live marked graph with uncontrollable/unobservable transitions, bounded or unbounded, we apply linear programming techniques to compute the most liberal controller enforcing this constraint.