898 search results - page 80 / 180 » Transitions of the Pre-Symmetry Set |
137
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
180
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We study the mixing time of some Markov Chains converging to critical physical models. These models are indexed by a parameter β and there exists some critical value βc where th...
152
click to vote
GRC
2005
IEEE
16 years 19 hour ago
2005
IEEE
: This study presents an evolution strategy used to infer fuzzy finite-state automata from examples of a fuzzy language. We describe the fitness function of an generated automata w...
167
click to vote
MDAI
2005
Springer
15 years 12 months ago
2005
Springer
We formulate a fuzzy perceptive model for Markov decision processes with discounted payoff in which the perception for transition probabilities is described by fuzzy sets. Our aim...
152
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...