The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
-
Updated
Jun 6, 2024 - Java
#
supervisory-control
Here are 5 public repositories matching this topic...
Control your iot devices with Shuei App
windows iot remote-control cross-platform management supervisor android-app flutter linux-app residential-automation supervisory-control
-
Updated
May 3, 2023 - C++
Basic operations for deterministic finite automata for supervisory control of discrete event systems. The operations and automata representation in memory are meant to be "fit". The use of the software is easy and only uses python native features.
-
Updated
Jul 29, 2020 - Python
Implementação de um protocolo de comunicação por socket, com o objetivo de realizar o monitoramento de sensores nos equipamentos de uma dada industria.
-
Updated
May 14, 2022 - C
Improve this page
Add a description, image, and links to the supervisory-control topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the supervisory-control topic, visit your repo's landing page and select "manage topics."