Multi-type Calculi and Structural Control

被引：0
|
作者：
Palmigiano, Alessandra [1 ]
机构：
[1] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 381期
关键词：
LOGIC;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：2 / 4
页数：3
相关论文
共 50 条
  • [1] Proper Multi-Type Display Calculi for Rough Algebras
    Greco, Giuseppe
    Liang, Fei
    Manoorkar, Krishna
    Palmigiano, Alessandra
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019, 344 : 101 - 118
  • [2] On multi-type Cannings models and multi-type exchangeable coalescents
    Moehle, Martin
    THEORETICAL POPULATION BIOLOGY, 2024, 156 : 103 - 116
  • [3] A Multi-Type Λ-Coalescent
    Griffiths, Robert C.
    BRANCHING PROCESSES AND THEIR APPLICATIONS, 2016, 219 : 23 - 37
  • [4] Structural damage identification method based on multi-type sensors
    Teng J.
    Lu W.
    Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2010, 40 (03): : 538 - 542
  • [5] A product form solution to a system with multi-type jobs and multi-type servers
    Visschers, Jeremy
    Adan, Ivo
    Weiss, Gideon
    QUEUEING SYSTEMS, 2012, 70 (03) : 269 - 298
  • [6] A product form solution to a system with multi-type jobs and multi-type servers
    Jeremy Visschers
    Ivo Adan
    Gideon Weiss
    Queueing Systems, 2012, 70 : 269 - 298
  • [7] A Multi-Type Dynamic Response Control Strategy for Energy Consumption
    Jing, Lantao
    Wei, Enyu
    Wang, Liang
    Li, Jinkuo
    Zhang, Qiang
    ENERGIES, 2024, 17 (13)
  • [8] Control of connected vehicles with multi-type communication topology and delay
    Gao, Yu
    Wen, Shixi
    Zhao, Yuan
    2023 35TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2023, : 798 - 804
  • [9] Research of Modeling and Control Strategies of Multi-type Generators Peaking
    Liu, Xianzhuang
    Hu, Wei
    Hong, Chengqiu
    Hu, Binqi
    Cheng, Tao
    2014 IEEE PES ASIA-PACIFIC POWER AND ENERGY ENGINEERING CONFERENCE (IEEE PES APPEEC), 2014,
  • [10] Structural damage identification via multi-type sensors and response reconstruction
    Zhang, C. D.
    Xu, Y. L.
    STRUCTURAL HEALTH MONITORING-AN INTERNATIONAL JOURNAL, 2016, 15 (06): : 715 - 729
12345