21 citations · 30 across the 4 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
eess.SY2012★ 8 cited
Communicating Processes with Data for Supervisory Coordination
Jasen Markovski
We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-e…
cs.LO2012
Scalable Minimization Algorithm for Partial Bisimulation
J. Markovski
We present an efficient algorithm for computing the partial bisimulation preorder and equivalence for labeled transitions systems. The partial bisimulation preorder lies between si…