Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


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.