Related papers: Limit Time Optimal Synthesis for a Control-Affine …
We consider the $\mathbb{H}_2$-optimal feedback control problem, for the case in which the plant is passive with bounded $\mathbb{L}_2$ gain, and the feedback law is constrained to be output-strictly passive. In this circumstance, we show…
We study problems of optimal boundary control with systems governed by linear hyperbolic partial differential equations. The objective function is quadratic and given by an integral over the finite time interval $(0,\, T)$ that depends on…
This paper is concerned with a class of time-optimal control problems for the swing and the ski. We first consider the motion of a man standing on a swing. For simplicity, we neglect friction and air resistance and assume that the mass of…
A major challenge faced in the design of large-scale cyber-physical systems, such as power systems, the Internet of Things or intelligent transportation systems, is that traditional distributed optimal control methods do not scale…
This paper presents a convex optimization-based framework for synthesizing time-varying controlled invariant funnels and associated feedback control around a given nominal trajectory for nonlinear systems subject to bounded disturbances.…
This paper addresses the problem of optimally controlling nonlinear systems with norm-bounded disturbances and parametric uncertainties while robustly satisfying constraints. The proposed approach jointly optimizes a nominal nonlinear…
This paper presents a novel approach to synthesize dual controllers for unknown linear time-invariant systems with the tasks of optimizing a quadratic cost while reducing the uncertainty. To this end, a synthesis problem is defined where…
Decomposition of any Boolean Function BF_n of n binary inputs into an optimal inverter coupled network of Symmetric Boolean functions SF_k (k \leq n) is described. Each SF component is implemented by Threshold Logic Cells, forming a…
This work considers the infinite-time discounted optimal control problem for continuous time input-affine polynomial dynamical systems subject to polynomial state and box input constraints. We propose a sequence of sum-of-squares (SOS)…
In this article, we give a complete characterization of all the unitary transformations that can be synthesized in a given time for a system of coupled spin-1/2 in presence of general time varying coupling tensor. Our treatment is quite…
We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems,…
In this paper, we present a control synthesis framework for a general class of nonlinear, control-affine systems under spatiotemporal and input constraints. First, we study the problem of fixed-time convergence in the presence of input…
In this paper, we study the exact boundary controllability of the linear Biharmonic Schr\"odinger equation $i\partial_ty=-\partial_x^4y+ \gamma\partial_x^2y$ on a bounded domain with hinged boundary conditions and boundary control acts on…
In this paper, we design an optimal energy cost controller for linear systems asymptotic consensus given the topology of the graph. The controller depends only on relative information of the agents. Since finding the control gain for such…
In this paper, we present some properties of time optimal controls for linear ODEs with the ball-type control constraint. More precisely, for an optimal control, we build up an upper bound for the number of its switching points; show that…
In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic…
We present an optimal control problem to guide the selection of morphology classes arising in organic solar cells. The study focuses on phase separation processes in polymer solvent mixtures, with particular attention to solvent evaporation…
The electrical control of a spin qubit in a quantum dot relies on spin-orbit coupling (SOC), which could be either intrinsic to the underlying crystal lattice or heterostructure, or extrinsic via, for example, a micro-magnet. Here we show…
Structured output feedback controller synthesis is an exciting recent concept in modern control design, which bridges between theory and practice in so far as it allows for the first time to apply sophisticated mathematical design paradigms…
Considering real-valued clocks in timed automata (TA) makes it a practical modeling framework for discrete-event systems. However, the infinite state space brings challenges to the control of TA. To synthesize a supervisor for TA using the…