Browsing by Subject "Operations research & management science"

Now showing items 1-2 of 2

On the computation of counterexamples in compositional nonblocking verification

Malik, Robi; Ware, Simon (Springer, 2020)

This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that ...
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

Malik, Robi; Teixeira, Marcelo (Springer, 2020)

This paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable supervisors. ...