To search, Click below search items.

 

All Published Papers Search Service

Results for Symbolic state space generation; Total 1

Title

Implementation of Symbolic State Space Generator using Reduced Ordered Binary Decision Diagram based on SDES Description in PDETOOL Framework

Author

Reza Fathi, Mohammad Abdollahi Azgomi
Citation

Vol. 13  No. 7  pp. 79-86

Keywords

Symbolic state space generation; reduced ordered binary decision diagrams, state space explosion; SDES description; stochastic discrete event systems.

[1]