On an input driven hierarchy of hybrid automata

被引：0
|
作者：
机构：
[1] Oltean, Virginia Ecaterina
[2] Dobrescu, Radu
[3] Popescu, Dan
来源：
Oltean, V.E. (ecaterina_oltean@yahoo.com) | 1600年 / Springer Verlag卷 / 187 AISC期
关键词：
Hybrid systems - Differential equations - Signal generators - Switching - Automata theory;
D O I：
10.1007/978-3-642-32548-9-2
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Digging input-driven pushdown automata
    Kutrib, Martin
    Malcher, Andreas
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2021, 55 (55):
  • [2] Input-Driven Multi-counter Automata
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2019), 2019, 11601 : 197 - 208
  • [3] The Quotient Operation on Input-Driven Pushdown Automata
    Okhotin, Alexander
    Salomaa, Kai
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, 2017, 10316 : 299 - 310
  • [4] Input-Driven Queue Automata with Internal Transductions
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 156 - 167
  • [5] Input-driven multi-counter automata
    Kutrib, Martin
    Malcher, Andreas
    Wendlandt, Matthias
    THEORETICAL COMPUTER SCIENCE, 2021, 870 (870) : 121 - 136
  • [6] Hybrid Input Output Automata for Composable Conveyor Systems
    Mitra, Sayan
    Sastry, Shivakumar
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 29 - 29
  • [7] State Complexity of Operations on Input-Driven Pushdown Automata
    Okhotin, Alexander
    Salomaa, Kai
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 485 - 496
  • [8] State complexity of operations on input-driven pushdown automata
    Okhotin, Alexander
    Salomaa, Kai
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 86 : 207 - 228
  • [9] Further Closure Properties of Input-Driven Pushdown Automata
    Okhotin, Alexander
    Salomaa, Kai
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, 2018, 10952 : 224 - 236
  • [10] Edit distance neighbourhoods of input-driven pushdown automata
    Okhotin, Alexander
    Salomaa, Kai
    THEORETICAL COMPUTER SCIENCE, 2019, 777 : 417 - 430
12345