E. Salimi
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.
IEEE Trans. Autom. Control., 2015
On supervisory policies that enforce liveness in controlled Petri nets that are similar.
Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015