Verification of the safety and attainability of hybrid systems: State of the art

被引：0
|
作者：
Nasri, Othman [1 ]
Lefebvre, Marie-Anne [1 ]
Guéguen, Hervé [1 ]
Zaytoon, Junan [2 ]
机构：
[1] SUPELEC/IETR, C.S. 47601 avenue de la Boulais, F-35576 Cesson-Sévigné Cedex, France
[2] CRESTIC, URCA, U.F.R. Sciences, Moulin de la Housse, BP 1039, F-51687 Reims Cedex 2, France
来源：
Journal Europeen des Systemes Automatises | 2007年 / 41卷 / 7-8期
关键词：
D O I：
10.3166/JESA.41.855-883
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：855 / 883
相关论文
共 50 条
  • [1] State-of-the-art safety verification
    Scharpf, E.W.
    Goble, W.G.
    [J]. Australian Journal of Instrumentation and Control, 2001, 16 (02): : 4 - 7
  • [2] Safety Verification for Probabilistic Hybrid Systems
    Koutsoukos, Xenofon
    [J]. EUROPEAN JOURNAL OF CONTROL, 2012, 18 (06) : 588 - 590
  • [3] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 196 - 211
  • [4] Measurability and Safety Verification for Stochastic Hybrid Systems
    Fraenzle, Martin
    Hahn, Ernst Moritz
    Hermanns, Holger
    Wolovick, Nicolas
    Zhang, Lijun
    [J]. HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 43 - 52
  • [5] Safety verification and reachability analysis for hybrid systems
    Gueguen, Herve
    Lefebvre, Marie-Anne
    Zaytoon, Janan
    Nasri, Othman
    [J]. ANNUAL REVIEWS IN CONTROL, 2009, 33 (01) : 25 - 36
  • [6] Safety Verification of State/Time-Driven Hybrid Systems Using Barrier Certificates
    Wang Guobin
    Liu Jing
    Sun Haiying
    Liu Jie
    Ding Zuohua
    Zhang Miaomiao
    [J]. PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2483 - 2489
  • [7] STATE-OF-THE-ART IN SAFETY SYSTEMS
    TINHAM, B
    [J]. CONTROL AND INSTRUMENTATION, 1987, 19 (02): : 47 - &
  • [8] Hybrid Recommendation Systems: A State of Art
    Trabelsi, Fatima Zohra
    Khtira, Amal
    El Asri, Bouchra
    [J]. ENASE: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2021, : 281 - 288
  • [9] Stability of hybrid systems: State of the art
    Branicky, MS
    [J]. PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 120 - 125
  • [10] Safety verification of hybrid systems using barrier certificates
    Prajna, S
    Jadbabaie, A
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 477 - 492
12345