| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Actuator Attack Mitigation Using the Detection-Protection Mechanism
|
Tong, Yin
|
|
|
58 |
1 |
p. 180-185
|
artikel
|
| 2 |
An Efficient Algorithm for K-Diagnosability Analysis of Bounded and Unbounded Petri Nets
|
Chouchane, A.
|
|
|
58 |
1 |
p. 162-167
|
artikel
|
| 3 |
A new global optimization for hybrid automaton Identification
|
Monier, Yan
|
|
|
58 |
1 |
p. 252-257
|
artikel
|
| 4 |
A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems
|
Sharpe, C.K.
|
|
|
58 |
1 |
p. 102-107
|
artikel
|
| 5 |
A novel approach for fault diagnosis using partial observations of actions and atomic propositions
|
Tuxi, Thiago M.
|
|
|
58 |
1 |
p. 156-161
|
artikel
|
| 6 |
A strongly connected component search-based algorithm for the verification of time-interval diagnosability
|
Rezende, Christiano H.
|
|
|
58 |
1 |
p. 144-149
|
artikel
|
| 7 |
Attack Synthesis in Discrete Event Systems Under Asymmetric Observation Setting
|
Liu, Ruotian
|
|
|
58 |
1 |
p. 186-191
|
artikel
|
| 8 |
Autoencoder-based method for online fault detection in discrete-event class Production Systems
|
Saddem, Ramla
|
|
|
58 |
1 |
p. 228-233
|
artikel
|
| 9 |
Automatic Conversion of Smart Contracts for Non-Blocking Verification
|
Parekh, Nishant
|
|
|
58 |
1 |
p. 282-287
|
artikel
|
| 10 |
Better Late than Never: On Epistemic Diagnosability of Discrete Event Systems
|
Cui, Bohan
|
|
|
58 |
1 |
p. 174-179
|
artikel
|
| 11 |
Capturing statistical fluctuations in gene expression activity using discrete stochastic systems
|
Vahdat, Zahra
|
|
|
58 |
1 |
p. 276-281
|
artikel
|
| 12 |
Colored Petri Nets for Modeling and Simulation of a Green Supply Chain System
|
Kaiyandra, Daffa. R.
|
|
|
58 |
1 |
p. 306-311
|
artikel
|
| 13 |
Comparing Disjunctive and Concise Approaches for Set-Guaranteed Estimation in Max-Plus Linear Systems
|
Espindola-Winck, Guilherme
|
|
|
58 |
1 |
p. 36-41
|
artikel
|
| 14 |
Computation of K-reachable paths in Petri nets
|
Cordone, Roberto
|
|
|
58 |
1 |
p. 84-89
|
artikel
|
| 15 |
Consistency of P-time event graphs is decidable in polynomial time
|
Zorzenon, Davide
|
|
|
58 |
1 |
p. 54-59
|
artikel
|
| 16 |
Contents
|
|
|
|
58 |
1 |
p. i-vii
|
artikel
|
| 17 |
Current-State Opacity Based on State Outputs
|
Mayer, Patrícia C.
|
|
|
58 |
1 |
p. 19-23
|
artikel
|
| 18 |
Data-Driven Supervisory Control of Discrete-Event Systems With Forcible Events
|
Gu, Chao
|
|
|
58 |
1 |
p. 120-125
|
artikel
|
| 19 |
Decentralized fault detection of Discrete-Event Systems using identified models
|
Libanio, Diego A.
|
|
|
58 |
1 |
p. 138-143
|
artikel
|
| 20 |
Detecting probability footprints of sensor deception attacks in supervisory control
|
Fahim, Parastou
|
|
|
58 |
1 |
p. 192-197
|
artikel
|
| 21 |
Distributed Control of Collaborative Multi-Agent Systems using Interpreted Petri Nets through Indirect Interactions
|
Parra-Vilchis, J.I.
|
|
|
58 |
1 |
p. 312-317
|
artikel
|
| 22 |
Driving a Discrete Event System to a Known State via Minimal Length Adaptive Control Sequences
|
Christou, Martha
|
|
|
58 |
1 |
p. 210-215
|
artikel
|
| 23 |
Enforcing current-state opacity of Cyber-Physical Systems with multiple channels using event replacements
|
Reis, Lucas N.R.
|
|
|
58 |
1 |
p. 7-12
|
artikel
|
| 24 |
Evaluation of the fault detection delay for a class of timed automata
|
Lefebvre, Dimitri
|
|
|
58 |
1 |
p. 150-155
|
artikel
|
| 25 |
Exact and heuristic max-plus strategies for makespan minimization in permutation flow shops with time-window constraints
|
Robillard, Eva
|
|
|
58 |
1 |
p. 42-47
|
artikel
|
| 26 |
Expressivity of Timed Discrete Event Systems and Timed Automata
|
Reniers, M.A.
|
|
|
58 |
1 |
p. 216-221
|
artikel
|
| 27 |
Formulating Attacks with Supervisory Control
|
Mainhardt, Ana Maria
|
|
|
58 |
1 |
p. 1-6
|
artikel
|
| 28 |
Integrity of Cyber-Physical Discrete Event Systems under covert actuator attacks
|
Oliveira, Samuel
|
|
|
58 |
1 |
p. 198-203
|
artikel
|
| 29 |
Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET
|
Mroß, R.
|
|
|
58 |
1 |
p. 264-269
|
artikel
|
| 30 |
Modeling and Mitigating Silent Faults in Coupled Discrete Event Systems
|
Anbarani, Mostafa Tavakkoli
|
|
|
58 |
1 |
p. 168-173
|
artikel
|
| 31 |
Modeling Time-Sensitive Networking Using Timed Continuous Petri Nets
|
Torres-Macías, A.G.
|
|
|
58 |
1 |
p. 300-305
|
artikel
|
| 32 |
Modelling and Formal Verification Approach for Microgrid Energy Management Systems under Random Load
|
FELLAH, Karim
|
|
|
58 |
1 |
p. 270-275
|
artikel
|
| 33 |
Monitors under attack: preliminary results on robustness analysis and synthesis
|
Zhang, Yanan
|
|
|
58 |
1 |
p. 30-35
|
artikel
|
| 34 |
Observer Design for Timed Automata under No Observation
|
Gao, C.
|
|
|
58 |
1 |
p. 246-251
|
artikel
|
| 35 |
On Algebraically Invariant Control for Tropical Dynamical Systems:Pseudo-polynomial Methods and Robustness Considerations
|
de Morais, André E.
|
|
|
58 |
1 |
p. 48-53
|
artikel
|
| 36 |
On clock interval automata for a class of distributed timed DESs with time intervals
|
Lefebvre, Dimitri
|
|
|
58 |
1 |
p. 204-209
|
artikel
|
| 37 |
Online Representation-based State Estimation of λ-free Labeled Petri Nets
|
de Freitas, Braian Igreja
|
|
|
58 |
1 |
p. 72-77
|
artikel
|
| 38 |
Optimization of Timed Petri Nets using CP-SAT
|
Lennartson, Bengt
|
|
|
58 |
1 |
p. 90-95
|
artikel
|
| 39 |
Optimizing Clinical Pathways: A Probabilistic Time Petri Net Approach
|
Moigne, T. Le
|
|
|
58 |
1 |
p. 96-101
|
artikel
|
| 40 |
Optimizing Path-Planning Solutions Obtained by Using Petri Nets Models
|
Abolpour, Roozbeh
|
|
|
58 |
1 |
p. 240-245
|
artikel
|
| 41 |
Persistent Attacks on the Supervisory Control Layer of DES
|
Alves, Michel R.C.
|
|
|
58 |
1 |
p. 13-18
|
artikel
|
| 42 |
Robust Control of Metric Discrete Event Systems Against Bounded Disturbances
|
Ji, Yiding
|
|
|
58 |
1 |
p. 108-113
|
artikel
|
| 43 |
SBE configurator: A model generation tool for synthesis of ship lock supervisors
|
Baubekova, Marzhan M.
|
|
|
58 |
1 |
p. 288-293
|
artikel
|
| 44 |
Simuleau: a tool for hybrid and batches Petri nets
|
Brenner, Leonardo
|
|
|
58 |
1 |
p. 318-323
|
artikel
|
| 45 |
Stability of Time-invariant Max-Min-Plus-Scaling Discrete-Event Systems with Diverse States
|
Markkassery, Sreeshma
|
|
|
58 |
1 |
p. 60-65
|
artikel
|
| 46 |
State Estimation for Time Signal Interpreted Petri Nets
|
Köhler, Andreas
|
|
|
58 |
1 |
p. 294-299
|
artikel
|
| 47 |
Statistical comparison of Path-Complete Lyapunov Functions: a Discrete-Event Systems perspective
|
Jungers, Raphael M.
|
|
|
58 |
1 |
p. 258-263
|
artikel
|
| 48 |
Strongly Infinite-Step Opaque Boolean Networks
|
Reveliotis, Spyros
|
|
|
58 |
1 |
p. 234-239
|
artikel
|
| 49 |
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
|
Goorden, Martijn
|
|
|
58 |
1 |
p. 114-119
|
artikel
|
| 50 |
Timed Opacity Verification for Switching Output Automata
|
Liu, T.
|
|
|
58 |
1 |
p. 24-29
|
artikel
|
| 51 |
Timed Output Synchronized Petri Nets and basics of Synchronized State Class Graph
|
Gaouar, Mouna
|
|
|
58 |
1 |
p. 78-83
|
artikel
|
| 52 |
Unified and Simplified Bisimulation
|
Lennartson, Bengt
|
|
|
58 |
1 |
p. 222-227
|
artikel
|
| 53 |
Using Markov Decision Process over Local Modular Supervisors for Planning Problems
|
Sarsur, Daniel
|
|
|
58 |
1 |
p. 126-131
|
artikel
|
| 54 |
Verification of Codiagnosability Arising in Intersection-Based Decentralized Diagnosis of Discrete Event Systems
|
Takai, Shigemasa
|
|
|
58 |
1 |
p. 132-137
|
artikel
|
| 55 |
Weakly strong semantics of Time Petri Nets for performance evaluations
|
Komenda, Jan
|
|
|
58 |
1 |
p. 66-71
|
artikel
|
Tijdschrift beschrijving