Imagen de Portada

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cui, Bohan, Chen, Yu, Giua, Alessandro, Yin, Xiang
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
por: Cui, Bohan, et al.
Publicado: (2024)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
por: Amri, Omar, et al.
Publicado: (2025)

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

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
por: Deplano, Diego, et al.
Publicado: (2019)

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
por: Deplano, Diego, et al.
Publicado: (2023)

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
por: Deplano, Diego, et al.
Publicado: (2020)

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

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

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

A Weak Notion of Symmetry for Dynamical Systems
por: Welde, Jake, et al.
Publicado: (2026)

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

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

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

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

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

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
por: Yin, Xiang, et al.
Publicado: (2024)

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

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

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

Frequency Response of Nonlinear Systems: Notions, Analysis, and Graphical Representation
por: Moreschini, Alessio, et al.
Publicado: (2026)

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

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

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
por: Karafyllis, Iasson, et al.
Publicado: (2024)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
por: Shakhesi, Erfan, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
por: Oliveira, Samuel, et al.
Publicado: (2025)

Dynamics of Implicit Time-Invariant Max-Min-Plus-Scaling Discrete-Event Systems
por: Markkassery, Sreeshma, et al.
Publicado: (2026)

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

Distributed Resilient Interval Observer Synthesis for Nonlinear Discrete-Time Systems
por: Khajenejad, Mohammad, et al.
Publicado: (2024)