Related references
Note: Only part of the references are listed.Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation
Zhou He et al.
IEEE-CAA JOURNAL OF AUTOMATICA SINICA (2021)
Design of Supervisors for Active Diagnosis in Discrete Event Systems
Yihui Hu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications
Gustavo S. Viana et al.
AUTOMATICA (2019)
Enforcing opacity by insertion functions under multiple energy constraints
Yiding Ji et al.
AUTOMATICA (2019)
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Yiding Ji et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Infinite-step opacity and K-step opacity of stochastic discrete-event systems
Xiang Yin et al.
AUTOMATICA (2019)
Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook
Aida Rashidinejad et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata
Aiwen Lai et al.
2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019) (2019)
Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
Rong Su
AUTOMATICA (2018)
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
Xiang Yin et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2018)
Detection and mitigation of classes of attacks in supervisory control systems
Lilian Kawakami Carvalho et al.
AUTOMATICA (2018)
Current-state opacity enforcement in discrete event systems under incomparable observations
Yin Tong et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2018)
Decidability of opacity verification problems in labeled Petri net systems
Yin Tong et al.
AUTOMATICA (2017)
An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system
Ying Shang et al.
AUTOMATICA (2016)
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Francesco Basile et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
Active fault tolerant control of discrete event systems using online diagnostics
Andrea Paoli et al.
AUTOMATICA (2011)
Supervisory Control of (max, plus ) Automata: A Behavioral Approach
Jan Komenda et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2009)
Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
Simona Bernardi et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Global optimization of mixed-integer nonlinear programs: A theoretical and computational study
M Tawarmalani et al.
MATHEMATICAL PROGRAMMING (2004)
Firing rate optimization of cyclic timed event graphs by token allocations
A Giua et al.
AUTOMATICA (2002)