Keyphrases
Modeling Verification
100%
Statistical Model Checking
100%
Performance Verification
100%
Finite Control Set Model Predictive Control (FCS-MPC)
100%
Finite number
50%
Power Electronics
50%
System Behavior
50%
Communication Systems
50%
Hypothesis Testing
50%
Finite Sets
50%
Sensor Networks
50%
Power Electronic Converters
50%
Formal Techniques
50%
Aeronautics
50%
Automotive Systems
50%
Engineering
Statistical Model
100%
Finite Set
100%
Predictive Control Model
100%
System Behavior
50%
Automotives
50%
Power Electronic Converter
50%
Finite Number
50%
Aviation
50%
Power Electronics
50%
Sensor Network
50%
Communication System
50%
Computer Science
Model Checking
100%
Statistical Model
100%
Predictive Model
100%
Automotive System
50%
Sensor Networks
50%
System Behavior
50%
Material Science
Predictive Control Model
100%