Related papers: Dissipativity of system abstractions obtained usin…
In this paper, we provide a compositional approach for constructing finite abstractions (a.k.a. finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic switched systems. The proposed framework is based on a…
This paper studies the performance of a continuous controller when implemented on digital devices via sampling and quantization, by leveraging passivity analysis. Degradation of passivity indices from a continuous-time control system to its…
Can simple algorithms with a good representation solve challenging reinforcement learning problems? In this work, we answer this question in the affirmative, where we take "simple learning algorithm" to be tabular Q-Learning, the "good…
Dissipative quantum systems are frequently described within the framework of the so-called "system-plus-reservoir" approach. In this work we assign their description to the Maximum Entropy Formalism and compare the resulting thermodynamic…
Simulating open quantum systems is key to understanding non-equilibrium processes, as persistent influence from the environment induces dissipation and can give rise to steady-state phase transitions. A common strategy is to embed the…
This paper studies the synthesis of controllers for discrete-time, continuous state stochastic systems subject to omega-regular specifications using finite-state abstractions. We present a synthesis algorithm for minimizing or maximizing…
Dissipation induced by interactions with an external environment typically hinders the performance of quantum computation, but in some cases can be turned out as a useful resource. We show the potential enhancement induced by dissipation in…
Discrete-time models of non-uniformly sampled nonlinear systems under zero-order hold relate the next state sample to the current state sample, (constant) input value, and sampling interval. The exact discrete-time model, that is, the…
We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original system for a subset of switching sequences. The proposed method…
We study the stability of a vector field associated to a nearly-integrable Hamiltonian dynamical system to which a dissipation is added. Such a system is governed by two parameters, named the perturbing and dissipative parameters, and it…
Stability and bifurcation properties of one-dimensional discrete dynamical systems with positivity, which are derived from continuous ones by tropical discretization, are studied. The discretized time interval is introduced as a bifurcation…
Developing software for scientific applications that require the integration of diverse types of computing, instruments, and data present challenges that are distinct from commercial software. These applications require scale, and the need…
In this paper we propose dynamic output-feedback controller synthesis methods for discrete-time linear time-invariant systems. The synthesis goal is to achieve dissipativity with respect to a given quadratic supply rate or a given $H_2$…
This paper proposes the design of gain-scheduled static output feedback controllers for the stabilization of continuous-time linear parameter-varying systems with $\mathcal{L}_2$-gain performance. The system is transformed into the form of…
We propose a sample-based, sequential method to abstract a (potentially black-box) dynamical system with a sequence of memory-dependent Markov chains of increasing size. We show that this approximation allows to alleviating a correlation…
The Quasi Steady-State (QSS) model of long-term dynamics relies on the idea of time-scale decomposition. Assuming that the fast variables are infinitely fast and are stable in the long-term, the QSS model replaces the differential equations…
While the utility of well-chosen abstractions for understanding and predicting the behaviour of complex systems is well appreciated, precisely what an abstraction $\textit{is}$ has so far has largely eluded mathematical formalization. In…
The discretization approximation method commonly used to simulate the dynamics of quantum system coupled to the environment in continuum often suffers from the periodically partial recovery of initial state because of the effect of finite…
We introduce a two-state non-conserving driven-diffusive system in one-dimension under a discrete-time updating scheme. We show that the steady-state of the system can be obtained using a matrix product approach. On the other hand, the…
This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for computing finite abstractions utilize some global, analytical…