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

About this item

Title

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

Content partner

University of Waikato

Collection

ResearchCommons@Waikato

Description

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 in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and c...

Read more

Format

Research Paper

Research format

Journal article

Date created

2017

Creator

Malik, Robi / Akesson, Knut / Flordal, Hugo / Fabian, Martin

URL

https://hdl.handle.net/10289/12143

Related subjects

Discrete Event Systems / Supervisory Control / Extended Finite-State Machines / Synthesis / Verification / Formal Methods / SUPERVISORY CONTROL / VERIFICATION / FRAMEWORK

What is the copyright status of this item?

All Rights Reserved

This item is all rights reserved, which means you'll have to get permission from University of Waikato before using it.

More Information

University of Waikato has this to say about the rights status of this item:

©2023 The Author(s). This is an open-access article under the CCBY license (http://creativecommons.org/licenses/by/4.0/).

You can learn more about the rights status of this item at: https://researchcommons.waikato.ac.nz/pages/copyright_reuse/en

What can I do with this item?

You must always check with University of Waikato to confirm the specific terms of use, but this is our understanding:

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying

You are not allowed to adapt or remix this item into any other works.

No commercial use

You may not use this item commercially.