Centralized vs Decentralized Monitors for Hyperproperties

被引：0
|
作者：
Aceto, Luca [1 ,2 ]
Achilleos, Antonis [1 ]
Anastasiadi, Elli [3 ]
Francalanza, Adrian [4 ]
Gorla, Daniele [5 ]
Wagemaker, Jana [1 ]
机构：
[1] Dept. of Computer Science, Reykjavik University, Iceland
[2] Gran Sasso Science Institute, L’Aquila, Italy
[3] Uppsala University, Sweden
[4] University of Malta, Malta
[5] Dept. of Computer Science, Sapienza University of Rome, Italy
来源：
Leibniz International Proceedings in Informatics, LIPIcs | / 311卷
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Decentralized control
引用
收藏
相关论文
共 50 条
  • [21] Centralized vs decentralized adaptive generalized predictive control of a biodiesel reactor
    Ho, Yong Kuen
    Mjalli, Farouq S.
    Yeoh, Hak Koon
    ASIA-PACIFIC JOURNAL OF CHEMICAL ENGINEERING, 2013, 8 (01) : 137 - 143
  • [22] Decentralized vs. centralized economic coordination of resource allocation in grids
    Eymann, T
    Reinicke, M
    Ardaiz, O
    Artigas, P
    Díaz de Cerio, L
    Freitag, F
    Messeguer, R
    Navarro, L
    Royo, D
    Sanjeevan, K
    GRID COMPUTING, 2004, 2970 : 9 - 16
  • [23] Trick or Treat: Centralized Data Lake Vs Decentralized Data Mesh
    Dolhopolov, Anton
    Castelltort, Arnaud
    Laurent, Anne
    MANAGEMENT OF DIGITAL ECOSYSTEMS, MEDES 2023, 2024, 2022 : 303 - 316
  • [24] Attack Detection in Stochastic Interconnected Systems: Centralized vs Decentralized Detectors
    Anguluri, Rajasekhar
    Katewa, Vaibhav
    Pasqualetti, Fabio
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 4541 - 4546
  • [25] Analysis of Centralized vs Decentralized Storage Systems in PV Distributed Generation
    Nag, Ananya
    Haddad, Rami J.
    El-Shahat, Adel
    SOUTHEASTCON 2017, 2017,
  • [26] Renewables and Storage in Distribution Systems: Centralized vs. Decentralized Integration
    Jia, Liyan
    Tong, Lang
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2016, 34 (03) : 665 - 674
  • [27] Centralized vs Decentralized Production Planning in ETO Environments: A Theoretical Discussion
    Nujen, Bella B.
    Alfnes, Erlend
    Mwesiumo, Deodat
    Gran, Erik
    Tomasgard, Tore
    ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: SMART MANUFACTURING AND LOGISTICS SYSTEMS: TURNING IDEAS INTO ACTION, APMS 2022, PT II, 2022, 664 : 329 - 338
  • [28] Centralized vs. Decentralized Redistribution: A Case for Interregional Transfer Mechanisms
    Pfingsten A.
    Wagener A.
    International Tax and Public Finance, 1997, 4 (4) : 429 - 451
  • [29] CENTRALIZED VS DECENTRALIZED OPTIONS FOR A EUROPEAN DATA RELAY SATELLITE SYSTEM
    STAUBERT, P
    HERVIEUX, M
    PERBOS, JL
    SAGGESE, E
    SOPRANO, C
    ACTA ASTRONAUTICA, 1986, 13 (6-7) : 387 - 401
  • [30] Performance Analysis of Centralized Vs Decentralized Control of an Intelligent Autonomous Intersection
    Shaaban, Mohamed E.
    Shehata, Omar M.
    Morgan, Elsayed I.
    2022 IEEE International Conference on Smart Mobility, SM 2022, 2022, : 8 - 13
12345