A geometric approach to bisimulation and verification of hybrid systems

被引：0
|
作者：
Broucke, M [1 ]
机构：
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL | 1999年 / 1569卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An approximate verification method for hybrid systems in which sets of the automaton are over-approximated, while leaving the vector fields intact, is presented. The method is based on a geometrically-inspired approach, using tangential and transversal foliations, to obtain bisimulations. Exterior differential systems provide a natural setting to obtain an analytical representation of the bisimulation, and to obtain the bisimulation under parallel composition. We define the symbolic execution theory and give applications to coordinated aircraft and robots.
引用
收藏
页码：61 / 75
页数：15
相关论文
共 50 条
  • [31] Towards a Hybrid Verification Approach
    Elaraby, Nahla
    Kuhn, Eva
    Messinger, Anita
    Radschek, Sophie Therese
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 367 - 386
  • [32] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
    Kobayashi, Koichi
    Fukui, Yasuhito
    Hiraishi, Kunihiko
    [J]. 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 2641 - 2646
  • [33] A randomized approach with geometric constraints to fingerprint verification
    Fan, KC
    Liu, CW
    Wang, YK
    [J]. PATTERN RECOGNITION, 2000, 33 (11) : 1793 - 1803
  • [34] 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
  • [35] Verification Techniques for Hybrid Systems
    Prabhakar, Pavithra
    Soto, Miriam Garcia
    Lal, Ratan
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 833 - 842
  • [36] Benchmarks for hybrid systems verification
    Fehnker, A
    Ivancic, R
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 326 - 341
  • [37] Discrete Abstraction of Stochastic Nonlinear Systems: A Bisimulation Function Approach
    Azuma, Shun-ichi
    Pappas, George J.
    [J]. 2010 AMERICAN CONTROL CONFERENCE, 2010, : 1035 - 1040
  • [38] Verification of clocked and hybrid systems
    Kesten, Y
    Manna, Z
    Pnueli, A
    [J]. ACTA INFORMATICA, 2000, 36 (11) : 837 - 912
  • [39] Verification of clocked and hybrid systems
    Yonit Kesten
    Zohar Manna
    Amir Pnueli
    [J]. Acta Informatica, 2000, 36 : 837 - 912
  • [40] Verification of timed and hybrid systems
    Larsen, KG
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 39 - 42
12345