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 条
  • [21] A Component-Based Approach to Hybrid Systems Safety Verification
    Mueller, Andreas
    Mitsch, Stefan
    Retschitzegger, Werner
    Schwinger, Wieland
    Platzer, Andre
    [J]. INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 441 - 456
  • [22] Decompositional verification of component-based systems - A hybrid approach
    Xie, GY
    [J]. 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 414 - 417
  • [23] Hybrid geometric reduction of hybrid systems
    Ames, Aaron D.
    Sastry, Shankar
    [J]. PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 923 - 929
  • [24] Bisimulation verification using the up to techniques
    Hirschkoff D.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (03) : 271 - 285
  • [25] 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
  • [26] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    [J]. Journal of Logical and Algebraic Methods in Programming, 2021, 120
  • [27] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 120
  • [28] On the Zero-Dynamics of a Class of Hybrid LTI Systems: A Geometric Approach
    Mattioni, Mattia
    Monaco, Salvatore
    Normand-Cyrot, Dorothee
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2019, 3 (03): : 703 - 708
  • [29] General approach to quantum-classical hybrid systems and geometric forces
    Zhang, Qi
    Wu, Biao
    [J]. PHYSICAL REVIEW LETTERS, 2006, 97 (19)
  • [30] Geometric control of hybrid systems?
    Legat, Benoit
    Jungers, Raphael M.
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2023, 47
12345