Browsing by Subject "Extended Finite-State Machines"

Now showing items 1-1 of 1

  • Supremica-An Efficient Tool for Large-Scale Discrete Event Systems

    Malik, Robi; Akesson, Knut; Flordal, Hugo; Fabian, Martin (Elsevier, 2017)
    Supremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework ...