Related papers: Necessary and Sufficient Conditions for Harmonic C…
Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For this class of models, methods for the formal verification…
We prove existence and regularity for the solutions to a Cahn-Hilliard system describing the phenomenon of phase separation for a material contained in a bounded and regular domain. Since the first equation of the system is perturbed by the…
We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear…
Limitations of the delayed feedback control and of its extended versions have been fully treated in the literature. The oscillating delayed feedback control appears as a promising scheme to overcome this problem. In this work, two methods…
In this paper we propose a model predictive control scheme for constrained fractional-order discrete-time systems. We prove that all constraints are satisfied at all time instants and we prescribe conditions for the origin to be an…
A theoretical study on the high-harmonic generation (HHG) in solids by a synthesized driver field is carried out. The vector potential of the driver field is instrumental in determining the Bloch oscillations of the electrons in a periodic…
This letter presents a unified framework for the design of prescribed-time controllers under time-varying input and state constraints for normal-form unknown nonlinear systems with uncertain input gain. The proposed approach is based on a…
This paper studies quantized control for discrete-time piecewise affine systems. For given stabilizing feedback controllers, we propose an encoding strategy for local stability. If the quantized state is near the boundaries of quantization…
We propose a mechanism which produces periodic variations of the degree of predictability in dynamical systems. It is shown that even in the absence of noise when the control parameter changes periodically in time, below and above the…
We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time…
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorithm to obtain a time-partitioned finite automaton from an STL…
We consider a system that is exactly controllable. For given initial state, terminal state and objective function, an optimal control is often well-defined. Such an optimal control has the disadvantage that although it works perfectly well…
In this paper we give an exact invariant for a relativistic linear harmonic oscillator with time-dependent frequency. This is accomplished, following Eliezer and Gray \cite{EliezerGray}, for the non-relativistic case, by associating a…
We study boundary regional controllability problems for a class of semilinear fractional systems. Sufficient conditions for regional boundary controllability are proved by assuming that the associated linear system is approximately…
We show that, for disjoint domains in the Euclidean space, mutual absolute continuity of their harmonic measures implies absolute continuity with respect to surface measure and rectifiability in the intersection of their boundaries. This…
A solid system consisting of two heat conducting cylinders with a thermoelectric converter (Peltier element) between them is considered. A nonlinear model, which was previously verified by authors, is used to design a constrained control…
The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly. Synthesizing correct-by-design control laws is a…
A fundamental theory of deterministic linear-quadratic (LQ) control is the equivalent relationship between control problems, two-point boundary value problems and Riccati equations. In this paper, we extend the equivalence to a general…
Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and…
The main motivation of this article is to derive sufficient conditions for dynamical stability of periodically driven quantum systems described by a Hamiltonian H(t), i.e., conditions under which it holds sup_{t in R} | (psi(t),H(t) psi(t))…