378 search results - page 37 / 76 » Computing Controllers for Nonlinear Hybrid Systems |
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
103
click to vote
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...