3342 search results - page 41 / 669 » Symbolic Robustness Analysis |
159
click to vote
DDECS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
118
click to vote
EVOW
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The idea of symbolic controllers tries to bridge the gap between the top-down manual design of the controller architecture, as advocated in Brooks’ subsumption architec...
141
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
149
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...
126
click to vote
TWC
2008
15 years 5 months ago
2008
In ultra-wideband (UWB) communications, the typical signal propagation through dense multipath fading offers potentially very large multipath diversity, but at the same time compl...