Sufficient second-order conditions for bang-bang control problems

We provide sufficient optimality conditions for optimal control problems with bang-bang controls. Building on a structural assumption on the adjoint state, we additionally need a weak second-order condition. This second-order condition is formulated with functions from an extended critical cone, and it is equivalent to a formulation posed on measures supported on the set where the adjoint state vanishes. If our sufficient optimality condition is satisfied, we obtain a local quadratic growth condition in L1(Ω)The first author was partially supported by the Spanish Ministerio de Economía y Competitividad under project MTM2014-57531-P. The second author was partially supported by the DFG under grant Wa 3626/1-1

Sufficient conditions for viability under imperfect measurement

Viability theory gives a necessary and sufficient condition for the existence of a (set-valued) state feedback control such that all trajectories of the closed-loop system starting from the graph of a given tube in the state space remain in the tube. Here we investigate the same problem in the case where only incomplete and inexact measurement of the state is available. In the time-invariant case, we give a sufficient condition for the existence of an output feedback regulation map. The condition is shown to be equivalent to Haddad's viability condition if the measurement is perfect

Solution tubes to differential inclusions within a collection of sets

This paper develops the theory of solution tubes to differential inclusions (uncertain systems) within a prescribed collection of sets. The notion is defined as a minimal invariant tube with values in the collection. Under certain requirements for the collection we prove existence and Lipschitz-like stability of the solution tubes. The theory is relevant to problems of systems estimation in the context of control or differential games

Modelling and estimation of infectious diseases in a population with heterogeneous dynamic immunity

The paper presents a model for the evolution of an infectious disease in a population with individual-specific immunity. The immune state of an individual varies with time according to its own dynamics, depending on whether the individual is infected or not. The model involves a system of size-structured (first-order) PDEs that capture both the dynamics of the immune states and the transition between compartments consisting of infected, susceptible, etc. individuals. Due to the unavailability of precise data about the immune states of the individuals, the main focus in the paper is on developing a technique for set-membership estimations of aggregated quantities of interest. The technique involves solving specific optimization problems for the underlying PDE system and is developed up to a numerical method. Results of numerical simulations are presented for a benchmark model of SIS-type, potentially applicable to diseases like influenza and to various sexually transmitted diseases

Lokalna sterowalność układów liniowych z ograniczeniem na stan

W pracy rozważa się problem momentalnej lokalnej sterowalności liniowego układu z ograniczeniem na współrzędne stanu.Zadanie pt. „Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki” nr 885/P-DUN/2014 zostało dofinansowane ze środków MNiSW w ramach działalności upowszechniającej naukę

Metric regularity under approximations

In this paper we show that metric regularity and strong metric regularity of a set-valued mapping imply convergence of inexact iterative methods for solving a generalized equation associated with this mapping. To accomplish this, we first focus on the question how these properties are preserved under changes of the mapping and the reference point. As an application, we consider discrete approximations in optimal control