Browsing by Subject "Operations Research & Management Science"
Now showing items 1-2 of 2
-
A framework for compositional nonblocking verification of extended finite-state machines
(Springer, 2016-03-01)This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence ... -
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
(SPRINGER, 2015-06-01)This paper introduces Hierarchical Interface-Based Supervisory Control using the Conflict Preorder and applies it to the design of two manufacturing systems models of practical scale. Hierarchical Interface-Based Supervisory ...
