UltraDES

UltraDES is an object oriented library composed of data structures and algorithms for the modeling, analysis and control of discrete event systems (DES). The library was developed in C# language and is based on the .NET Framework.

UltraDES can be used in any programming language and platform that supports .NET Standard 2.0, even in mobile environments, like in Android and IOS apps.

The library has several algorithms implemented, most of then used in the Supervisory Control Theory, but also some algorithms and data structures for graphs and petri nets.

Requirements

• Supported OS: Windows, MAC OS or Linux (Mono or .Net Core).
• Your computer must have a C# capable IDE (Visual Studio, VSCode, LinqPad, etc.).
• Download the latest version of UltraDES (github.com/lacsed/UltraDES), by clicking on Clone or Download and then Download Zip or use the UltraDES Nuget package.

First steps

• Extract all the files of the zip or tar.gz file in your working directory.
• Double click on the UltraDES.sln file.
• Congratulations, you are ready to use UltraDES!

What is inside

Initially you are going to find four projects in the Solution Explorer:

• Other examples
• Test – Modular Supervisor
• Test – Monolithic Supervisor
• UltraDES (non executable)

To read the codes, click on the file .cs inside each project.

How to run the projects

• Before running the code, you need to set the project as Startup Project.
  • On Solution Explorer select the project you want to run.
  • On the menu Project, select Set as Startup Project – Project>Set as Startup Project.
• To run the code, click on Debug menu – Debug>Start Debugging.

Creating a new project on Visual Studio

• On the menu File, select New > Project.
• On the New Project window:
  • Select Visual C# > Console App (.NET Framework).
  • Give your project a name.
  • The location of your project should be the same as the other UltraDES projects.
  • In the Solution field, choose Add to Solution.
  • Click on OK to create your project.
• Remember to set your project as Startup Project (see How to run the projects).
• Congratulations, you just created your project!

Inside your project

• In the Solution Explorer, double click on your project.
• Inside your project, right click on the item References>Add Reference…
  • On the Reference Manager window, select Projects>Solution and select UltraDES.
  • Click Ok to close the window.
• To write your code, click on the file .cs inside your project.
• On the .cs file of your project, add the UltraDES library in the header (using UltraDES;).

In your main function, add the code below to create and see your first Automaton.

Creating States

State s1 = new State("s1", Marking.Marked);
State s2 = new State("s2", Marking.Unmarked);

Creating Events

Event e1 = new Event("e1", Controllability.Controllable);
Event e2 = new Event("e2", Controllability.Uncontrollable);

Event e3 = new Event("e3", Controllability.Controllable);
Event e4 = new Event("e4", Controllability.Uncontrollable);

Creating Transitions

var t = new Transition(s1, e1, s2);

Creating an Automaton

var G1 = new DeterministicFiniteAutomaton(new[]
  {
    new Transition(s1, e1, s2), 
    new Transition(s2, e2, s1)
  }, s1, "G1");
  
  var G2 = new DeterministicFiniteAutomaton(new[]
  {
    new Transition(s1, e3, s2), 
    new Transition(s2, e4, s1)
  }, s1, "G2");

Operations with Automata

Making a Parallel composition

var Gp = G1.ParallelCompositionWith(G2); 

Showing the Automaton

 G.ShowAutomaton("G");

Other examples

For more examples on how to create more complex automata or how to use the methods, read the other projects.

Try UltraDES

Research

If you use UltraDES in your paper, please cite using:

@article{UltraDES2017,
  title={UltraDES-A Library for Modeling, Analysis and Control of Discrete Event Systems},
  author={Alves, Lucas V. R. and Martins, Lucas R. R. and Pena, Patrícia N.},
  journal = {Proceedings of the 20th World Congress of the International Federation of Automatic Control},
  pages={5831--5836},
  year={2017},
}