A geometric approach to bisimulation and verification of hybrid

被引：0
|
作者：
Broucke, M [1 ]
机构：
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：4277 / 4282
页数：6
相关论文
共 50 条
  • [1] A geometric approach to bisimulation and verification of hybrid systems
    Broucke, M
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1999, 1569 : 61 - 75
  • [2] VERIFICATION BY ABSTRACTION AND BISIMULATION
    ZUIDWEG, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 105 - 116
  • [3] Bisimulation verification using the up to techniques
    Hirschkoff D.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (3) : 271 - 285
  • [4] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    [J]. Journal of Logical and Algebraic Methods in Programming, 2021, 120
  • [5] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 120
  • [6] Branching Bisimulation and Concurrent Object Verification
    Yang, Xiaoxiao
    Katoen, Joost-Pieter
    Lin, Huimin
    Liu, Gaoang
    Wu, Hao
    [J]. 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2018, : 267 - 278
  • [7] Towards a Hybrid Verification Approach
    Elaraby, Nahla
    Kuhn, Eva
    Messinger, Anita
    Radschek, Sophie Therese
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 367 - 386
  • [8] A randomized approach with geometric constraints to fingerprint verification
    Fan, KC
    Liu, CW
    Wang, YK
    [J]. PATTERN RECOGNITION, 2000, 33 (11) : 1793 - 1803
  • [9] A geometric invariant approach to human face verification
    He, Li-Wei
    Chia, Tsorng-Lin
    Yang, Chen-Kuei
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2006, 22 (03) : 511 - 534
  • [10] Diagnosability Verification Using Compositional Branching Bisimulation
    Noori-Hosseini, Mona
    Lennartson, Bengt
    [J]. 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 245 - 250
12345