ON AN APPLICATION OF DYNAMIC PROGRAMMING TO THE SYNTHESIS OF LOGICAL SYSTEMS

被引：6
|
作者：
BELLMAN, R
HOLLAND, J
KALABA, R
机构：
来源：
JOURNAL OF THE ACM | 1959年 / 6卷 / 04期
关键词：
D O I：
10.1145/320998.321002
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：486 / 493
页数：8
相关论文
共 50 条
  • [41] Analysis and synthesis of logical-dynamic systems of automatic control of a gas-turbine engine
    Petunin, V. I.
    Frid, A. I.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2012, 51 (06) : 818 - 832
  • [42] Skeletal based programming for dynamic programming on MultiGPU systems
    Acosta, Alejandro
    Almeida, Francisco
    JOURNAL OF SUPERCOMPUTING, 2013, 65 (03): : 1125 - 1136
  • [43] Dynamic contextual intensional logic: Logical foundations and an application
    Thomason, RH
    MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 328 - 341
  • [44] APPLICATION OF LOGICAL PROGRAMMING FOR THE VALIDATION OF AGGREGATE SPECIFICATIONS OF PROTOCOL OF COMPUTER NETWORK
    PRANJAVICHJUS, GJ
    CHJAPONITE, RB
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1992, (02): : 22 - 27
  • [45] The Application of Dynamic Programming in Production Planning
    Wu, Run
    MATERIALS SCIENCE, ENERGY TECHNOLOGY, AND POWER ENGINEERING I, 2017, 1839
  • [46] AN APPLICATION OF DYNAMIC PROGRAMMING TO COLORING OF MAPS
    BELLMAN, R
    ICC BULLETIN, 1965, 4 (01): : 3 - &
  • [47] APPLICATION OF DYNAMIC PROGRAMMING TO ROUTING PROBLEMS
    JEFFERIS, RP
    FEGLEY, KA
    IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1965, SSC1 (01): : 21 - +
  • [48] Application of Dynamic Programming in Dynamic Image Sequence Analysis
    Zheng, Sun
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, 2008, : 8 - 11
  • [49] Interval Tree Clocks A Logical Clock for Dynamic Systems
    Almeida, Paulo Sergio
    Baquero, Carlos
    Fonte, Victor
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, 2008, 5401 : 259 - 274
  • [50] Stability of Logical Dynamic Systems With a Class of Constrained Switching
    Ding, Xueying
    Lu, Jianquan
    Li, Haitao
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2022, 69 (10) : 4248 - 4257
12345