-
Higher order necessary conditions for optimal controls not ranging in the interior
Authors:
Francesca Angrisani,
Franco Rampazzo
Abstract:
Goh's and Legendre-Clebsch necessary conditions for optimal controls of affine-control systems are usually established under the hypothesis that the minimizing control lies in the interior of the control set $U$. In this paper we investigate the possibility of establishing Goh's and Legendre-Clebsch necessary conditions without this assumption, so that even control sets with empty interiors or opt…
▽ More
Goh's and Legendre-Clebsch necessary conditions for optimal controls of affine-control systems are usually established under the hypothesis that the minimizing control lies in the interior of the control set $U$. In this paper we investigate the possibility of establishing Goh's and Legendre-Clebsch necessary conditions without this assumption, so that even control sets with empty interiors or optimal controls touching the boundary of $U$ can be taken into consideration.
△ Less
Submitted 1 May, 2025;
originally announced May 2025.
-
An Abstract Maximum Principle for constrained minimum problems
Authors:
Monica Motta,
Franco Rampazzo
Abstract:
This article makes no claim to originality, other than, perhaps, the simple statement here called the {\it Abstract Maximum Principle}. Actually, the whole contents are strongly based on some H. Sussmann's and coauthors' papers, in which, in a much more general context, the set-separation approach is regarded as foundational for necessary conditions for minima. So, rather than being the exposition…
▽ More
This article makes no claim to originality, other than, perhaps, the simple statement here called the {\it Abstract Maximum Principle}. Actually, the whole contents are strongly based on some H. Sussmann's and coauthors' papers, in which, in a much more general context, the set-separation approach is regarded as foundational for necessary conditions for minima. So, rather than being the exposition of original material, this paper has mainly a pedagogical purpose. From the Abstract Maximum Principle it is possible to deduce several necessary conditions for both finite dimensional minimum problems and for optimal control problems. More in general, this Principle seems apt to capture some consequences of the geometric and topological idea of (possibly vector-valued) minimization in a parametrized problem.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
Goh and Legendre-Clebsh conditions for nonsmooth control systems
Authors:
Francesca Angrisani,
Franco Rampazzo
Abstract:
Higher order necessary conditions for a minimizer of an optimal control problem are generally obtained for systems whose dynamics is at least continuously differentiable in the state variable. Here, by making use of the notion of set-valued Lie bracket introduced in "Set-valued differentials and a nonsmooth version of Chow-Rashevski's theorem" by F. Rampazzo and H.J.Sussmann and extended in "Itera…
▽ More
Higher order necessary conditions for a minimizer of an optimal control problem are generally obtained for systems whose dynamics is at least continuously differentiable in the state variable. Here, by making use of the notion of set-valued Lie bracket introduced in "Set-valued differentials and a nonsmooth version of Chow-Rashevski's theorem" by F. Rampazzo and H.J.Sussmann and extended in "Iterated Lie brackets for nonsmooth vector fields" by E. Feleqi and F.Rampazzo , we obtain Goh and Legendre-Clebsh type conditions for a control affine system with Lipschitz continuous dynamics. In order to manage the simultaneous lack of smoothness of the adjoint equation and of the Lie bracket-like variations, we will exploit the notion of Quasi Differential Quotient, introduced in "A geometrically based criterion to avoid infimum-gaps in Optimal Control" by M. Palladino and F.Rampazzo. We finally exhibit an example where the established higher order condition is capable to rule out the optimality of a control verifying a first order Maximum Principle.
△ Less
Submitted 6 March, 2025; v1 submitted 13 August, 2023;
originally announced August 2023.
-
HJ inequalities involving Lie brackets and feedback stabilizability with cost regulation
Authors:
Giovanni Fusco,
Monica Motta,
Franco Rampazzo
Abstract:
With reference to an optimal control problem where the state has to approach asymptotically a closed target while paying a non-negative integral cost, we propose a generalization of the classical dissipative relation that defines a Control Lyapunov Function to a weaker differential inequality. The latter involves both the cost and the iterated Lie brackets of the vector fields in the dynamics up t…
▽ More
With reference to an optimal control problem where the state has to approach asymptotically a closed target while paying a non-negative integral cost, we propose a generalization of the classical dissipative relation that defines a Control Lyapunov Function to a weaker differential inequality. The latter involves both the cost and the iterated Lie brackets of the vector fields in the dynamics up to a certain degree k greater than or equal to 1, and we call any of its (suitably defined) solutions a degree-k Minimum Restraint Function. We prove that the existence of a degree-k Minimum Restraint Function allows us to build a Lie-bracket-based feedback which sample stabilizes the system to the target while regulating (i.e., uniformly bounding) the cost.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
A Lie-bracket-based notion of stabilizing feedback in optimal control
Authors:
Giovanni Fusco,
Monica Motta,
Franco Rampazzo
Abstract:
For a control system two major issues can be considered: the stabilizability with respect to a given target, and the minimization of an integral functional (while the trajectories reach this target). Here we consider a problem where stabilizability or controllability are investigated together with the further aim of a "cost regulation", namely a state-dependent upper bounding of the functional. Th…
▽ More
For a control system two major issues can be considered: the stabilizability with respect to a given target, and the minimization of an integral functional (while the trajectories reach this target). Here we consider a problem where stabilizability or controllability are investigated together with the further aim of a "cost regulation", namely a state-dependent upper bounding of the functional. This paper is devoted to a crucial step in the program of establishing a chain of equivalences among degree-k stabilizability with regulated cost, asymptotic controllability with regulated cost, and the existence of a degree-k Minimum Restraint Function (which is a special kind of Control Lyapunov Function). Besides the presence of a cost we allow the stabilizing "feedback" to give rise to directions that range in the union of original directions and the family of iterated Lie bracket of length less or equal to $k$. In the main result asymptotic controllability [resp. with regulated cost] is proved to be necessary for degree-k stabilizability [resp. with regulated cost]. Further steps of the above-mentioned logical chain are proved in companion papers, so that also a Lyapunov-type inverse theorem -- i.e. the possibility of deriving existence of a Minimum Restraint Function from stabilizability -- appears as quite likely.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Goh conditions for minima of nonsmooth problems with unbounded controls
Authors:
Francesca Angrisani,
Franco Rampazzo
Abstract:
Higher order necessary conditions for a minimizer of an optimal control problem are generally obtained for systems whose dynamics is continuously differentiable in the state variable. Here, by making use of the notion of set-valued Lie bracket we obtain a Goh-type condition for a control affine system with Lipschitz continuous dynamics and unbounded controls. In order to manage the simultaneous la…
▽ More
Higher order necessary conditions for a minimizer of an optimal control problem are generally obtained for systems whose dynamics is continuously differentiable in the state variable. Here, by making use of the notion of set-valued Lie bracket we obtain a Goh-type condition for a control affine system with Lipschitz continuous dynamics and unbounded controls. In order to manage the simultaneous lack of smoothness of the adjoint equation and of the Lie bracket-like variations we make use of the notion of Quasi Differential Quotient. We conclude the paper with a worked out example where the established higher order condition is capable to rule out the optimality of a control verifying the standard maximum principle.
△ Less
Submitted 6 March, 2022;
originally announced March 2022.
-
Rotational controls and uniqueness of constrained viscosity solutions of Hamilton-Jacobi PDE
Authors:
Giovanni Colombo,
Nathalie T. Khalil,
Franco Rampazzo
Abstract:
The classical inward pointing condition (IPC) for a control system whose state $x$ is constrained in the closure $C:=\barΩ$ of an open set $Ω$ prescribes that at each point of the boundary $x\in \partial Ω$ the intersection between the dynamics and the interior of the tangent space of $\bar Ω$ at $x$ is nonempty. Under this hypothesis, for every system trajectory $x(.)$ on a time-interval $[0,T]$,…
▽ More
The classical inward pointing condition (IPC) for a control system whose state $x$ is constrained in the closure $C:=\barΩ$ of an open set $Ω$ prescribes that at each point of the boundary $x\in \partial Ω$ the intersection between the dynamics and the interior of the tangent space of $\bar Ω$ at $x$ is nonempty. Under this hypothesis, for every system trajectory $x(.)$ on a time-interval $[0,T]$, possibly violating the constraint, one can construct a new system trajectory $\hat x(.)$ that satisfies the constraint and whose distance from $x(.)$ is bounded by a quantity proportional to the maximal deviation $d:=\mathrm{dist}(Ω,x([0,T]))$. When (IPC) is violated, the construction of such a constrained trajectory is not possible in general. However, for a control system of the form $\dot{x}=f_1(x)u_1+f_2(x)u_2$, we prove in this paper that a "higher order" inward pointing condition involving Lie brackets of the dynamics' vector fields allows for a novel construction of a constrained trajectory $\hat x(.)$ whose distance from the reference trajectory $x(.)$ is bounded by a quantity proportional to $\sqrt{d}$. Our method requires a further assumption of non-positiveness of a sort of curvature and is based on the implementation of a suitable "rotating" control strategy. As an application, we establish the continuity up to the boundary of the value function $V$ of a classical optimal control problem, a continuity that allows to regard $V$ as the unique constrained viscosity solution of the corresponding Bellman equation.
△ Less
Submitted 26 October, 2021; v1 submitted 16 October, 2021;
originally announced October 2021.
-
Quasi Differential Quotients
Authors:
Francesca Angrisani,
Franco Rampazzo
Abstract:
We explore basic properties and some applications of Quasi Differential Quotients ($QDQ$s) and the related $QDQ$-approximating multi-cones. A $QDQ$, which is a special kind of H.Sussmann's Approximate Generalized Differential Quotient ($AGDQ$), consists in a notion of generalized differentiation for set-valued maps. $QDQ$s have the advantage over $AGDQ$s of allowing a genuine, non-punctured, Open…
▽ More
We explore basic properties and some applications of Quasi Differential Quotients ($QDQ$s) and the related $QDQ$-approximating multi-cones. A $QDQ$, which is a special kind of H.Sussmann's Approximate Generalized Differential Quotient ($AGDQ$), consists in a notion of generalized differentiation for set-valued maps. $QDQ$s have the advantage over $AGDQ$s of allowing a genuine, non-punctured, Open Mapping result, so implying stronger set-separation theorems. They have already proved quite useful in the investigation of some connections occurring between infimum gap phenomena and the normality of minima. Moreover, $QDQ$-approximating multi-cones are fit in optimal control to deduce Maximum Principles that involve (set-valued) Lie brackets of nonsmooth vector fields.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
A geometrically based criterion to avoid infimum-gaps in Optimal Control
Authors:
Michele Palladino,
Franco Rampazzo
Abstract:
In optimal control theory the expression infimum gap means a strictly negative difference between the infimum value of a given minimum problem and the infimum value of a new problem obtained by the former by extending the original family V of controls to a larger family W. Now, for some classes of domain-extensions -- like convex relaxation or impulsive embedding of unbounded control problems -- t…
▽ More
In optimal control theory the expression infimum gap means a strictly negative difference between the infimum value of a given minimum problem and the infimum value of a new problem obtained by the former by extending the original family V of controls to a larger family W. Now, for some classes of domain-extensions -- like convex relaxation or impulsive embedding of unbounded control problems -- the normality of an extended minimizer has been shown to be sufficient for the avoidance of an infimum gaps. A natural issue is then the search of a general hypothesis under which the criterium 'normality implies no gap' holds true. We prove that, far from being a peculiarity of those specific extensions and from requiring the convexity of the extended dynamics, this criterium is valid provided the original family V of controls is abundant in the extended family W. Abundance, which is stronger than the mere C^0-density of the original trajectories in the set of extended trajectories, is a dynamical-topological notion introduced by J. Warga, and is here utilized in a 'non-convex' version which, moreover, is adapted to differential manifolds. To get the main result, which is based on set separation arguments, we prove an open mapping result valid for Quasi-Differential-Quotient (QDQ) approximating cones, a notion of 'tangent cone' resulted as a peculiar specification of H. Sussmann's Approximate-Generalized-Differential-Quotients (AGDQ) approximating cone.
△ Less
Submitted 13 September, 2019; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Necessary conditions involving Lie brackets for impulsive optimal control problems
Authors:
M. Soledad Aronna,
Monica Motta,
Franco Rampazzo
Abstract:
We obtain higher order necessary conditions for a minimum of a Mayer optimal control problem connected with a nonlinear, control-affine system, where the controls range on an m-dimensional Euclidean space. Since the allowed velocities are unbounded and the absence of coercivity assumptions makes big speeds quite likely, minimizing sequences happen to converge toward "impulsive", namely discontinuo…
▽ More
We obtain higher order necessary conditions for a minimum of a Mayer optimal control problem connected with a nonlinear, control-affine system, where the controls range on an m-dimensional Euclidean space. Since the allowed velocities are unbounded and the absence of coercivity assumptions makes big speeds quite likely, minimizing sequences happen to converge toward "impulsive", namely discontinuous, trajectories. As is known, a distributional approach does not make sense in such a nonlinear setting, where instead a suitable embedding in the graph space is needed. We will illustrate how the chance of using impulse perturbations makes it possible to derive a Higher Order Maximum Principle which includes both the usual needle variations (in space-time) and conditions involving iterated Lie brackets. An example, where a third order necessary condition rules out the optimality of a given extremal, concludes the paper.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
A Higher-order Maximum Principle for Impulsive Optimal Control Problems
Authors:
M. Soledad Aronna,
Monica Motta,
Franco Rampazzo
Abstract:
We consider a nonlinear system, affine with respect to an unbounded control $u$ which is allowed to range in a closed cone. To this system we associate a Bolza type minimum problem, with a Lagrangian having sublinear growth with respect to $u$. This lack of coercivity gives the problem an {\it impulsive} character, meaning that minimizing sequences of trajectories happen to converge towards discon…
▽ More
We consider a nonlinear system, affine with respect to an unbounded control $u$ which is allowed to range in a closed cone. To this system we associate a Bolza type minimum problem, with a Lagrangian having sublinear growth with respect to $u$. This lack of coercivity gives the problem an {\it impulsive} character, meaning that minimizing sequences of trajectories happen to converge towards discontinuous paths. As is known, a distributional approach does not make sense in such a nonlinear setting, where, instead, a suitable embedding in the graph-space is needed.
We provide higher order necessary optimality conditions for properly defined impulsive minima, in the form of equalities and inequalities involving iterated Lie brackets of the dynamical vector fields. These conditions are derived under very weak regularity assumptions and without any constant rank conditions.
△ Less
Submitted 9 July, 2019; v1 submitted 12 March, 2019;
originally announced March 2019.
-
Normality and Gap Phenomena in Optimal Unbounded Control
Authors:
Monica Motta,
Franco Rampazzo,
Richard Vinter
Abstract:
Optimal unbounded control problems with affine control dependence may fail to have minimizers in the class of absolutely continuous state trajectories. For this reason, extended impulsive versions --which cannot be of measure-theoretical type-- have been investigated, in which the domain is enlarged to include discontinuous state trajectories of bounded variation, and for which existence of minimi…
▽ More
Optimal unbounded control problems with affine control dependence may fail to have minimizers in the class of absolutely continuous state trajectories. For this reason, extended impulsive versions --which cannot be of measure-theoretical type-- have been investigated, in which the domain is enlarged to include discontinuous state trajectories of bounded variation, and for which existence of minimizers is guaranteed. It is of interest to know whether the passage from the original optimal control problem to its extension introduces an infimum gap. This paper provides sufficient conditions for the absence of an infimum gap based on normality of extremals. In certain cases, the normality conditions reduce to simple verifiable criteria, which improve on earlier, directly-derived sufficient conditions for no infimum gap.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Integral representation for bracket-generating multi-flows
Authors:
Ermal Feleqi,
Franco Rampazzo
Abstract:
If $f_1,f_2$ are smooth vector fields on an open subset of an Euclidean space and $[f_1,f_2]$ is their Lie bracket, the asymptotic formula $$Ψ_{[f_1,f_2]}(t_1,t_2)(x) - x =t_1t_2 [f_1,f_2](x) +o(t_1t_2),$$ where we have set $ Ψ_{[f_1,f_2]}(t_1,t_2)(x) := \exp(-t_2f_2)\circ\exp(-t_1f_1)\circ\exp(t_2f_2)\circ\exp(t_1f_1)(x)$, is valid for all $t_1,t_2$ small enough.
In fact, the integral, exact fo…
▽ More
If $f_1,f_2$ are smooth vector fields on an open subset of an Euclidean space and $[f_1,f_2]$ is their Lie bracket, the asymptotic formula $$Ψ_{[f_1,f_2]}(t_1,t_2)(x) - x =t_1t_2 [f_1,f_2](x) +o(t_1t_2),$$ where we have set $ Ψ_{[f_1,f_2]}(t_1,t_2)(x) := \exp(-t_2f_2)\circ\exp(-t_1f_1)\circ\exp(t_2f_2)\circ\exp(t_1f_1)(x)$, is valid for all $t_1,t_2$ small enough.
In fact, the integral, exact formula \begin{equation}\label{abstractform} Ψ_{[f_1,f_2]}(t_1,t_2)(x) - x = \int_0^{t_1}\int_0^{t_2}[f_1,f_2]^{(s_2,s_1)} (Ψ(t_1,s_2)(x))ds_1\,ds_2 , \end{equation} where $ [f_1,f_2]^{(s_2,s_1)}(y) := D\Big(\exp(s_1f_1)\circ \exp(s_2f_2{)}\Big)^{-1}\cdot [f_1,f_2](\exp(s_1f_1)\circ \exp(s_2f_2){(y)}), $ with ${y = Ψ(t_1,s_2)(x)}$ has also been proven. Of course the integral formula can be regarded as an improvement of the asymptotic formula. In this paper we show that an integral representation holds true for any iterated bracket made from elements of a family of vector fields ${f_1,\dots,f_{k}}$. In perspective, these integral representations might lie at the basis for extensions of asymptotic formulas involving nonsmooth vector fields.
△ Less
Submitted 14 February, 2023; v1 submitted 8 September, 2017;
originally announced September 2017.
-
Lyapunov-like functions involving Lie brackets
Authors:
Monica Motta,
Franco Rampazzo
Abstract:
For a given closed target we embed the dissipative relation that defines a control Lyapunov function in a more general differential inequality involving Hamiltonians built from iterated Lie brackets. The solutions of the resulting extended relation, here called degree-k control Lyapunov functions (k>=1), turn out to be still sufficient for the system to be globally asymptotically controllable to t…
▽ More
For a given closed target we embed the dissipative relation that defines a control Lyapunov function in a more general differential inequality involving Hamiltonians built from iterated Lie brackets. The solutions of the resulting extended relation, here called degree-k control Lyapunov functions (k>=1), turn out to be still sufficient for the system to be globally asymptotically controllable to the target. Furthermore, we work out some examples where no standard (i.e., degree-1) smooth control Lyapunov functions exist while a smooth degree-k control Lyapunov function does exist, for some k>1. The extension is performed under very weak regularity assumptions on the system, to the point that, for instance, (set valued) Lie brackets of locally Lipschitz vector fields are considered as well.
△ Less
Submitted 9 August, 2016;
originally announced August 2016.
-
Minimum Restraint Functions for unbounded dynamics: general and control-polynomial systems
Authors:
A. C. Lai,
M. Motta,
F. Rampazzo
Abstract:
We consider an exit-time minimum problem with a running cost, $l\geq 0$ and unbounded controls. The occurrence of points where $l=0$ can be regarded as a transversality loss. Furthermore, since controls range over unbounded sets, the family of admissible trajectories may lack important compactness properties. In the first part of the paper we show that the existence of a $p_0$-minimum restraint fu…
▽ More
We consider an exit-time minimum problem with a running cost, $l\geq 0$ and unbounded controls. The occurrence of points where $l=0$ can be regarded as a transversality loss. Furthermore, since controls range over unbounded sets, the family of admissible trajectories may lack important compactness properties. In the first part of the paper we show that the existence of a $p_0$-minimum restraint function provides not only global asymptotic controllability (despite non-transversality) but also a state-dependent upper bound for the value function (provided $p_0>0$). This extends to unbounded dynamics a former result which heavily relied on the compactness of the control set.
In the second part of the paper we apply the general result to the case when the system is polynomial in the control variable. Some elementary, algebraic, properties of the convex hull of vector-valued polynomials' ranges allow some simplifications of the main result, in terms of either near-affine-control systems or reduction to weak subsystems for the original dynamics.
△ Less
Submitted 2 November, 2016; v1 submitted 8 June, 2016;
originally announced June 2016.
-
GAC, savings, and unbounded inputs
Authors:
Anna Chiara Lai,
Franco Rampazzo
Abstract:
Let a control system and a target be given on an open subset of an Euclidean space. The existence of a Control Lyapunov Function - namely a positive definite, semiconcave, solution of the Hamilton-Jacobi inequality corresponding to the control vector field -- guarantees Global Asymptotic Controllability (GAC). In this case, however, minimization is not an issue. Instead, if a Lagrangean with non-n…
▽ More
Let a control system and a target be given on an open subset of an Euclidean space. The existence of a Control Lyapunov Function - namely a positive definite, semiconcave, solution of the Hamilton-Jacobi inequality corresponding to the control vector field -- guarantees Global Asymptotic Controllability (GAC). In this case, however, minimization is not an issue. Instead, if a Lagrangean with non-negative values is considered as well, an optimal control problem can be defined in relation to the corresponding integral functional.
In the first part of the present paper we show that the existence of a Minimum Restraint Function -- a solution of a strict Hamilton-Jacobi inequality involving the Lagrangian and a non-negative "savings multiplier" -- provides not only global asymptotic controllability but also savings, namely a state-dependent upper bound for the infima. This extends a former result, where the control set was assumed to be compact. Here we allow unbounded controls and replace inputs' values' compactness with a quite mild hypothesis concerning the dependence of the data on inputs: such condition is met, for instance, by control vector fields that are compositions of Lipschitz maps with polynomials and exponentials of the control variable.
In the second part of the paper we focus on the case when the dynamics is a polynomial in the control variable. Through some analysis of convexity properties of vector-valued polynomials' ranges, we prove some simplified versions of the main result, in terms of either affine representability or reduction to weak subsystems for the original dynamics.
△ Less
Submitted 8 June, 2016; v1 submitted 11 March, 2015;
originally announced March 2015.
-
$\mathcal{L}^1$ limit solutions for control systems
Authors:
M. Soledad Aronna,
Franco Rampazzo
Abstract:
For a control Cauchy problem $$\dot x= {f}(t,x,u,v) +\sum_{α=1}^m g_α(x) \dot u_α,\quad x(a)=\bar x, $$ on an interval $[a,b]$, we propose a notion of limit solution $x,$ verifying the following properties: i) $x$ is defined for $\mathcal{L}^1$ (impulsive) inputs $u$ and for standard, bounded measurable, controls $v$; ii) in the commutative case (i.e. when $[g_α,g_β]\equiv 0,$ for all…
▽ More
For a control Cauchy problem $$\dot x= {f}(t,x,u,v) +\sum_{α=1}^m g_α(x) \dot u_α,\quad x(a)=\bar x, $$ on an interval $[a,b]$, we propose a notion of limit solution $x,$ verifying the following properties: i) $x$ is defined for $\mathcal{L}^1$ (impulsive) inputs $u$ and for standard, bounded measurable, controls $v$; ii) in the commutative case (i.e. when $[g_α,g_β]\equiv 0,$ for all $α,β=1,...,m$), $x$ coincides with the solution one can obtain via the change of coordinates that makes the $g_α$ simultaneously constant; iii) $x$ subsumes former concepts of solution valid for the generic, noncommutative case.
In particular, when $u$ has bounded variation, we investigate the relation between limit solutions and (single-valued) graph completion solutions. Furthermore, we prove consistency with the classical Carathéodory solution when $u$ and $x$ are absolutely continuous.
Even though some specific problems are better addressed by means of special representations of the solutions, we believe that various theoretical issues call for a unified notion of trajectory. For instance, this is the case of optimal control problems, possibly with state and endpoint constraints, for which no extra assumptions (like e.g. coercivity, bounded variation, commutativity) are made in advance.
△ Less
Submitted 11 February, 2015; v1 submitted 1 January, 2014;
originally announced January 2014.
-
A note on systems with ordinary and impulsive controls
Authors:
M. Soledad Aronna,
Franco Rampazzo
Abstract:
We investigate an everywhere defined notion of solution for control systems whose dynamics depend nonlinearly on the control $u$ and state $x,$ and are affine in the time derivative $\dot u.$ For this reason, the input $u,$ which is allowed to be Lebesgue integrable, is called impulsive, while a second, bounded measurable control $v$ is denominated ordinary. The proposed notion of solution is deri…
▽ More
We investigate an everywhere defined notion of solution for control systems whose dynamics depend nonlinearly on the control $u$ and state $x,$ and are affine in the time derivative $\dot u.$ For this reason, the input $u,$ which is allowed to be Lebesgue integrable, is called impulsive, while a second, bounded measurable control $v$ is denominated ordinary. The proposed notion of solution is derived from a topological (non-metric) characterization of a former concept of solution which was given in the case when the drift is $v$-independent. Existence, uniqueness and representation of the solution are studied, and a close analysis of effects of (possibly infinitely many) discontinuities on a null set is performed as well.
△ Less
Submitted 11 February, 2015; v1 submitted 30 December, 2013;
originally announced December 2013.
-
On optimal control problems with impulsive commutative dynamics
Authors:
M. Soledad Aronna,
Franco Rampazzo
Abstract:
We consider control systems governed by nonlinear O.D.E.'s that are affine in the time-derivative du/dt of the control u. The latter is allowed to be an integrable, possibly of unbounded variation function, which gives the system an impulsive character. As is well-known, the corresponding Cauchy problem cannot be interpreted in terms of Schwartz distributions, even in the commutative case. A robus…
▽ More
We consider control systems governed by nonlinear O.D.E.'s that are affine in the time-derivative du/dt of the control u. The latter is allowed to be an integrable, possibly of unbounded variation function, which gives the system an impulsive character. As is well-known, the corresponding Cauchy problem cannot be interpreted in terms of Schwartz distributions, even in the commutative case. A robust notion of solution already proposed in the literature is here adopted and slightly generalized to the case where an ordinary, bounded, control is present in the dynamics as well. For a problem in the Mayer form we then investigate the question whether this notion of solution provides a "proper extension" of the standard problem with absolutely continuous controls u. Furthermore, we show that this impulsive problem is a variational limit of problems corresponding to controls u with bounded variation.
△ Less
Submitted 26 November, 2013;
originally announced November 2013.
-
Necessary conditions involving Lie brackets for impulsive optimal control problems; the commutative case
Authors:
Maria Soledad Aronna,
Franco Rampazzo
Abstract:
In this article we study control problems with systems that are governed by ordinary differential equations whose vector fields depend linearly in the time derivatives of some components of the control. The remaining components are considered as classical controls. This kind of system is called `impulsive system'. We assume that the vector fields multiplying the derivatives of each component of th…
▽ More
In this article we study control problems with systems that are governed by ordinary differential equations whose vector fields depend linearly in the time derivatives of some components of the control. The remaining components are considered as classical controls. This kind of system is called `impulsive system'. We assume that the vector fields multiplying the derivatives of each component of the control are commutative. We derive new necessary conditions in terms of the adjoint state and the Lie brackets of the data functions.
△ Less
Submitted 16 October, 2012;
originally announced October 2012.
-
Asymptotic controllability and optimal control
Authors:
Monica Motta,
Franco Rampazzo
Abstract:
We consider a control problem where the state must reach asymptotically a target while paying an integral payoff with a non-negative Lagrangian. The dynamics is just continuous, and no assumptions are made on the zero level set of the Lagrangian. Through an inequality involving a positive number $\bar p_0$ and a Minimum Restraint Function $U=U(x)$ --a special type of Control Lyapunov Function-- we…
▽ More
We consider a control problem where the state must reach asymptotically a target while paying an integral payoff with a non-negative Lagrangian. The dynamics is just continuous, and no assumptions are made on the zero level set of the Lagrangian. Through an inequality involving a positive number $\bar p_0$ and a Minimum Restraint Function $U=U(x)$ --a special type of Control Lyapunov Function-- we provide a condition implying that (i) the control system is asymptotically controllable, and (ii) the value function is bounded above by $U/\bar p_0$.
△ Less
Submitted 11 December, 2012; v1 submitted 16 October, 2012;
originally announced October 2012.
-
On the Control of Non Holonomic Systems by Active Constraints
Authors:
Alberto Bressan,
Ke Han,
Franco Rampazzo
Abstract:
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 a general framework to analyze these problems, deriving the equations of motion and studying the continuity properties of the "control-to-trajectory" maps. Vari…
▽ More
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 a general framework to analyze these problems, deriving the equations of motion and studying the continuity properties of the "control-to-trajectory" maps. Various geometric characterizations are provided, in order that the equations be affine w.r.t. the time derivative of the control. In this case the system is fit for jumps, and the evolution is well defined also in connection with discontinuous control functions. The classical Roller Racer provides an example where the non-affine dependence of the equations on the derivative of the control is due only to the non-holonomic constraint. This is a case where the presence of quadratic terms in the equations can be used for controllability purposes.
△ Less
Submitted 21 August, 2012;
originally announced August 2012.
-
Moving constraints as stabilizing controls in classical mechanics
Authors:
A. Bressan,
F. Rampazzo
Abstract:
The paper analyzes a Lagrangian system which is controlled by directly assigning some of the coordinates as functions of time, by means of frictionless constraints. In a natural system of coordinates, the equations of motions contain terms which are linear or quadratic w.r.t.time derivatives of the control functions. After reviewing the basic equations, we explain the significance of the quadrat…
▽ More
The paper analyzes a Lagrangian system which is controlled by directly assigning some of the coordinates as functions of time, by means of frictionless constraints. In a natural system of coordinates, the equations of motions contain terms which are linear or quadratic w.r.t.time derivatives of the control functions. After reviewing the basic equations, we explain the significance of the quadratic terms, related to geodesics orthogonal to a given foliation. We then study the problem of stabilization of the system to a given point, by means of oscillating controls. This problem is first reduced to the weak stability for a related convex-valued differential inclusion, then studied by Lyapunov functions methods. In the last sections, we illustrate the results by means of various mechanical examples.
△ Less
Submitted 2 April, 2008;
originally announced April 2008.
