Buchumschlag

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Yingying, Fuchiwaki, Kuma, Cai, Kai
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Formal Languages and Automata Theory Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Supervisory Control Theory with Event Forcing
von: Reniers, Michel, et al.
Veröffentlicht: (2024)

Supervisory Control of a Flexible Manufacturing Unit for the Production of Two Products
von: Giagiakos, Kyriakos
Veröffentlicht: (2025)

Overview of Controllability Definitions in Supervisory Control Theory
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2025)

Data-Driven Abstractions for Control Systems via Random Exploration
von: Coppola, Rudi, et al.
Veröffentlicht: (2024)

Opacity in Discrete Event Systems: A Perspective and Overview
von: Yin, Xiang
Veröffentlicht: (2026)

On the Complexity of the Secret Protection Problem for Discrete-Event Systems
von: Masopust, Tomáš, et al.
Veröffentlicht: (2025)

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Multi-Head Finite-State Dimension
von: Huang, Xiang, et al.
Veröffentlicht: (2025)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
von: Bellier, Dylan, et al.
Veröffentlicht: (2026)

Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
von: Hendriks, Dennis, et al.
Veröffentlicht: (2025)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
von: Han, Xiaoguang, et al.
Veröffentlicht: (2024)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
von: Latif, Saba, et al.
Veröffentlicht: (2025)

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

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
von: Monir, Negar, et al.
Veröffentlicht: (2026)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
von: Su, Han, et al.
Veröffentlicht: (2024)

Optimal Sequential Flows
von: Gimbert, Hugo, et al.
Veröffentlicht: (2025)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
von: Graebener, Josefine B., et al.
Veröffentlicht: (2024)

The Similarity Control Problem with Required Events
von: Wang, Yu, et al.
Veröffentlicht: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
von: Oumer, Mohammed Adib, et al.
Veröffentlicht: (2025)

A Unifying Framework for Global Optimization: From Theory to Formalization
von: Serré, Gaëtan, et al.
Veröffentlicht: (2025)

iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2024)

Opacity Enforcement by Edit Functions Under Incomparable Observations
von: Duan, Wei, et al.
Veröffentlicht: (2024)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Forgetting Event Order in Higher-Dimensional Automata
von: Zouari, Safa
Veröffentlicht: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
von: Guzman, Alexander Obeid
Veröffentlicht: (2026)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
von: de Maeyer, Rieke, et al.
Veröffentlicht: (2026)

Interpolation-Inspired Closure Certificates
von: Oumer, Mohammed Adib, et al.
Veröffentlicht: (2026)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
von: Delicaris, Joanna, et al.
Veröffentlicht: (2026)

New Insights into the Decidability of Opacity in Timed Automata
von: Deng, Weilin, et al.
Veröffentlicht: (2025)

Secret Protection in Labeled Petri Nets
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Hyper parametric timed CTL
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

On the Completeness and Ordering of Path-Complete Barrier Functions
von: Anand, Mahathi, et al.
Veröffentlicht: (2025)

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

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
von: Zhou, Can, et al.
Veröffentlicht: (2026)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Learning Conservative Neural Control Barrier Functions from Offline Data
von: Tabbara, Ihab, et al.
Veröffentlicht: (2025)