Computer Science
Annotation
34%
Automaton
26%
Axiomatization
57%
Case Study
35%
Control Requirement
30%
Control Theory
30%
Deadlock
33%
Decomposition Method
36%
discrete-event system
33%
mobile ad-hoc network
32%
Model Checking
60%
Parallel Composition
41%
Process Algebra
52%
Traffic Management System
36%
Transition System
36%
Engineering
Control Synthesis
51%
Cyber-Physical Systems
18%
Discrete Event Simulation
33%
Industrial Applications
14%
Large-Scale Systems
20%
Matrix Structure
30%
Model Reduction
14%
Real Life
27%
Research Project
15%
Road
16%
Road Tunnels
30%
Roadsides
32%
Simulation Model
18%
Supervisory Control
100%
Supervisory Controller
92%