This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key role in the analysis of the input to state stability property, and the results given here extend their validity to the case when the output, but not necessarily the entire internal state, is being regulated.

The generalized methodology for electronic networks optimization was elaborated by means of the optimal control theory approach. A special control vector is defined to redistribute the compute expense between a network analysis and a parametric optimization. In this case the problem of the electronic system optimization is formulated as a classical problem of functional minimization of the opti...

The circuit optimization process is formulated as a dynamic controllable system. A special control vector is defined to redistribute the compute expense between a network analysis and a parametric optimization. This redistribution permits the minimization a computer time. The problem of a minimal-time circuit optimization can be formulated in this case as a classical problem of the optimal cont...

In this paper a convex optimization approach to design a robust state feedback control is proposed for DC-DC converter systems with mixed delays. Based on the Lyapunov theory, some required sufficient conditions are established in terms of delay-dependent linear matrix inequalities for the stochastic stability and stabilization of the considered system using some free matrices. The desired cont...

This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid systems, we show how one can exploit recently developed optimization methods based on sum-of-squares decomposition to construct a polynomial Lyapunov function. We then show how these methods can be extended to infinite di...

The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterized as sublevel sets of Lyapunov functions. Finite-dimensional polynomial parametrizations for Lyapunov functions are used. A methodology utilizing information from simulations to generate Lyapunov function candidates sa...

The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions and the associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance sp...

It is shown that for smooth nonlinear systems conditions for the existence of a Lyapunov function that guarantees uniform exponential stability can be formulated as linear inequalities deened pointwise in the state-space when assuming a general linearly parameterized class of smooth non-quadratic Lyapunov-function candidates. Hence, computation of the Lyapunov function involves the solution of ...

In this work we discuss several notions on input-to-output stability for discrete time systems. We first discuss how the notions differ from each other, then we provide Lyapunov characterizations for these input-to-output stability properties. Copyright c ©2005 IFAC