约束微分包涵解的函数不增加的充分必要条件

IF 1.3 3区数学 Q4 AUTOMATION & CONTROL SYSTEMS

Esaim-Control Optimisation and Calculus of Variations Pub Date : 2022-01-28 DOI:10.1051/cocv/2022008

Mohamed Adlene Maghenem

{"title":"约束微分包涵解的函数不增加的充分必要条件","authors":"Mohamed Adlene Maghenem","doi":"10.1051/cocv/2022008","DOIUrl":null,"url":null,"abstract":"In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditions that do not require any knowledge about the solutions to the system. Results under different regularity properties of the considered scalar function are provided. This includes when the scalar function is lower semicontinuous, locally Lipschitz and regular, or continuously differentiable.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":null,"pages":null},"PeriodicalIF":1.3000,"publicationDate":"2022-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Necessary and sufficient conditions for the nonincrease of functions of solutions to constrained differential inclusions\",\"authors\":\"Mohamed Adlene Maghenem\",\"doi\":\"10.1051/cocv/2022008\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditions that do not require any knowledge about the solutions to the system. Results under different regularity properties of the considered scalar function are provided. This includes when the scalar function is lower semicontinuous, locally Lipschitz and regular, or continuously differentiable.\",\"PeriodicalId\":50500,\"journal\":{\"name\":\"Esaim-Control Optimisation and Calculus of Variations\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2022-01-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Esaim-Control Optimisation and Calculus of Variations\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1051/cocv/2022008\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Esaim-Control Optimisation and Calculus of Variations","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1051/cocv/2022008","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

本文给出了带状态约束的一般微分包含的解上标量函数不递增的充分必要条件。确定函数是否为非递增的问题出现在稳定性和安全性的研究中，通常分别使用李雅普诺夫函数和势垒函数。本文的结果给出了不需要任何关于系统解的知识的无穷小条件。给出了所考虑的标量函数在不同正则性下的结果。这包括当标量函数是下半连续的，局部Lipschitz和正则的，或连续可微的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Necessary and sufficient conditions for the nonincrease of functions of solutions to constrained differential inclusions

In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditions that do not require any knowledge about the solutions to the system. Results under different regularity properties of the considered scalar function are provided. This includes when the scalar function is lower semicontinuous, locally Lipschitz and regular, or continuously differentiable.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Esaim-Control Optimisation and Calculus of Variations Mathematics-Computational Mathematics

自引率

7.10%

发文量

期刊介绍： ESAIM: COCV strives to publish rapidly and efficiently papers and surveys in the areas of Control, Optimisation and Calculus of Variations. Articles may be theoretical, computational, or both, and they will cover contemporary subjects with impact in forefront technology, biosciences, materials science, computer vision, continuum physics, decision sciences and other allied disciplines. Targeted topics include: in control: modeling, controllability, optimal control, stabilization, control design, hybrid control, robustness analysis, numerical and computational methods for control, stochastic or deterministic, continuous or discrete control systems, finite-dimensional or infinite-dimensional control systems, geometric control, quantum control, game theory; in optimisation: mathematical programming, large scale systems, stochastic optimisation, combinatorial optimisation, shape optimisation, convex or nonsmooth optimisation, inverse problems, interior point methods, duality methods, numerical methods, convergence and complexity, global optimisation, optimisation and dynamical systems, optimal transport, machine learning, image or signal analysis; in calculus of variations: variational methods for differential equations and Hamiltonian systems, variational inequalities; semicontinuity and convergence, existence and regularity of minimizers and critical points of functionals, relaxation; geometric problems and the use and development of geometric measure theory tools; problems involving randomness; viscosity solutions; numerical methods; homogenization, multiscale and singular perturbation problems.