Cover Image

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cui, Bohan, Ma, Ziyue, Li, Shaoyuan, Yin, Xiang
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
by: Cui, Bohan, et al.
Published: (2025)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
by: Lv, Peng, et al.
Published: (2024)

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

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
by: Li, Yuda, et al.
Published: (2026)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

Opacity in Discrete Event Systems: A Perspective and Overview
by: Yin, Xiang
Published: (2026)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2022)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2024)

Distributed Observers with Dynamic Event-Triggered Communication
by: Liu, Yiyang, et al.
Published: (2026)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
by: Wang, Shuqi, et al.
Published: (2024)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
by: Chen, Qianqian, et al.
Published: (2024)

Preemptive Holistic Collaborative System and Its Application in Road Transportation
by: Li, Yuan, et al.
Published: (2024)

Discrete Event System Modeling of Neuromorphic Circuits
by: Scheres, Koen, et al.
Published: (2025)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
by: Zhao, Jianing, et al.
Published: (2026)

Distributed Secret Securing in Discrete-Event Systems
by: Matsui, Shoma, et al.
Published: (2024)

Non-Blocking Robustness Analysis in Discrete Event Systems
by: Dony, Md Nur-A-Adam
Published: (2025)

Timed Discrete-Event Systems are Synchronous Product Structures
by: Lin, Liyong
Published: (2018)

Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction
by: Chen, Qianqian, et al.
Published: (2024)

Scalable Discrete Event Simulation Tool for Large-Scale Cyber-Physical Energy Systems: Advancing System Efficiency and Scalability
by: Haque, Khandaker Akramul, et al.
Published: (2025)

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

Coordination Control of Discrete Event Systems under Cyber Attacks
by: Wang, Fei, et al.
Published: (2023)

Small-Covariance Noise-to-State Stability of Stochastic Systems and Its Applications to Stochastic Gradient Dynamics
by: Cui, Leilei, et al.
Published: (2025)

Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
by: Zhang, Renyuan, et al.
Published: (2024)

Modular Control of Discrete Event System for Modeling and Mitigating Power System Cascading Failures
by: Al-Rousan, Wasseem, et al.
Published: (2025)

A Case Study in Recovery of Drones using Discrete-Event Systems
by: Burns, Liam P., et al.
Published: (2026)

Spectral Decomposition of Discrete-Time Controllability Gramian and Its Inverse via System Eigenvalues
by: Iskakov, Alexey
Published: (2026)

A Framework for Predicting Runtime Savings from Discrete-Event Simulation Model Simplification Operations
by: Shoaib, Mohd, et al.
Published: (2025)

Discrete-Time Event-Triggered Extremum Seeking
by: Rodrigues, Victor Hugo Pereira, et al.
Published: (2026)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
by: Rajan, Anusree, et al.
Published: (2024)

Supervisory Control of Discrete Event Systems for Small Language Under Cyber Attacks
by: Wang, Xiaojun, et al.
Published: (2025)

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
by: Li, Yuda, et al.
Published: (2026)

Derivative-Agnostic Inference of Nonlinear Hybrid Systems
by: Yu, Hengzhi, et al.
Published: (2025)