2377 search results - page 157 / 476 » Hybrid Systems in TLA |
184
click to vote
TSMC
2010
15 years 1 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
201
click to vote
BMCBI
2006
15 years 6 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...
178
click to vote
VMCAI
2009
Springer
16 years 1 months 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...
166
click to vote
ICRA
2007
IEEE
2007
IEEE
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
16 years 23 days 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...
141
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...