4693 search results - page 213 / 939 » Verifying Hybrid Systems |
179
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
159
click to vote
VMCAI
2009
Springer
16 years 10 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
149
Voted
ICRA
2007
IEEE
2007
IEEE
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
15 years 12 months ago
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
146
click to vote
SSIAI
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we introduce a Hybrid Hidden Markov Model (HMM) face recognition system. The proposed system contains a low-complexity 2-D HMM-based face recognition (LC 2D-HMM FR)...
158
click to vote
INTERSPEECH
2010
15 years 11 days ago
2010
The paper investigates a new method to solve concatenation problems of Mandarin speech synthesis which is based on the hybrid approach of HMM-based speech synthesis and unit selec...