Copertina

The Similarity Control Problem with Required Events

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Yu, Zhu, Zhaohui, van Glabbeek, Rob, Zhang, Jinjin, Li, Yixuan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

More on Maximally Permissive Similarity Control of Discrete Event Systems
di: Wang, Yu, et al.
Pubblicazione: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
di: Bellier, Dylan, et al.
Pubblicazione: (2026)

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

Saturation Problems for Families of Automata
di: Bohn, León, 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)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)

Controller Synthesis for Parametric Timed Games
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2025)

Forgetting Event Order in Higher-Dimensional Automata
di: Zouari, Safa
Pubblicazione: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)

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

Greybox Learning of Languages Recognizable by Event-Recording Automata
di: Majumdar, Anirban, et al.
Pubblicazione: (2024)

The Trembling-Hand Problem for LTLf Planning
di: Yu, Pian, et al.
Pubblicazione: (2024)

The Expansion Problem for Infinite Trees
di: Blumensath, Achim
Pubblicazione: (2023)

Approximate Problems for Finite Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)

On the Separability Problem of VASS Reachability Languages
di: Keskin, Eren, et al.
Pubblicazione: (2024)

Resynchronized Uniformization and Definability Problems for Rational Relations
di: Löding, Christof, et al.
Pubblicazione: (2021)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)

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

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
di: Drabik, Karolina, et al.
Pubblicazione: (2025)

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

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Learning Deterministic Multi-Clock Timed Automata
di: Teng, Yu, et al.
Pubblicazione: (2024)

Supervisory Control Theory with Event Forcing
di: Reniers, Michel, et al.
Pubblicazione: (2024)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
di: Ise, Daihei, et al.
Pubblicazione: (2024)

Imposing Rules in Process Discovery: an Inductive Mining Approach
di: Norouzifar, Ali, et al.
Pubblicazione: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
di: Larsen, Kim G., et al.
Pubblicazione: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
di: Yang, Dong, et al.
Pubblicazione: (2024)

Learning Weighted Automata over Number Rings, Concretely and Categorically
di: Aristote, Quentin, et al.
Pubblicazione: (2025)

Mining Diamonds in labeled Transition Systems
di: van Spaendonck, P. H. M., et al.
Pubblicazione: (2025)

Computational Complexity of Alignments
di: Schwanen, Christopher T., et al.
Pubblicazione: (2026)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
di: Briones, Laura Brandán, et al.
Pubblicazione: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
di: Li, Guanyan, et al.
Pubblicazione: (2025)

Backward Responsibility in Transition Systems Using General Power Indices
di: Baier, Christel, et al.
Pubblicazione: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2024)

Correctness Notions for Petri Nets with Identifiers
di: van der Werf, Jan Martijn E. M., et al.
Pubblicazione: (2022)

Engineering an LTLf Synthesis Tool
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
di: Yu, Qixian, et al.
Pubblicazione: (2025)

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
di: Liu, Yingying, et al.
Pubblicazione: (2026)