We consider forced Lur'e systems in which the linear dynamic component is an infinite-dimensional well-posed system. Numerous physically motivated delay-and partial-differential equations are known to belong to this class of infinitedimensional systems. We investigate input-to-state stability (ISS) and incremental ISS properties: our results are reminiscent of well-known absolute stability criteria such as the complex Aizerman conjecture and the circle criterion. The incremental ISS results are used to derive certain convergence properties, namely the convergentinput convergent-state (CICS) property and asymptotic periodicity of the state and output under periodic forcing. In particular, we provide sufficient conditions for ISS and incremental ISS. The theory is illustrated with examples.

We derive an error bound in the gap metric for positive real balanced truncation and positive real singular perturbation approximation. We prove these results by working in the context of dissipative driving-variable systems, as in behavioral and state/signal systems theory. In such a framework no prior distinction is made between inputs and outputs. Dissipativity preserving balanced truncation of dissipative driving-variable systems is addressed and a gap metric error bound is obtained. Bounded real and positive real input-state-output systems are manifestations of a dissipative driving-variable system through particular decompositions of the signal space. Under such decompositions the existing bounded real and positive real balanced truncation schemes can be seen as special cases of dissipative balanced truncation and the new positive real error bounds follow.

Incremental stability and convergence properties for forced, infinite-dimensional, discretetime Lur'e systems are addressed. Lur'e systems have a linear and nonlinear component and arise as the feedback interconnection of a linear control system and a static nonlinearity. Discrete-time Lur'e systems arise in, for example, sampled-data control and integro-difference models. We provide conditions, reminiscent of classical absolute stability criteria, which are sufficient for a range of incremental stability properties and input-to-state stability (ISS). Consequences of our results include sufficient conditions for the converging-input convergingstate (CICS) property, and convergence to periodic solutions under periodic forcing.

We consider a general class of operator-valued irrational positive-real functions with an emphasis on their frequency-domain properties and the relation with stabilization by output feedback. Such functions arise naturally as the transfer functions of numerous infinite-dimensional control systems, including examples specified by PDEs. Our results include characterizations of positive realness in terms of imaginary axis conditions, as well as characterizations in terms of stabilizing output feedback, where both static and dynamic output feedback are considered. In particular, it is shown that stabilizability by all static output feedback operators belonging to a sector can be characterized in terms of a natural positive-real condition and, furthermore, we derive a characterization of positive realness in terms of a mixture of imaginary axis and stabilization conditions. Finally, we introduce concepts of strict and strong positive realness, prove results which relate these notions and analyse the relationship between the strong positive realness property and stabilization by feedback. The theory is illustrated by examples, some arising from controlled and observed partial differential equations.