-
1
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach
Publié 2017Sujets: “…Discrete event systems…”
Accéder au texte intégral
Accéder au texte intégral
Journal Article -
2
Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers
Publié 2024-06-01Sujets: Accéder au texte intégral
Article -
3
Verification of Archive System Opacity With Bounded Labeled Petri Nets
Publié 2024-01-01Sujets: Accéder au texte intégral
Article -
4
Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems
Publié 2024-07-01Sujets: Accéder au texte intégral
Article -
5
Optimal Opacity-Enforcing Supervisory Control of Discrete Event Systems on Choosing Cost
Publié 2024-03-01Sujets: Accéder au texte intégral
Article -
6
Model checking in isomorphic module systems
Publié 2020Sujets: Accéder au texte intégral
Journal Article -
7
CANNIBALIZATION POLICIES: ADOPTION IN THE MAINTENANCE OF FLEET SYSTEMS
Publié 2023-12-01Sujets: Accéder au texte intégral
Article -
8
Ship-to-ship Dialogs Using A Finite State Machine
Publié 2022-06-01Sujets: Accéder au texte intégral
Article -
9
Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net
Publié 2024-11-01Sujets: “…discrete event systems…”
Accéder au texte intégral
Article -
10
Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
Publié 2020Sujets: Accéder au texte intégral
Journal Article -
11
A cyber attack model with bounded sensor reading alterations
Publié 2020Sujets: Accéder au texte intégral
Conference Paper -
12
What information really matters in supervisor reduction?
Publié 2020Sujets: Accéder au texte intégral
Journal Article -
13
Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
Publié 2020Sujets: Accéder au texte intégral
Journal Article -
14
A distributed approach to robust control of multi-robot systems
Publié 2020Sujets: Accéder au texte intégral
Journal Article -
15
Optimal control of discrete event systems under uncertain environment based on supervisory control theory and reinforcement learning
Publié 2024-10-01Sujets: “…Discrete event systems…”
Accéder au texte intégral
Article -
16
Decentralized Most Permissive Observer Architecture for Brake Leakage Diagnosis in Automotive Systems
Publié 2024-01-01Sujets: Accéder au texte intégral
Article -
17
Synchronous composition of finite interval automata
Publié 2020Sujets: Accéder au texte intégral
Conference Paper -
18
Synthesis of covert actuator attackers for free
Publié 2022Sujets: Accéder au texte intégral
Journal Article -
19
Design of privacy-preserving control strategy for data opacity of industrial internet (面向工业互联网中数据不透明性的 隐私保护控制策略设计)
Publié 2022Sujets: Accéder au texte intégral
Journal Article -
20
On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
Publié 2023Sujets: Accéder au texte intégral
Journal Article