文章基本信息

标题：Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques
本地全文：下载
作者：Alban Grastien ; Louise Travé-Massuyès ; Vicenç Puig 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：5023-5028
DOI：10.1016/j.ifacol.2017.08.911
语种：English
出版社：Elsevier
摘要：AbstractThis paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes). Then, we use standard discrete event system diagnosability algorithms. The second contribution is an iterative approach to diagnosability that starts from the most abstract discrete event model of the hybrid system. If it is diagnosable, that means that the hybrid system is diagnosable. If it is not, the counterexample generated by the diagnosability procedure is analysed to refine the DES. If no refinement is found, then it can not be proved that the hybrid system is diagnosable. Otherwise, the refinement is included in the abstract DES model and the diagnosability procedure continues.
关键词：KeywordsDiagnosabilityHybrid systemsdiscrete event systemsInvariant sets