Related papers: Specification in Mahavier Systems via Closed Relat…
We study different types of transitive points in CR-dynamical systems (X,G) with closed relations G on compact metric spaces X. We also introduce transitive and dense orbit transitive CR-dynamical systems and discuss their properties and…
A chaotic dynamics generalizing the Verhulst, Ricker dynamics and containing a new parameter is introduced. It is established that with the value of this parameter approaching the fine-structure constant the chaos in the system is…
We discuss the problems of modeling, control, and decision support in complex dynamic systems from a general system theoretic point of view. The main characteristics of complex systems and of system approach to complex system study are…
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analysis, design, implementation, testing, and maintenance…
We introduce a new tool for the quantitative characterisation of the departure form Markovianity of a given dynamical process. Our tool can be applied to a generic $N$-level system and extended straightforwardly to Gaussian…
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, control systems consider properties that concern static aspects…
Constrained Hamiltonian description of the classical limit is utilized in order to derive consistent dynamical equations for hybrid quantum-classical systems. Starting with a compound quantum system in the Hamiltonian formulation conditions…
Structural parameter identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. One of the standard approaches to assessing this…
In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback asymptotically stabilizes the goal set. Our results rely on novel reduction principles…
A basic issue for Navier-Stokes (NS) fluids is their characterization in terms of the so-called NS phase-space classical dynamical system, which provides a mathematical model for the description of the dynamics of infinitesimal (or…
Engineering quantum systems offers great opportunities both technologically and scientifically for communication, computation, and simulation. The construction and operation of large scale quantum information devices presents a grand…
The concept of random dynamical system is a comparatively recent development combining ideas and methods from the well developed areas of probability theory and dynamical systems. Due to our inaccurate knowledge of the particular physical…
Regularity properties of the pressure are related to phase transitions. In this article we study thermodynamic formalism for systems defined in non-compact phase spaces, our main focus being countable Markov shifts. We produce metric…
In dissipative dynamical systems phase space volumes contract, on average. Therefore, the invariant measure on the attractor is singular with respect to the Lebesgue measure. As noted by Ruelle, a generic perturbation pushes the state out…
One of the main features of adaptive systems is an oscillatory convergence that exacerbates with the speed of adaptation. Recently it has been shown that Closed-loop Reference Models (CRMs) can result in improved transient performance over…
It has long been suggested that the mid-latitude atmospheric circulation possesses what has come to be known as `weather regimes', loosely categorised as regions of phase space with above-average density and/or extended persistence. Their…
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand,…
Although it is unambiguously agreed that structure plays a fundamental role in shaping the dynamics of complex systems, this intricate relationship still remains unclear. We investigate a general computational transformation by which we can…
The modeling framework of port-Hamiltonian systems is systematically extended to constrained dynamical systems (descriptor systems, differential-algebraic equations). A new algebraically and geometrically defined system structure is…
Determination of the nature of the dynamical state of a system as a function of its parameters is an important problem in the study of dynamical systems. This problem becomes harder in experimental systems where the obtained data is…