Games on Multi-stack Pushdown Systems

被引：7
|
作者：
Seth, Anil [1 ]
机构：
[1] Indian Inst Technol, Dept Comp Sci & Engn, Kanpur 208016, Uttar Pradesh, India
来源：
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE | 2009年 / 5407卷
关键词：
D O I：
10.1007/978-3-540-92687-0_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Bounded phase multi-stack pushdown automata have been studied recently. In this paper we show that parity games over bounded phase multi-stack pushdown systems are effectively solvable and winning strategy in these games can be effectively synthesized. We show some applications of our result, including a new proof of a known result that emptiness problem for bounded phase multi-stack automata is decidable.
引用
收藏
页码：395 / 408
页数：14
相关论文
共 50 条
  • [41] Thinned wafer multi-stack 3DI technology
    Ohba, Takayuki
    Maeda, Nobuhide
    Kitada, Hideki
    Fujimoto, Koji
    Suzuki, Kousuke
    Nakamura, Tomoji
    Kawai, Akihito
    Arai, Kazuhisa
    MICROELECTRONIC ENGINEERING, 2010, 87 (03) : 485 - 490
  • [42] Properties of a multi-stack type piezoelectric energy harvesting device
    Jeong, Soon-Jong
    Kim, Min-Soo
    Lee, Dae-Su
    Song, Jae-Sung
    INTEGRATED FERROELECTRICS, 2008, 98 (01) : 208 - 215
  • [43] A review on proton exchange membrane multi-stack fuel cell systems: architecture, performance, and power management
    Zhou, Su
    Fan, Lei
    Zhang, Gang
    Gao, Jianhua
    Lu, Yanda
    Zhao, Peng
    Wen, Chaokai
    Shi, Lin
    Hu, Zhe
    APPLIED ENERGY, 2022, 310
  • [44] Integration of air-cooled multi-stack polymer electrolyte fuel cell systems into renewable microgrids
    Andujar, J. M.
    Vivas, F. J.
    Segura, F.
    Calderon, A. J.
    INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, 2022, 142
  • [45] Inconsistency analysis and power allocation of the stack in multi-stack solid oxide fuel cell system
    Wang, Zhen
    Liu, Guoqiang
    Liu, Xing-bo
    Xiang, Hong-fu
    Sun, Can
    Wang, Zhuo
    Fu, Qiuyun
    Li, Xi
    JOURNAL OF POWER SOURCES, 2024, 598
  • [46] Using multi-stack and variable-speed-drive systems to reduce laboratory exhaust fan energy
    Wang, G
    Liu, MS
    INTERNATIONAL JOURNAL OF ENERGY RESEARCH, 2005, 29 (01) : 1 - 12
  • [47] Design and energy consumption research of an integrated air supply device for multi-stack fuel cell systems
    Zhou, Su
    Xie, Zhengchun
    Chen, Chunguang
    Zhang, Gang
    Guo, Junhua
    APPLIED ENERGY, 2022, 324
  • [48] High Gain and Wideband Multi-Stack Multilayer Anisotropic Dielectric Antenna
    Moayyed, Farhad
    Oskouei, Hamid R. Dalili
    Shirkolaei, Morteza Mohammadi
    PROGRESS IN ELECTROMAGNETICS RESEARCH LETTERS, 2021, 99 : 103 - 109
  • [49] Evaluation of thermal behaviors for the multi-stack vanadium flow battery module
    Chen, Fuyu
    Gao, Hai
    Chen, Hui
    Yan, Chuanwei
    JOURNAL OF ENERGY STORAGE, 2020, 27
  • [50] A multi-stack simulation of shunt currents in vanadium redox flow batteries
    Wandschneider, F. T.
    Roehm, S.
    Fischer, P.
    Pinkwart, K.
    Tuebke, J.
    Nirschl, H.
    JOURNAL OF POWER SOURCES, 2014, 261 : 64 - 74
12345