HYSDEL - Hybrid System DEscription Language
HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems, automata, if-then-else and propositional logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately used for optimization, to solve, e.g., optimal control, safety verification, or estimation and fault detection problems.
- Download HYSDEL.
- Browse the PDF documentation for HYSDEL 3.0.
- Explore examples.
- Go through the HYSDEL-related reading list.
- Contact the HYSDEL crew if you have any questions and/or comments.