Dynamics of quantum systems, controlled by external fields
An easy to use GUI enables electric source and grid simulation.
The beat of your business
This is a template Python code set to use JModelica easily.
A unified framework for concurrency bug fixing
Toolkit for Automatic Control and Dynamic Optimization
A tool for parametric model checking of UPPAAL models.
Real-time Monitoring & Control of Drinking Water Networks
Optimal Trajectory Generation Software for MATLAB
To be used for the Bear 100 Race: see http://www.bear100.com/
Open source infrastructure and OS for logistics. A full end to end ope