STATE-SPACE, PROBLEM-REDUCTION, AND THEOREM PROVING - SOME RELATIONSHIPS

被引：14

作者：

VANDERBRUG, GJ ^{[1
]}

MINKER, J ^{[1
]}

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742

来源：

COMMUNICATIONS OF THE ACM | 1975年 / 18卷 / 02期

关键词：

D O I：

10.1145/360666.360672

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：107 / 115

页数：9

共 50 条

[1] A NOTE ON PEARLMANS STATE-SPACE EQUIVALENCE THEOREM
FRAZHO, A
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1980, 25 (02) : 335 - 336
[2] A State-Space Revisit to Redheffer's Theorem
Cheng, Yiping
Liu, Ze
[J]. 2010 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-5, 2010, : 35 - 38
[3] ON THE FUNDAMENTAL THEOREM OF ASSET PRICING WITH AN INFINITE STATE-SPACE
BACK, K
PLISKA, SR
[J]. JOURNAL OF MATHEMATICAL ECONOMICS, 1991, 20 (01) : 1 - 18
[4] A NOTE ON PEARLMANS STATE-SPACE EQUIVALENCE THEOREM - REPLY
PEARLMAN, JG
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1980, 25 (02) : 336 - 336
[5] STATE-SPACE SOLUTION OF THE CAUSAL FACTORIZATION PROBLEM
RAKOWSKI, M
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (12) : 1843 - 1848
[6] Model reduction for state-space symmetric systems
Liu, WQ
Sreeram, V
Teo, KL
[J]. SYSTEMS & CONTROL LETTERS, 1998, 34 (04) : 209 - 215
[7] State-Space Reduction through Preference Modeling
Klimek, Radoslaw
Wojnicki, Igor
Ernst, Sebastian
[J]. ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, 2013, 7895 : 363 - 374
[8] Iterative state-space reduction for flexible computation
Zhang, WX
[J]. ARTIFICIAL INTELLIGENCE, 2001, 126 (1-2) : 109 - 138
[9] Optimistic synchronization-based state-space reduction
Stoller, Scott D.
Cohen, Ernie
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (03) : 263 - 289
[10] ZERO PLACEMENT AND SQUARING PROBLEM - A STATE-SPACE APPROACH
SEBAKHY, OA
ELSINGABY, M
ELARABAWY, IF
[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1986, 17 (12) : 1741 - 1750

← 1 2 3 4 5 →