On Detectability of a Class of Hybrid Systems

• 成果类型: Article
• 署名作者: Lin, Feng; Wang, Le Yi; Yin, George; Polis, Michael P.; Chen, Wen
• 署名单位: Wayne State University; University of Connecticut; Oakland University; Wayne State University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3225514
• 发表日期: 2023
• 页码: 5509-5521
• 关键词: Observability; Automata; trajectory; observers; mathematical models; Discrete-event systems; steady-state; Detectability; Discrete-event system (DES); distinguishability; hybrid system; observability; switched linear system (SLS)

摘要

In this article, we model a hybrid system by using a hybrid machine consisting of an automaton and a set of continuous-variable subsystems. We investigate the problem of determining the (current) discrete state of the hybrid system. Extending the terminologies in discrete-event systems, a hybrid system is detectable if its discrete state can be uniquely determined. We derive conditions for a hybrid system to be detectable. If a hybrid system is detectable, we determine its current discrete state using a two-level approach. At the discrete-event level, we construct a discrete-event observer to obtain a discrete state estimate that consists of all possible discrete states that the hybrid system may be in. At the continuous-variable level, a set of continuous-variable observers are constructed, if necessary, to uniquely determine the discrete state. An example of a dc microgrid is used to illustrate the theoretical results.