| |
Last updated on April 30, 2024. This conference program is tentative and subject to change
WODES 2024 Keyword Index
A
C
D
I
M
O
P
S
T
V
A | Top |
Algebraic approaches: process algebras, max/plus-algebra, ... | MoAJPT2.3, MoAJPT2.4, MoMT2.1, MoMT2.2, MoMT2.3, MoMT2.4, MoMT2.5, MoMT2.6, TuAT2.2, TuAT2.5, TuMT1.6, WeAT2.2, WeMJPT2.1 |
Applications | MoAT2.5, TuAT1.5, WeAT1.1, WeAT1.2, WeAT1.3, WeAT2.2, WeAT2.3, WeMJPT1.1, WeMJPT1.3, WeMJPT1.4 |
C | Top |
Cyber-security | MoMT1.1, MoMT1.2, MoMT1.3, MoMT1.4, MoMT1.6, TuMT2.1, TuMT2.2, TuMT2.3, TuMT2.4, TuMT2.5, TuMT2.6 |
D | Top |
Diagnosis, fault tolerance, observability, ... | MoAJPT1.1, MoAJPT1.4, MoAJPT2.1, MoAJPT2.2, MoAJPT2.3, MoAJPT2.4, MoAT1.1, MoAT2.3, TuAT1.5, TuAT2.3, TuMT1.1, TuMT1.2, TuMT1.3, TuMT1.4, TuMT1.5, TuMT1.6, TuMT2.1, TuMT2.2, TuMT2.3, TuMT2.6, WeAT2.1, WeMJPT2.2 |
Discrete approaches for hybrid systems | TuAT2.3, TuAT2.4, TuAT2.5, WeAT1.3, WeMJPT2.1, WeMJPT2.3, WeMJPT2.4 |
I | Top |
Identification | MoAT1.5, TuAT2.4, TuMT1.2 |
M | Top |
Modeling tools: Petri nets, automata, ... | MoAJPT1.1, MoAJPT1.3, MoAJPT1.4, MoAJPT2.1, MoAJPT2.2, MoAJPT2.3, MoAJPT2.4, MoAT1.1, MoAT1.2, MoAT1.3, MoAT1.4, MoAT1.5, MoMT1.6, MoMT2.1, MoMT2.3, MoMT2.5, MoMT2.6, TuAT1.1, TuAT1.2, TuAT1.3, TuAT1.4, TuAT2.2, TuAT2.3, TuAT2.5, TuMT1.4, TuMT1.5, TuMT1.6, TuMT2.1, TuMT2.4, WeAT1.1, WeAT1.2, WeAT1.4, WeAT1.5, WeAT2.1, WeAT2.2, WeAT2.3, WeAT2.4, WeAT2.5, WeMJPT1.1, WeMJPT1.2, WeMJPT2.2, WeMJPT2.3, WeMJPT2.4 |
O | Top |
Opacity | MoMT1.2, MoMT1.4, MoMT1.5, TuAT2.1, TuMT2.2, WeMJPT1.2 |
P | Top |
Performance evaluation, optimization | MoAT1.4, MoAT2.2, MoMT2.3, MoMT2.6, TuAT1.2, TuAT2.1, TuAT2.2, TuMT1.4, WeMJPT1.3 |
S | Top |
Supervisory Control Theory | MoAJPT1.1, MoAJPT1.2, MoAJPT1.3, MoAJPT1.4, MoAT2.1, MoAT2.2, MoAT2.3, MoAT2.4, MoAT2.5, MoMT1.1, MoMT1.3, MoMT1.6, TuAT1.3, TuMT2.3, TuMT2.5, TuMT2.6, WeAT1.2, WeAT1.4, WeAT1.5, WeAT2.4, WeMJPT1.1, WeMJPT1.3, WeMJPT1.4, WeMJPT2.3, WeMJPT2.4 |
T | Top |
Tools | TuAT1.5, TuMT1.5, WeAT1.5, WeAT2.5 |
V | Top |
Verification, validation, test | MoAT2.1, MoAT2.2, MoMT1.1, MoMT1.4, MoMT1.5, MoMT2.4, TuAT1.2, TuAT1.4, TuAT2.1, TuMT1.1, TuMT1.3, WeAT1.1, WeAT1.4, WeMJPT1.2, WeMJPT2.1 |
| |