2377 search results - page 50 / 476 » Hybrid Systems in TLA |
84
Voted
HYBRID
2009
Springer
15 years 5 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...
71
Voted
HYBRID
2003
Springer
15 years 4 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...
72
Voted
ICRA
2009
IEEE
15 years 5 months 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...
ISORC
2000
IEEE
15 years 3 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...
95
Voted
IANDC
2008
14 years 11 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...