http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings
Guanghui Zhu,Jiafeng Zhang,Zhong Zheng,Shan Luan,Te Chen,Qiang Ma,Zhiwu Li 제어·로봇·시스템학회 2022 International Journal of Control, Automation, and Vol.20 No.6
This paper deals with the fault diagnosis problem of discrete event systems modeled with labeled Petri nets. Its main contributions are threefold. First, depending on whether a diagnosis function examines the fault transitions that possibly occur after the last observed event, we formally divide the diagnosis functions into two types: optimistic and pessimistic, which aims to facilitate the exploration of different diagnosis approaches. Second, a framework is proposed, which extends a given diagnosis approach for Petri nets to the case of labeled Petri nets. The main idea of the framework is to compute and combine the diagnosis results of observable transition sequences corresponding to an observed word. Third, we convert a basis-marking-based approach that is originally pessimistic to the optimistic case and prove the correctness of this conversion.
Eigenvalue Assignment in Linear Descriptor Systems using Dynamic Compensators
Biao Zhang,Jiafeng Zhu 제어·로봇·시스템학회 2014 International Journal of Control, Automation, and Vol.12 No.5
An approach for eigenvalue assignment in strongly controllable and observable linear descriptor systems using dynamic compensators is proposed. Parametric expressions for the controller coefficient matrices are given. The approach assigns the full number of distinct finite closed-loop eigenvalues, guarantees the closed-loop regularity and overcomes the defects of some previous works. In addition, using the proposed eigenvalue assignment approach, a sufficient condition for generic eigenvalue assignability using dynamic compensators is proved.