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

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

2003-06-19

arxiv.org/abs/cs/0306113v2

Computer Science

Data Structures and Algorithms

11 pages, 1 figure

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-401962