5200 search results - page 48 / 1040 » Symbolic models for control systems |
110
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
115
click to vote
CG
2002
Springer
15 years 1 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
130
click to vote
NIPS
2001
15 years 3 months ago
2001
We show that it is possible to extend hidden Markov models to have a countably infinite number of hidden states. By using the theory of Dirichlet processes we can implicitly integ...
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
135
click to vote
ICAS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...