Diagnosability verification for hybrid automata

被引：0
|
作者：
Di Benedetto, Maria Domenica [1 ]
Di Germaro, Stefano [1 ]
D'Innocenzo, Alessandro [1 ]
机构：
[1] Univ Aquila, Ctr Excellence DEWS, Dept Elect Engn & Comp Sci, I-67100 Laquila, Italy
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS | 2007年 / 4416卷
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We define a notion of diagnosability for hybrid automata, which generalizes the notion of observability. We propose a procedure to check diagnosability on a given hybrid automaton, and show that the complexity of the verification problem is in PTIME. We apply our procedure to an electromagnetic valve system for camless engines. This paper, because of space limitations, only summarizes the obtained results. An extended and detailed manuscript can be found in the form of a technical report on line [1].
引用
收藏
页码：684 / +
页数：2
相关论文
共 50 条
  • [1] Verification of Hybrid Automata Diagnosability by Abstraction
    Di Benedetto, Maria D.
    Di Gennaro, Stefano
    D'Innocenzo, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (09) : 2050 - 2061
  • [2] Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
    Deng, Yi
    D'Innocenzo, Alessandro
    Di Benedetto, Maria Domenica
    Di Gennaro, Stefano
    Julius, A. Agung
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (04) : 982 - 993
  • [3] Diagnosability verification for hybrid automata and durational graphs
    Di Benedetto, M. D.
    Di Gennaro, S.
    D'Innocenzo, A.
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 6322 - 6327
  • [4] Diagnosability of hybrid automata with measurement uncertainty
    Di Benedetto, Maria D.
    Di Gennaro, Stefano
    D'Innocenzo, Alessandro
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 1042 - 1047
  • [5] Analysis and Verification of the Diagnosability of Hybrid Systems
    Diene, Oumar
    Silva, Eduardo R.
    Moreira, Marcos V.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 1 - 6
  • [6] Computational Methods for Diagnosability Verification of Hybrid Systems
    Diene, Oumar
    Moreira, Marcos V.
    Alvarez, Victor R.
    Silva, Eduardo R.
    2015 IEEE CONFERENCE ON CONTROL AND APPLICATIONS (CCA 2015), 2015, : 382 - 387
  • [7] Reachability verification for hybrid automata
    Henzinger, TA
    Rusu, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 190 - 204
  • [8] Diagnosability of stochastic automata
    Thorsley, D
    Teneketzis, D
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 6289 - 6294
  • [9] Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard
    Keroglou, Christoforos
    Hadjicostis, Christoforos N.
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6712 - 6717
  • [10] Hybrid cc, hybrid automata, and program verification
    Gupta, V.
    Jagadeesan, R.
    Saraswat, V.
    Lecture Notes in Computer Science, 1066
12345