289 search results - page 22 / 58 » Compositional analysis for linear control systems |
SCL
2008
13 years 9 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...