Abstract: A well known strategy for handling the exponential complexity of modular discrete event systems is to represent the state space symbolically, using binary decision diagrams (BBDs). In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback