Approximate bisimulation for linear semi-algebraic transition systems

被引：1
|
作者：
School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China [1 ]
不详 [2 ]
机构：
来源：
Jilin Daxue Xuebao (Gongxueban) | / 4卷 / 1052-1058期
关键词：
D O I：
10.7964/jdxbgxb201304033
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Quantitative specification of semi-algebraic transition systems with metrics
    Fu, Jun
    Wu, Jinzhao
    Tan, Hongyan
    Zhou, Ning
    [J]. Journal of Information and Computational Science, 2015, 12 (03): : 993 - 1000
  • [2] An approximate arrangement algorithm for semi-algebraic curves
    Milenkovic, Victor
    Sacks, Elisha
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 2007, 17 (02) : 175 - 198
  • [3] SEMI-ALGEBRAIC NEIGHBORHOODS OF CLOSED SEMI-ALGEBRAIC SETS
    Dutertre, Nicolas
    [J]. ANNALES DE L INSTITUT FOURIER, 2009, 59 (01) : 429 - 458
  • [4] Triangular decomposition of semi-algebraic systems
    Chen, Changbo
    Davenport, James H.
    May, John P.
    Maza, Marc Moreno
    Xia, Bican
    Xiao, Rong
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2013, 49 : 3 - 26
  • [5] SEMI-ALGEBRAIC LOCAL-TRIVIALITY IN SEMI-ALGEBRAIC MAPPINGS
    HARDT, RM
    [J]. AMERICAN JOURNAL OF MATHEMATICS, 1980, 102 (02) : 291 - 302
  • [6] Ramsey numbers of semi-algebraic and semi-linear hypergraphs
    Jin, Zhihan
    Tomon, Istvan
    [J]. JOURNAL OF COMBINATORIAL THEORY SERIES B, 2023, 163 : 54 - 82
  • [7] On the topology of semi-algebraic functions on closed semi-algebraic sets
    Nicolas Dutertre
    [J]. Manuscripta Mathematica, 2012, 139 : 415 - 441
  • [8] On the topology of semi-algebraic functions on closed semi-algebraic sets
    Dutertre, Nicolas
    [J]. MANUSCRIPTA MATHEMATICA, 2012, 139 (3-4) : 415 - 441
  • [9] Semi-algebraic Description of the Equilibria of Dynamical Systems
    Chen, Changbo
    Maza, Marc Moreno
    [J]. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2011, 6885 : 101 - 125
  • [10] Discovering non-linear ranking functions by solving semi-algebraic systems
    Chen, Yinghua
    Xia, Bican
    Yang, Lu
    Zhan, Naijun
    Zhou, Chaochen
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 34 - +
12345