文章基本信息

标题：p-Safety and Stability
本地全文：下载
作者：Manuela L. Bujorianu ; Rafael Wisniewski ; Evangelos Boulougouris 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2021
卷号：54
期号：9
页码：665-670
DOI：10.1016/j.ifacol.2021.06.127
语种：English
出版社：Elsevier
摘要：AbstractThis paper focuses on the formal integration of stability and safety of complex systems. We present the initial developments of a holistic modelling framework, which will be flexible enough to allow us to formulate the integration of safety and stability problems and the design of decision and control algorithms for the maintenance of the appropriate levels of safety and stability required by the system specifications.
关键词：Keywordsp-SafetystabilityMarkov modelstransition semigroupGreen kernelbarrier certificates