HYSDEL

HYSDEL

Description: HYSDEL (Hybrid System DEscription Language) 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.

VO Integration: No

Active: Yes

Available Benchmarks: No

Website: http://people.ee.ethz.ch/~cohysys/hysdel/

Download: Link

Documentation: Manual and related reading list.

Contact: Email the contributors here.

Excerpt and graphic from: http://people.ee.ethz.ch/~cohysys/hysdel/