4 search results - page 1 / 1 » Optimization techniques for BDD-based bisimulation computati... |
GLVLSI
2007
IEEE
13 years 11 months ago
2007
IEEE
AUTOMATICA
2007
13 years 5 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
EMMCVPR
2001
Springer
13 years 9 months ago
2001
Springer
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...