2364 search results - page 42 / 473 » On O-Minimal Hybrid Systems |
155
click to vote
ICIP
1999
IEEE
16 years 7 months ago
1999
IEEE
A dedicated hardware system is developed for a recent class of nonlinear hybrid filters called Order StatisticsRational Hybrid Filters (OSRHF). The performance of these filters is...
167
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
143
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
139
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
176
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...