Software

Below you can find the diverse software generated in my lab.

All software is provided as-is, free to use, and with no warranties. If you find any bug or problem with any of our software packages, please report those on the related github project, or via email to me.

Software Projects

Links to software

ETCetera
Abstraction and synthesis tool for timing models of ETC systems
Read moreRepository
Python2UPPAAL
Tool to port timed automata constructed in Python to UPPAAL format
Read moreRepository
SCOTS2FPGA
Porting Symbolic Controllers into FPGA implementations
Read moreRepository
SARXSAT
Hybrid System's Identification Toolbox based on L_0 minimization and SAT-solving
Read moreRepository
ANT3000
Stigmergy-based swarming simulator
Read moreRepository
SCOTS2SR
Symbolic fitting of SCOTSv2.0 BDD controllers
Read moreRepository
SR2JLIB
Symbolic Regression library for fitting data with vector functions via GGGP
Read moreRepository
SCOTS2C
SCOTSv2.0 BDD controllers determinizer
Read moreRepository
COTONN 2.0
Transcoder of Symbolic Controllers into (Deep) Neural Networks v2.0
Read moreRepository
COTONN
Transcoder of Symbolic Controllers into (Deep) Neural Networks
Read moreRepository
PESSOA
Symbolic Controller Synthesis Matlab Toolbox (Discontinued support)
Read moreRepository