6120 search results - page 33 / 1224 » The Power of Linear Functions |
AUTOMATICA
2008
2008
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions
13 years 8 months ago
Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admi...
ISSAC
2005
Springer
14 years 3 months ago
2005
Springer
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
AUTOMATICA
2005
13 years 9 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...