Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures

Farn Wang

We use dense variable-ordering to define HRD (Hybrid-Restriction Diagram), a new BDD-like data-structure for the representation and manipulation of state-spaces of linear hybrid au…