Copertina

Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations
di: Sun, Dajiang, et al.
Pubblicazione: (2024)

Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation
di: Duan, Wei, et al.
Pubblicazione: (2022)

Opacity Enforcement by Edit Functions Under Incomparable Observations
di: Duan, Wei, et al.
Pubblicazione: (2024)

ARQ-based Average Consensus over Directed Network Topologies with Unreliable Communication Links
di: Makridis, Evagoras, et al.
Pubblicazione: (2022)

Distributed Average Consensus in Wireless Multi-Agent Systems with Over-the-Air Aggregation
di: Charalambous, Themistoklis, et al.
Pubblicazione: (2025)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
di: Li, Xiaoyan, et al.
Pubblicazione: (2025)

Average Consensus over Directed Networks in Open Multi-Agent Systems with Acknowledgement Feedback
di: Makridis, Evagoras, et al.
Pubblicazione: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

Invariant Properties of Linear-Iterative Distributed Averaging Algorithms and Application to Error Detection
di: Hadjicostis, Christoforos N., et al.
Pubblicazione: (2024)

On Approximate Opacity of Stochastic Control Systems
di: Liu, Siyuan, et al.
Pubblicazione: (2024)

Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations
di: Xing, Yu, et al.
Pubblicazione: (2026)

Stiffness-Aware Decentralized Dynamic State Estimation for Inverter-Dominated Power Systems
di: Zhao, Xingyu, et al.
Pubblicazione: (2026)

Wasserstein Distributionally Robust Control and State Estimation for Partially Observable Linear Systems
di: Jang, Minhyuk, et al.
Pubblicazione: (2024)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes
di: Shi, Chongyang, et al.
Pubblicazione: (2024)

Finite-State Decentralized Policy-Based Control With Guaranteed Ground Coverage
di: Rastgoftar, Hossein
Pubblicazione: (2026)

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
di: Cui, Bohan, et al.
Pubblicazione: (2026)

Remote Estimation over Packet-Dropping Wireless Channels with Partial State Information
di: Tzortzis, Ioannis, et al.
Pubblicazione: (2025)

Policy Gradient Methods for Information-Theoretic Opacity in Markov Decision Processes
di: Shi, Chongyang, et al.
Pubblicazione: (2025)

Computationally Efficient State and Model Estimation via Interval Observers for Partially Unknown Systems
di: Khajenejad, Mohammad, et al.
Pubblicazione: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
di: Ding, Sichen, et al.
Pubblicazione: (2026)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

Active prognosis and diagnosis of modular discrete-event systems
di: Hu, Shaopeng, et al.
Pubblicazione: (2025)

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
di: Azimian, Behrouz, et al.
Pubblicazione: (2023)

State Estimation
di: Li, Hao
Pubblicazione: (2026)

Distributed Estimation with Decentralized Control for Quadruple-Tank Process
di: Wafi, Moh Kamalul, et al.
Pubblicazione: (2023)

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
di: Zhao, Wenjie, et al.
Pubblicazione: (2024)

On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
di: Masopust, Tomáš, et al.
Pubblicazione: (2024)

Privacy-Preserving Push-Pull Method for Decentralized Optimization via State Decomposition
di: Cheng, Huqiang, et al.
Pubblicazione: (2023)

Inferring System and Optimal Control Parameters of Closed-Loop Systems from Partial Observations
di: Geadah, Victor, et al.
Pubblicazione: (2025)

Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
di: Zaccherini, Tommaso, et al.
Pubblicazione: (2025)

Partial-State DADS Control for Matched Unmodeled Dynamics
di: Karafyllis, Iasson, et al.
Pubblicazione: (2025)

Decentralized Input and State Estimation for Multi-agent System with Dynamic Topology and Heterogeneous Sensor Network
di: Wu, Zida, et al.
Pubblicazione: (2024)

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
di: Geng, Yuang, et al.
Pubblicazione: (2025)

Fully Decentralized Design of Initialization-free Distributed Network Size Estimation
di: Lee, Donggil, et al.
Pubblicazione: (2024)

Secure Distributed Consensus Estimation under False Data Injection Attacks: A Defense Strategy Based on Partial Channel Coding
di: Huang, Jiahao, et al.
Pubblicazione: (2025)

Risk of Cascading Collisions in Network of Vehicles with Delayed Communication
di: Liu, Guangyi, et al.
Pubblicazione: (2023)

Virtual Contraction Approach to Decentralized Adaptive Stabilization of Nonlinear Time-Delayed Networks
di: Kawano, Yu, et al.
Pubblicazione: (2025)

New Insights into the Decidability of Opacity in Timed Automata
di: Deng, Weilin, et al.
Pubblicazione: (2025)

Decentralized Continuification Control of Multi-Agent Systems via Distributed Density Estimation
di: Di Lorenzo, Beniamino, et al.
Pubblicazione: (2025)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
di: Zhang, Zhi, et al.
Pubblicazione: (2024)