Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
| dc.creator | Wang, Farn | |
| dc.date | 2003-06-19 | |
| dc.date | 2003-10-27 | |
| dc.date.accessioned | 2026-07-07T03:19:56Z | |
| dc.date.available | 2026-07-07T03:19:56Z | |
| dc.description | 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 automata. We present and discuss various manipulation algorithms for HRD, including the basic set-oriented operations, weakest precondition calculation, and normalization. We implemented the ideas and experimented to see their performance. Finally, we have also developed a pruning technique for state-space exploration based on parameter valuation space characterization. The technique showed good promise in our experiment. | |
| dc.description | 11 pages, 1 figure | |
| dc.identifier | https://arxiv.org/abs/cs/0306113 | |
| dc.identifier | http://arxiv.org/abs/cs/0306113 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31664 | |
| dc.subject | Data Structures and Algorithms | |
| dc.subject | Logic in Computer Science | |
| dc.subject | B.2.2; B.4.4; B.5.2; B.6.3; D.2.4; F.1.1; F.3.1; F.4.1 | |
| dc.title | Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures | |
| dc.type | text |