State Based Control of Timed Discrete Event Systems using Binary ...
State Based Control of Timed Discrete Event Systems using Binary ...
State Based Control of Timed Discrete Event Systems using Binary ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 3. Introduction to <strong>Binary</strong> Decision Diagrams 133.1 Function GraphsIn order to define the BDDs, we first present the definition <strong>of</strong> a function graph.Definition 3.1.1 Function Graph1. A function graph is a rooted, directed graph with vertex set V containing two types<strong>of</strong> vertices, nonterminal and terminal. A nonterminal vertex v has as attributesan argument index index(v) ∈ {1 , ..., n} and children child(v, i) ∈ V , 0 ≤ i