Related papers: Bisimulations for Delimited-Control Operators
Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to…
Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a…
The control of bilinear systems has attracted considerable attention in the field of systems and control for decades, owing to their prevalence in diverse applications across science and engineering disciplines. Although much work has been…
Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic systems, divergence is of major concern. Recently several…
Reactive systems \`a la Leifer and Milner, an abstract categorical framework for rewriting, provide a suitable framework for deriving bisimulation congruences. This is done by synthesizing interactions with the environment in order to…
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if…
Building generalizable goal-conditioned agents from rich observations is a key to reinforcement learning (RL) solving real world problems. Traditionally in goal-conditioned RL, an agent is provided with the exact goal they intend to reach.…
The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry…
We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources…
We study local regularity properties of linear, non-uniformly parabolic finite-difference operators in divergence form related to the random conductance model on $\mathbb Z^d$. In particular, we provide an oscillation decay assuming only…
We present $\lambda_B$, a quantum-control $\lambda$-calculus that refines previous basis-sensitive systems by allowing abstractions to be expressed with respect to arbitrary -- possibly entangled -- bases. Each abstraction and let construct…
We establish a characterization of unitary equivalence of two bilateral operator valued weighted shifts with quasi-invertible weights by an operator of diagonal form. We also present an example of unitary equivalence between shifts defined…
In this paper, we introduce two types of deformation maps of quasi-twilled associative algebras. Each type of deformation maps unify various operators on associative algebras. Right deformation maps unify modified Rota-Baxter operators of…
The paper is an attempt to generalize a methodology, which is similar to the bounded-input bounded-output method currently widely used for the system stability studies. The presented earlier methodology allows decomposition of input space…
We redefine the transition function of elementary cellular automata (ECA) in terms of discrete operators. The operator representation provides a clear hint about the way systems behave both at the local and the global scale. We show that…
A $q$-deformed Weyl-Heisenberg algebra is used to define a deformed displacement operator giving rise to a naturally normalized nonlinear coherent states type. Robust maximally entangled deformed coherent states are studied and the effect…
We establish the various properties as well as diverse relations of the ascent and descent spectra for bounded linear operators. We specially focus on the theory of subspectrum. Furthermore, we construct a new concept of convergence for…
We introduce two extensions of the $\lambda$-calculus with a probabilistic choice operator, $\Lambda_\oplus^{cbv}$ and $\Lambda_\oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that…
The blocked composite operators are defined in the one-component Euclidean scalar field theory, and shown to generate a linear transformation of the operators, the operator mixing. This transformation allows us to introduce the parallel…
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, $\lambda_\rho$, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide…