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 条
  • [11] SERVOMECHANISM PROBLEM AND METHOD OF STATE-SPACE IN FREQUENCY DOMAIN
    FERREIRA, PG
    INTERNATIONAL JOURNAL OF CONTROL, 1976, 23 (02) : 245 - 255
  • [12] Parameter reduction in nonlinear state-space identification of hysteresis
    Esfahani, Alireza Fakhrizadeh
    Dreesen, Philippe
    Tiels, Koen
    Noel, Jean-Philippe
    Schoukens, Johan
    MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 2018, 104 : 884 - 895
  • [13] Optimistic synchronization-based state-space reduction
    Scott D. Stoller
    Ernie Cohen
    Formal Methods in System Design, 2006, 28 : 263 - 289
  • [14] Optimistic synchronization-based state-space reduction
    Stoller, SD
    Cohen, E
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 489 - 504
  • [15] STATE-SPACE FORMULAS FOR A MODEL-MATCHING PROBLEM
    RAN, ACM
    SYSTEMS & CONTROL LETTERS, 1989, 12 (01) : 17 - 21
  • [16] Random response relationships to transfer function and state-space properties
    Redfield, Robin C.
    JOURNAL OF VIBRATION AND ACOUSTICS-TRANSACTIONS OF THE ASME, 2007, 129 (05): : 672 - 677
  • [17] ROLE OF TRUNCATED POLYNOMIALS IN SOME STATE-SPACE TECHNIQUES
    CSAKI, F
    ACTA TECHNICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1975, 80 (3-4): : 327 - 342
  • [18] STATE-SPACE APPROACH TO THE BILINEAR TRANSFORMATION AND SOME EXTENSIONS
    NARAYANA, A
    IEEE TRANSACTIONS ON EDUCATION, 1991, 34 (01) : 139 - 142
  • [19] ROBUST-CONTROL IN STATE-SPACE - AN APPROACH VIA THE KRASOVSKII THEOREM
    HU, HX
    LOH, NK
    PROCEEDINGS OF THE 1989 AMERICAN CONTROL CONFERENCE, VOLS 1-3, 1989, : 1592 - 1597
  • [20] Enhancing State-Space Tree Diagrams for Collaborative Problem Solving
    Tanimoto, Steven L.
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2008, 5223 : 156 - 164
12345