Operator-Theoretic Characterization of Eventually Monotone Systems

Operator-Theoretic Identification of Closed Sub- Systems of Dynamical Systems

A central problem of dynamical systems theory is to identify a reduced description of the dynamical process one can deal easier. In this paper we present a systematic method of identifying those closed sub-systems of a given discrete time dynamical system in the frame of operator theory. It is shown that this problem is closely related to finding invariant sigma algebras of the dynamics. Index ...

Spectral theoretic characterization of the massless Dirac operator

We consider an elliptic self-adjoint first-order differential operator acting on pairs (2-columns) of complex-valued half-densities over a connected compact three-dimensional manifold without boundary. The principal symbol of our operator is assumed to be trace-free. We study the spectral function which is the sum of squares of Euclidean norms of eigenfunctions evaluated at a given point of the...

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

Operator precedence languages were introduced half a century ago by Robert Floyd to support deterministic and efficient parsing of context-free languages. Recently, we renewed our interest in this class of languages thanks to a few distinguishing properties that make them attractive for exploiting various modern technologies. Precisely, their local parsability enables parallel and incremental p...

Shaping Pulses to Control Bistable Monotone Systems Using Koopman Operator

In this paper, we further develop a recently proposed control method to switch a bistable system between its steady states using temporal pulses. The motivation for using pulses comes from biomedical and biological applications (e.g. synthetic biology), where it is generally difficult to build feedback control systems due to technical limitations in sensing and actuation. The original framework...

Ergodic Theoretic Characterization of Left Amenable Lau Algebras