The hierarchical control of ST-finite-state machines

被引：0
|
作者：
Caines, Peter E.
Gupta, Vineet
Shen, Gang
机构：
[1] Department of Electrical Engineering, McGill University, 3480 University Street, Montreal, Que. H3A 2A7, Canada
[2] NASA Ames Research Center, Moffett Field, CA 94035, United States
来源：
Systems and Control Letters | 1997年 / 32卷 / 04期
关键词：
* Corresponding author. E-mail: @cim.mcgill. edu. Work partially supported by NSERC grant number OGP 0001329; NSERC-FCAR-Nortel grant number CRD 180190 and NASA-Ames Research Center grant number NAG-2-1040;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
页码：185 / 192
相关论文
共 50 条
  • [41] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [42] Finite Virtual State Machines
    Senhadji-Navarro, Raouf
    Garcia-Vargas, Ignacio
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (10): : 2544 - 2547
  • [43] Model checking of hierarchical state machines
    Alur, R
    Yannakakis, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (03): : 273 - 303
  • [44] Reduction and slicing of hierarchical state machines
    Heimdahl, MPE
    Whalen, MW
    SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 450 - 467
  • [45] FINITE STATE MACHINES FOR XMODEM
    SMITH, DW
    DR DOBBS JOURNAL, 1989, 14 (10): : 45 - &
  • [46] Learning Finite State Machines
    de la Higuera, Colin
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2010, 6062 : 1 - 10
  • [47] Complexity Metrics for Hierarchical State Machines
    Hall, Mathew
    SEARCH BASED SOFTWARE ENGINEERING, 2011, 6956 : 76 - 81
  • [48] Retiming finite state machines to control hardened data-paths
    Augé, I
    Donnet, F
    Pétrot, F
    16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS, 2003, : 41 - 46
  • [49] A synthesis for testability scheme for finite state machines using clock control
    Einspahr, KL
    Mehta, SK
    Seth, SC
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (12) : 1780 - 1792
  • [50] Risk sensitive control of finite state machines on an infinite horizon I
    Fleming, WH
    Hernandez-Hernandez, D
    PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 3407 - 3412
12345