Approximate completed trace equivalence of linear algebra transition systems

被引：0
|
作者：
Yang, Hao [1 ,2 ]
He, Anping [1 ]
Zhang, Zhiwei [1 ,2 ]
Yang, Shihan [1 ]
liu, Yang [2 ]
机构：
[1] Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning, China
[2] Chengdu Institute of Computer Application Chinese Academy of Sciences, Chengdu, China
来源：
Advances in Intelligent Systems and Computing | 2013年 / 212卷
关键词：
D O I：
10.1007/978-3-642-37502-6_29
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：233 / 237
相关论文
共 50 条
  • [1] Approximate trace equivalence of real-time linear algebraic transition systems
    Zhang, Hui
    Wu, Jinzhao
    Tan, Hongyan
    Yang, Hao
    [J]. Computer Modelling and New Technologies, 2014, 18 (07): : 36 - 40
  • [2] Approximate completed trace equivalence of real-time linear algebraic Hybrid Automata
    Liu, Zhi
    [J]. Computer Modelling and New Technologies, 2014, 18 (10): : 104 - 108
  • [3] Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving
    He, Honghui
    Wu, Jinzhao
    Xiong, Juxia
    [J]. INFORMATION, 2019, 10 (11)
  • [4] Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems
    Yang, Hao
    Wu, Jinzhao
    Zhang, Zhiwei
    Liu, Yang
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 (05): : 1693 - 1697
  • [5] Completed trace equivalence of inhomogeneous linear algebraic Hybrid Automata
    Huang, Lei
    Liu, Zhi
    [J]. Computer Modelling and New Technologies, 2014, 18 (10): : 109 - 113
  • [6] Approximate equivalence and approximate synchronization of metric transition systems
    Julius, A. Agung
    Pappas, George J.
    [J]. PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 905 - 910
  • [7] Approximate equivalence and synchronization of metric transition systems
    Julius, A. Agung
    D'Innocenzo, Alessandro
    Di Benedetto, Maria Domenica
    Pappas, George J.
    [J]. SYSTEMS & CONTROL LETTERS, 2009, 58 (02) : 94 - 101
  • [8] (In)finite Trace Equivalence of Probabilistic Transition Systems
    Goy, Alexandre
    Rot, Jurriaan
    [J]. COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2018), 2018, 11202 : 100 - 121
  • [9] Checking experiments with labeled transition systems for trace equivalence
    Tan, QM
    Petrenko, A
    vonBochmann, G
    [J]. TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 167 - 182
  • [10] Approximate trace and singleton failures equivalences for transition systems
    Wang, Chao
    Wu, Jinzhao
    Tan, Hongyan
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2015, 26 (04) : 886 - 896
12345