Efficient control state-space search

被引：1
|
作者：
Aziz, A [1 ]
Kukula, J
Shiple, T
Yuan, J
机构：
[1] Univ Texas, Dept Elect & Comp Engn, Austin, TX 78712 USA
[2] Synopsys Inc, Adv Technol Grp, Mountain View, CA 94043 USA
[3] Motorola Inc, Austin, TX 78729 USA
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2001年 / 20卷 / 02期
基金：
美国国家科学基金会;
关键词：
BDDs; coverage; digital hardware; reachability analysis; verification;
D O I：
10.1109/43.908475
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We develop algorithms for exploring the reachable State-space of hardware designs that can be partitioned into control and data. The core procedure is a symbolic algorithm that tries to visit as many controller states as is computationally feasible. Here, we describe heuristics for making this traversal efficient. Experiments demonstrate that our approach is capable of achieving significantly greater coverage of the control state-space than conventional symbolic reachability analysis.
引用
收藏
页码：332 / 336
页数：5
相关论文
共 50 条
  • [41] State-space search for improved autonomous UAVs assignment algorithm
    Rasmussen, SJ
    Shima, T
    Mitchell, JW
    Sparks, AG
    Chandler, P
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 2911 - 2916
  • [42] On singular nonlinear H∞ control:: A state-space approach
    Hong, JL
    Teng, CC
    CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 1999, 18 (04) : 351 - 364
  • [43] Adaptive State-Space Neuro-Fuzzy Control
    Gil, Paulo
    Oliveira, Tiago
    Cardoso, Alberto
    Palma, Luis
    2018 15TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING/ELECTRONICS, COMPUTER, TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY (ECTI-CON), 2018, : 45 - 48
  • [44] State-space approach to stabilizing stochastic predictive control
    Chisci, L
    Lombardi, A
    Mosca, E
    Rossiter, JA
    INTERNATIONAL JOURNAL OF CONTROL, 1996, 65 (04) : 619 - 637
  • [45] STATE-SPACE PREDICTIVE CONTROL OF INVERTED PENDULUM MODEL
    Rusar, Lukas
    Krhovjak, Adam
    Talas, Stanislav
    Bobal, Vladimir
    PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 384 - 390
  • [46] Application of State-Space Method for Control System Analysis
    Ignatenko, Vlas
    Yudintsev, Anton
    Lyapunov, Danil
    2019 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2019,
  • [47] Dissipative analysis and control of state-space symmetric systems
    Meisami-Azad, Mona
    Mohammadpour, Javad
    Grigoriadis, Karolos M.
    AUTOMATICA, 2009, 45 (06) : 1574 - 1579
  • [48] Neural State-Space Model Approach to Efficient Speech Separation
    Chen, Chen
    Yang, Chao-Han Huck
    Li, Kai
    Hu, Yuchen
    Ku, Pin-Jui
    Chng, Eng Siong
    INTERSPEECH 2023, 2023, : 3784 - 3788
  • [49] STATE-SPACE INTERPRETATION OF MODEL-PREDICTIVE CONTROL
    LEE, JH
    MORARI, M
    GARCIA, CE
    AUTOMATICA, 1994, 30 (04) : 707 - 717
  • [50] DIRECT ADAPTIVE-CONTROL IN A STATE-SPACE SETTING
    KAMEN, EW
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1990, 144 : 655 - 663
12345