HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
HYBRID
2003
Springer
13 years 9 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...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...