Related papers: Limit Time Optimal Synthesis for a Control-Affine …
This paper presents a method for control synthesis under spatio-temporal constraints. First, we consider the problem of reaching a set $S$ in a user-defined or prescribed time $T$. We define a new class of control Lyapunov functions, called…
In this paper we consider the minimum time population transfer problem for a two level quantum system driven by {\em two} external fields with bounded amplitude. The controls are modeled as real functions and we do not use the Rotating Wave…
For a particular class of planar dynamics that are linear with respect to the control variable, we show that the feedback strategy ''null-singular null'' is minimizing the maximum of a coordinate over infinite horizon, under a L 1 budget…
We consider the time optimal stabilization problem for a nonlinear control system $\dot x=f(x,u)$. Let $\tau(y)$ be the minimum time needed to steer the system from the state $y\in\R^n$ to the origin, and call $\A(T)$ the set of initial…
In this work, we address the issue of controller synthesis for a control-affine nonlinear system to meet prescribed time reach-avoid-stay specifications. Our goal is to improve upon previous methods based on spatiotemporal tubes (STTs) by…
We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the…
Incorporating force bounds is crucial for realistic control implementations in physical systems. Here, we investigate the fastest possible synchronisation of a Li\'enard system to its limit cycle using a bounded external force. To tackle…
In this paper, we study linearly constrained policy optimization over the manifold of Schur stabilizing controllers, equipped with a Riemannian metric that emerges naturally in the context of optimal control problems. We provide extrinsic…
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal Robustness (ATR) was proposed to capture the…
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically…
This paper introduces a novel approach to the optimal control of linear discrete-time systems subject to bounded disturbances. Our approach is based on the newly established duality between ellipsoidal approximations of reachable and hardly…
We are concerned about the controllability of a general linear hyperbolic system of the form $\partial_t w (t, x) = \Sigma(x) \partial_x w (t, x) + \gamma C(x) w(t, x) $ ($\gamma \in \mR$) in one space dimension using boundary controls on…
This paper studies a kind of minimal time control problems related to the exact synchronization for a controlled linear system of parabolic equations. Each problem depends on two parameters: the bound of controls and the initial state. The…
We investigate the null controllability property of the parabolic equation associated with the Grushin operator defined by the canonical almost-Riemannian structure on the 2-dimensional sphere $\mathbb S^2$. This is the natural…
We study time reversal symmetry breaking superconductivity with $\Delta_k = \Delta_{x^2-y^2} (k) +e^{i\theta} \Delta_{\alpha}$ ($\alpha = s$ or $d_{xy}$) symmetries. It is shown that the behavior of such superconductors could be {\em…
In this work we study the asymptotic behavior of the solutions of a class of abstract parabolic time optimal control problems when the generators converge, in an appropriate sense, to a given strictly negative operator. Our main application…
In this paper, we consider supervisory control of stochastic discrete event systems (SDESs) under linear temporal logic specifications. Applying the bounded synthesis, we reduce the supervisor synthesis into a problem of satisfying a safety…
We present a pair of adjoint optimal control problems characterizing a class of time-symmetric stochastic processes defined on random time intervals. The associated PDEs are of free-boundary type. The particularity of our approach is that…
The goal of this paper is to describe a method to solve a class of time optimal control problems which are equivalent to finding the sub-Riemannian minimizing geodesics on a manifold M. In particular, we assume that the manifold M is acted…
In this work, we address the problem of control synthesis for a homogeneous team of robots given a global temporal logic specification and formal user preferences for relaxation in case of infeasibility. The relaxation preferences are…