:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cui, Bohan, Chen, Yu, Giua, Alessandro, Yin, Xiang
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2510.04616
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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)

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)

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

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

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

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

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

Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
by: Zhang, Renyuan, 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)

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

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

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

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

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

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

Behavior Trees in Functional Safety Supervisors for Autonomous Vehicles
by: Conejo, Carlos, et al.
Published: (2024)

Efficient Coordination for Distributed Discrete-Event Systems
by: Jun, Byeonggil, et al.
Published: (2024)

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