1445 search results - page 101 / 289 » Properties of state spaces and their applications |
161
click to vote
DM
2010
15 years 6 months ago
2010
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, sta...
167
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
191
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
185
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
154
click to vote
IJRR
2010
15 years 3 months ago
2010
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...