A label constraint reachability computation method on recursive partition

被引：0
|
作者：
College of Electronic Science and Engineering, National University of Defense Technology, Changsha [1 ]
410073, China
机构：
来源：
Guofang Keji Daxue Xuebao | / 5卷 / 98-104期
关键词：
Query processing;
D O I：
10.11887/j.cn.201405017
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Reachability Analysis of Recursive Quantum Markov Chains
    Feng, Yuan
    Yu, Nengkun
    Ying, Mingsheng
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 385 - 396
  • [22] Nonlinear system identification by evolutionary computation and recursive estimation method
    Juang, JG
    Lin, BS
    ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, : 5073 - 5078
  • [23] A FAST RECURSIVE METHOD FOR REPEATED COMPUTATION OF RELIABILITY MATRIX QVVP
    SHAN, J
    PHOTOGRAMMETRIA, 1989, 43 (06): : 337 - 346
  • [24] Recursive reordering and elimination method for efficient computation of PageRank problems
    Shen, Zhao-Li
    Liu, Yu -Tong
    Carpentieri, Bruno
    Wen, Chun
    Wang, Jian-Jun
    AIMS MATHEMATICS, 2023, 8 (10): : 25104 - 25130
  • [25] Recursive computation of trispectrum
    Aamir, Khalid Mahmood
    Maud, Mohammad Ali
    Loan, Asim
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (10) : 2914 - 2916
  • [26] Reachability computation for polynomial dynamical systems
    Dreossi, Tommaso
    Dang, Thao
    Piazza, Carla
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (01) : 1 - 38
  • [27] The Continual Reachability Set and its Computation Using Maximal Reachability Techniques
    Kaynama, Shahab
    Oishi, Meeko
    Mitchell, Ian M.
    Dumont, Guy A.
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 6110 - 6115
  • [28] Recursive computation of the MPUM
    Willems, Jan C.
    MODELING, ESTIMATION AND CONTROL: FESTSCHRIFT IN HONOR OF GIORGIO PICCI ON THE OCCASION OF THE SIXTY-FIFTH BIRTHDAY, 2007, 364 : 329 - 344
  • [29] Reachability computation for polynomial dynamical systems
    Tommaso Dreossi
    Thao Dang
    Carla Piazza
    Formal Methods in System Design, 2017, 50 : 1 - 38
  • [30] Approximate reachability computation for polynomial systems
    Dang, T
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 138 - 152
12345