3823 search results - page 108 / 765 » Stability of Hybrid Systems |
99
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
108
Voted
ITP
2010
14 years 11 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
97
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
109
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract: This paper considers the task of trajectory stabilization for a fish-like robot by means of feedback. We use oscillatory control inputs and apply correction signals at t...