JDec is a Java application for decentralized control.
- Creating, saving, and loading automata
- Generating
$\mathcal{U}$ structures of finite languages - Determining inference observability for finite languages (up to self-loops)
- Java 17 or later
- Apache Maven (if you are building from source)
Prebuilt JAR files for JDec are available in the releases page. Download and double-click the JAR file to launch JDec.
A user guide is available in our Wiki.
git clone https://github.com/Summer2023SHY/JDec.git
mvn compile exec:java
mvn test
mvn javadoc:aggregate
Then open target/site/apidocs/index.html