Related papers: On Barriers in State and Input Constrained Nonline…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
This paper deals with the analysis of the internal control with constraint of positive kind of a parabolic PDE with nonlinear diffusion when the time horizon is large enough. The minimal controllability time will be strictly positive. We…
This work considers artificial feed-forward neural networks as parametric approximators in optimal control of discrete-time systems. Two different approaches are introduced to take polytopic input constraints into account. The first…
Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an…
A variational model for describing the morphology of two-phase continua by allowing for the interplay between coherent and incoherent interfaces is introduced. Coherent interfaces are characterized by the microscopical arrangement of atoms…
Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of…
Many systems occurring in real-world applications, such as controlling the motions of robots or modeling the spread of diseases, are switched impulsive systems. To ensure that the system state stays in a safe region (e.g., to avoid…
Given a finite-dimensional time continuous control system and $\varepsilon>0$, we address the question of the existence of controls that maintain the corresponding state trajectories in the $\varepsilon$-neighborhood of any prescribed path…
Partially observable Markov decision processes (POMDPs) provide a modeling framework for a variety of sequential decision making under uncertainty scenarios in artificial intelligence (AI). Since the states are not directly observable in a…
Optimal control theory is developed for the task of obtaining a primary objective in a subspace of the Hilbert space while avoiding other subspaces of the Hilbert space. The primary objective can be a state-to-state transition or a unitary…
This paper proposes a novel control framework for handling (potentially coupled) multiple time-varying output constraints for uncertain nonlinear systems. First, it is shown that the satisfaction of multiple output constraints boils down to…
The bending energy of any freely deformable closed surface is quadratic in its curvature. In the absence of constraints, it will be minimized when the surface adopts the form of a round sphere. If the surface is confined within a…
This paper studies whether solutions of a class of nonlinear feedback systems remain bounded over time. The systems we consider arise naturally in synthetic biology, where the antithetic feedback controller regulates a biological process…
In this study, we consider an optimal control problem driven by a stochastic differential equation with state constraints. Here, the state constraints mean the constraints about the path of state. In order to show the maximum principe for…
Given a state transition matrix (STM), we reinvestigate the problem of constructing the sparest input matrix with a fixed number of inputs to guarantee controllability. We give a new and simple graph theoretic characterization for the…
We analyse the complexity of the satisfiability problem ssmSAT for State Space Models (SSM), which asks whether an input sequence can lead the model to an accepting configuration. We find that ssmSAT is undecidable in general, reflecting…
We study a control problem governed by a semilinear parabolic equation with pointwise control and state constraints imposed at every point of the space-time cylinder. We obtain second order sufficient optimality conditions for local…
Bound states arise in many interactions among elementary field states, and are represented by poles in the scattering matrix. The emergent nature of bound states suggests that they play a perhaps under-appreciated role in specifying the…
An inverse obstacle scattering problem for the electromagnetic wave governed by the Maxwell system over a finite time interval is considered. It is assumed that the wave satisfies the Leontovich boundary condition on the surface of an…
We study stochastic systems characterized by difference inclusions. Such stochastic differential inclusions are defined by set-valued maps involving the current state and stochastic input. For such systems, we investigate the problem of…