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 条
  • [1] A geometric approach to bisimulation and verification of hybrid
    Broucke, M
    [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 4277 - 4282
  • [2] Bisimulation for general stochastic hybrid systems
    Bujorianu, ML
    Lygeros, J
    Bujorianu, MC
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 198 - 214
  • [3] Compositional verification of priority systems using sharp bisimulation
    Di Stefano, Luca
    Lang, Frederic
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2024, 62 (1-3) : 1 - 40
  • [4] Geometric approach to a class of multidimensional hybrid systems
    Prepelita, Valeriu
    Vasilache, Tiberiu
    Doroftei, Mona
    [J]. BALKAN JOURNAL OF GEOMETRY AND ITS APPLICATIONS, 2012, 17 (02): : 92 - 103
  • [5] Identification of linear hybrid systems: a geometric approach
    Van Luong Le
    Lauer, Fabien
    Bloch, Gerard
    [J]. 2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 830 - 835
  • [6] Symbolic verification of hybrid systems: An algebraic approach
    von Mohrenschildt, M
    [J]. EUROPEAN JOURNAL OF CONTROL, 2001, 7 (05) : 541 - 556
  • [7] Approximate bisimulation for a class of stochastic hybrid systems
    Julius, A. Agung
    Girard, Antoine
    Pappas, George J.
    [J]. 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4724 - +
  • [8] A Computational Procedure for Bisimulation of Hybrid Dynamical Systems
    Tavassoli, Babak
    [J]. 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 1432 - 1437
  • [9] VERIFICATION BY ABSTRACTION AND BISIMULATION
    ZUIDWEG, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 105 - 116
  • [10] Bisimulation relations for dynamical, control, and hybrid systems
    Haghverdi, E
    Tabuada, P
    Pappas, GJ
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 342 (2-3) : 229 - 261
12345