Related papers: Limit Time Optimal Synthesis for a Control-Affine …
Consider the control system given by $\dot x=x(f+ug)$, where $x\in SO(3)$, $|u|\leq 1$ and $f,g\in so(3)$ define two perpendicular left-invariant vector fields normalized so that $\|f\|=\cos(\al)$ and $\|g\|=\sin(\al)$, $\al\in ]0,\pi/4[$.…
For the time optimal control on an invariant system on SU(2), with two independent controls and a bound on the norm of the control, the extremals of the maximum principle are explicit functions of time and the resulting differential…
We consider a quantum control problem involving a spin-1/2 particle in a magnetic field. The magnitude of the field is held constant, and the direction of the field, which is constrained to lie in the x-y plane, serves as a control…
We present an algebraic framework to study the time-optimal synthesis of arbitrary unitaries in SU(2), when the control set is restricted to rotations around two non-parallel axes in the Bloch sphere. Our method bypasses commonly used…
Sums-of-squares (SOS) optimization is a promising tool to synthesize certifiable controllers for nonlinear dynamical systems. Building upon prior works, we demonstrate that SOS can synthesize dynamic controllers with bounded suboptimal…
This paper proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called $\text{STyLuS}^{*}$ for large-Scale optimal Temporal Logic Synthesis, that is designed to…
In this paper, we study some control problems that derive from time optimal control of coupled spin dynamics in NMR spectroscopy and quantum information and computation. Time optimal control helps to minimize relaxation losses. The ability…
We introduce a metric that can quantify the temporal relaxation of Signal Temporal Logic (STL) specifications and facilitate resilient control synthesis in the face of infeasibilities. The proposed metric quantifies a cumulative notion of…
We consider an approximating control design for optimal mixing of a non-dissipative scalar field $\theta$ in unsteady Stokes flows. The objective of our approach is to achieve optimal mixing at a given final time $T>0$, via the active…
This paper addresses the problem of control synthesis for nonlinear optimal control problems in the presence of state and input constraints. The presented approach relies upon transforming the given problem into an infinite-dimensional…
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at…
This paper designs H2 and H-infinity distributed controllers with local communication and local disturbance rejection. We propose a two-step procedure: first, select closed-loop poles; then, optimize over parameterized controllers. We build…
We derive the explicit solution of the problem of time-optimal control by a common magnetic fields for two independent spin-$\frac{1}{2}$ particles. Our approach is based on the Pontryagin Maximum Principle and a novel symmetry reduction…
In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case…
Given a Markov decision process (MDP) and a linear-time ($\omega$-regular or LTL) specification, the controller synthesis problem aims to compute the optimal policy that satisfies the specification. More recently, problems that reason over…
This work presents a sum-of-squares (SOS) based framework to perform data-driven stabilization and robust control tasks on discrete-time linear systems where the full-state observations are corrupted by L-infinity bounded input,…
With the shrinking technology nodes, timing optimization becomes increasingly challenging. Approximate logic synthesis (ALS) can perform local approximate changes (LACs) on circuits to optimize timing with the cost of slight inaccuracy.…
A challenging problem for autonomous systems is to synthesize a reactive controller that conforms to a set of given correctness properties. Linear temporal logic (LTL) provides a formal language to specify the desired behavioral properties…
This paper addresses the problem of finite horizon constrained robust optimal control for nonlinear systems subject to norm-bounded disturbances. To this end, the underlying uncertain nonlinear system is decomposed based on a first-order…
We study the time optimal control problem with a general target $\mathcal S$ for a class of differential inclusions that satisfy mild smoothness and controllability assumptions. In particular, we do not require Petrov's condition at the…