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 条

[21] Predictive Control of Fractional State-space Model
Hcheichi, Khaled
Bouani, Faouzi
2017 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND DIAGNOSIS (ICCAD), 2017, : 499 - 504
[22] Using state-space database to control vehicles
Nakatsukasa, Hiromi
Ogawara, Kakaji
Higuchi, Takehiro
2006 SICE-ICASE INTERNATIONAL JOINT CONFERENCE, VOLS 1-13, 2006, : 3523 - +
[23] State-Space Control of Prosthetic Hand Shape
Velliste, M.
McMorland, A. J. C.
Diril, E.
Clanton, S. T.
Schwartz, A. B.
2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2012, : 964 - 967
[24] STATE-SPACE CONSTRAINED MODEL PREDICTIVE CONTROL
Honc, Daniel
Dusek, Frantisek
PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, 2013, : 441 - +
[25] Control of hysteretic systems: A state-space approach
Gorbet, RB
Morris, KA
Wang, DWL
LEARNING, CONTROL AND HYBRID SYSTEMS: FESTSCHRIFT IN HONOR OF BRUCE ALLEN FRANCIS AND MATHUKUMALLI VIDYASAGAR ON THE OCCASION OF THEIR 50TH BIRTHDAYS, 1999, 241 : 432 - 451
[26] State-space control model of tokamak reactors
Garrido, Izaskun
Garrido, Aitor
Barambones, Oscar
Alkorta, Patxi
PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '07): SYSTEM SCIENCE AND SIMULATION IN ENGINEERING, 2007, : 109 - +
[27] Learning nonlinear state-space models for control
Raiko, T
Tornio, M
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLS 1-5, 2005, : 815 - 820
[28] H∞-control problems:: A state-space approach
Aniculaesei, G
Anita, S
ADVANCES IN DIFFERENCE EQUATIONS-BOOK, 1997, : 39 - 46
[29] Approximate State-Space Model Predictive Control
Lawrynczuk, Maciej
2015 20TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2015, : 770 - 775
[30] On singular nonlinearH∞ control: A state-space approach
Jang-Lee Hong
Ching-Cheng Teng
Circuits, Systems and Signal Processing, 1999, 18 : 351 - 364

← 1 2 3 4 5 →