“…Here X , U and Y are separable complex Hilbert spaces, T = (T t ) t≥0 is a strongly continuous semigroup on X , Φ = (Φ t ) t≥0 is a family of bounded linear operators from L 2 (R + , U ) to X (input-to-state maps), Ψ = (Ψ t ) t≥0 is a family of bounded linear operators from X to L 2 (R + , Y ) (state-to-output maps) and G = (G t ) t≥0 is a family of bounded linear operators from L 2 (R + , U ) to L 2 (R + , Y ) (input-to-output maps). In order for Σ to qualify as a well-posed system, these families of operators need to satisfy certain natural conditions, see [39,43,45,46]. Particular consequences of these conditions are the following properties:…”