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 条
  • [41] The Effect of PMU Measurement Delays on a Linear State Estimator: Centralized Vs Decentralized
    Asprou, Markos
    Kyriakides, Elias
    2017 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, 2017,
  • [42] Decentralized Vs. Centralized Sequencing in a Complex Job-Shop Scheduling
    Mehrsai, Afshin
    Figueira, Goncalo
    Santos, Nicolau
    Amorim, Pedro
    Almada-Lobo, Bernardo
    ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: THE PATH TO INTELLIGENT, COLLABORATIVE AND SUSTAINABLE MANUFACTURING, 2017, 513 : 467 - 474
  • [43] Adaptable Configuration of Decentralized Monitors
    Visconti, Ennio
    Bartocci, Ezio
    Falcone, Ylies
    Nenzi, Laura
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 197 - 217
  • [44] Decentralized vs. Centralized Water Pollution Cleanup in the Ganges in a Model with Three Cities
    Batabyal, Amitrajeet
    Beladi, Hamid
    NETWORKS & SPATIAL ECONOMICS, 2024, 24 (02): : 383 - 394
  • [45] Centralized exchanges vs. decentralized exchanges in cryptocurrency markets: A systematic literature review
    Haegele, Sascha
    ELECTRONIC MARKETS, 2024, 34 (01)
  • [46] Centralized vs decentralized sourcing strategy for multi-tier automotive supply network
    Bagul, Avinash Dinkarrao
    Mukherjee, Indrajit
    INTERNATIONAL JOURNAL OF PRODUCTIVITY AND PERFORMANCE MANAGEMENT, 2019, 68 (03) : 578 - 607
  • [47] Centralized vs. Decentralized Nursing Stations: An Evaluation of the Implications of Communication Technologies in Healthcare
    Bayramzadeh, Sara
    Alkazemi, Mariam F.
    HERD-HEALTH ENVIRONMENTS RESEARCH & DESIGN JOURNAL, 2014, 7 (04) : 62 - 80
  • [48] Centralized and decentralized bitcoin markets: Euro vs USD vs GBP (vol 71, pg 270, 2018)
    Matkovskyy, Roman
    QUARTERLY REVIEW OF ECONOMICS AND FINANCE, 2021, 81 : 497 - 497
  • [49] Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models
    Sinnott, R. O.
    Chadwick, D. W.
    Doherty, T.
    Martin, D.
    Stell, A.
    Stewart, G.
    Su, L.
    Watt, J.
    CCGRID 2008: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, VOLS 1 AND 2, PROCEEDINGS, 2008, : 106 - +
  • [50] Centralized vs. Decentralized: A Hybrid Performance Model of the TSN Resource Allocation Protocol
    Raunecker, David
    Geissler, Stefan
    Grigorjew, Alexej
    Diederich, Philip
    Kellerer, Wolfgang
    Hossfeld, Tobias
    2024 20TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT, CNSM 2024, 2024,
12345