Related papers: Mathematical models for geometric control theory
In this paper, we build the foundation for a theory of controlled rough paths on manifolds. A number of natural candidates for the definition of manifold valued controlled rough paths are developed and shown to be equivalent. The theory of…
We present the observation that the process of stochastic model predictive control can be formulated in the framework of iterated function systems. The latter has a rich ergodic theory that can be applied to study the system's long-run…
In this work, inspired in the symbolic dynamic of chaotic systems and using machine learning techniques, a control strategy for complex systems is designed. Unlike the usual methodologies based on modeling, where the control signal is…
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive…
There are two established ways to introduce geometric control in the category of free modules---the bounded control and the continuous control at infinity. Both types of control can be generalized to arbitrary modules over a noetherian ring…
In this paper, we study the well-posedness and approximate controllability of a class of network systems having delays and controls at the boundary conditions. The particularity of this work is that the network system is defined on infinite…
Complex systems are commonly modeled using nonlinear dynamical systems. These models are often high-dimensional and chaotic. An important goal in studying physical systems through the lens of mathematical models is to determine when the…
We develop aspects of geometric control theory on Lie groups G which may be infinite dimensional, and on smooth G-manifolds M modelled on locally convex spaces. As a tool, we discuss existence and uniqueness questions for differential…
The configuration of most robotic systems lies in continuous transformation groups. However, in mobile robot trajectory tracking, many recent works still naively utilize optimization methods for elements in vector space without considering…
At the intersection of dynamical systems, control theory, and formal methods lies the construction of symbolic abstractions: these typically represent simpler, finite-state models whose behavior mimics that of an underlying concrete system…
Logic is playing an increasingly important role in the engineering of real-time, hybrid, and cyber-physical systems, but mostly in the form of posterior verification and high-level analysis. The core methodology in the design of real-world…
Inspired by biological systems, we introduce a general framework for quasi-static shape control of human-scale structures under slowly varying external actions or requirements. In this setting, shape control aims to traverse the stable…
This survey article deals with applications of optimal control to aerospace problems with a focus on modern geometric optimal control tools and numerical continuation techniques. Geometric optimal control is a theory combining optimal…
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both…
The paper is concerned with mechanical systems which are controlled by implementing a number of time-dependent, frictionless holonomic constraints. The main novelty is due to the presence of additional non-holonomic constraints. We develop…
We introduce a general formalism, based on the stochastic formulation of quantum mechanics, to obtain localized quasi-classical wave packets as dynamically controlled systems, for arbitrary anharmonic potentials. The control is in general…
This is a survey article, from the viewpoint of the completeness of the Marsden- Weinstein reduction, to introduce briefly some recent developments of the symmetric reductions and Hamilton-Jacobi theory of the regular controlled Hamiltonian…
We study the controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling it with a control being a vector field, representing a perturbation of the velocity, localized…
Robust control design is mainly devoted to guarantee closed-loop stability of a model-based control law in presence of parametric and structural uncertainties. The control law is usually a complex feedback law which is derived from a…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…