Related papers: Dissipativity of system abstractions obtained usin…
Families of regimes for discrete control systems are studied possessing a special quasi-controllability property that is similar to the Kalman controllability property. A new approach is proposed to estimate the amplitudes of transient…
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate…
The relationship between different dissipativity concepts for linear time-varying systems is studied, in particular between port-Hamiltonian systems, passive systems, and systems with nonnegative supply. It is shown that linear time-varying…
For linear dynamical systems (in continuous-time and discrete-time) we revisit and extend the concepts of hypocoercivity and hypocontractivity and give a detailed analysis of the relations of these concepts to (asymptotic) stability, as…
Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-state system whose behaviour mimics that of a given…
We study dissipative dynamics constructed by means of non-commutative Dirichlet forms for various lattice systems with multiparticle interactions associated to CCR algebras. We give a number of explicit examples of such models. Using an…
This work considers stochastic operators in general inner-product spaces, and in particular, systems with stochastically time-varying input delays of a known probability distribution. Stochastic dissipativity and stability are defined from…
Lattice systems and discrete networks with dissipative interactions are successfully employed as meso-scale models of heterogeneous solids. As the application scale generally is much larger than that of the discrete links, physically…
Starting from the geometric description of quantum systems, we propose a novel approach to time-independet dissipative quantum processes according to which the energy is dissipated but the coherence of the states is preserved. Our proposal…
We present a fully automatic framework for synthesising compact, finite-state deterministic abstractions of deterministic, continuous-state autonomous systems under locally specified resolution requirements. Our approach builds on…
This paper addresses the design of robust dynamic output feedback control for highly uncertain systems in which the unknown disturbance might be excited by the derivative of the control input. This context appears in many industrial…
Control by dissipation, or environment engineering, constitutes an important methodology within quantum coherent control which was proposed to improve the robustness and scalability of quantum control systems. The system-environment…
We derive dynamical equations for a driven, dissipative quantum system in which the environment- induced relaxation rate is comparable to the Rabi frequency, avoiding assumptions on the frequency dependence of the environmental coupling.…
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics the one of the systems of interest. Typically, abstractions…
We present a control design procedure for nonlinear control systems in which we represent a potentially high dimensional system with a low dimensional continuous-state abstraction. The abstraction generates a reference which the original…
This work is concerned with stabilization of an abstract linear dissipative integrodiffrential equation with infinite memory modeling linear viscoelasticity where the relaxation function satisfies $ g'(t)\leq -\xi(t)g^p(t), \forall t\geq 0,…
Reservoir computing systems are constructed using a driven dynamical system in which external inputs can alter the evolving states of a system. These paradigms are used in information processing, machine learning, and computation. A…
We study generic open quantum systems with Markovian dissipation, focusing on a class of stochastic Liouvillian operators of Lindblad form with independent random dissipation channels (jump operators) and a random Hamiltonian. We perform a…
In this document, some novel theoretical and computational techniques for constrained approximation of data-driven systems, are presented. The motivation for the development of these techniques came from structure-preserving matrix…
Finite abstractions (a.k.a. symbolic models) offer an effective scheme for approximating the complex continuous-space systems with simpler models in the discrete-space domain. A crucial aspect, however, is to establish a formal relation…