Motor-Transmission Drive System: a Benchmark Example for Safety Verification.
Hongxu ChenSayan MitraGuangyu TianPublished in: ARCH@CPSWeek (2014)
Keyphrases
- permanent magnet synchronous
- safety analysis
- control system
- formal methods
- model checking
- data transmission
- neural network
- comparative analysis
- safety critical
- face verification
- brushless dc
- data sets
- mobile robot
- multimedia communication
- error free
- asynchronous circuits
- verification method
- real world
- coal mining
- permanent magnet