Towards Verification of Multicore Motor-Drive Controllers in Aerospace.
Stylianos BasagiannisFrancisco José González-EspínPublished in: SAFECOMP Workshops (2015)
Keyphrases
- control system
- permanent magnet synchronous
- formal methods
- model checking
- formal verification
- brushless dc
- reinforcement learning
- control strategy
- face verification
- closed loop
- nasa langley research center
- genetic algorithm
- permanent magnet
- artificial intelligence
- real time
- intelligent control
- parallel programming
- formal analysis
- controller design
- asynchronous circuits
- control law
- verification method
- iterative learning control
- functional verification
- parallel algorithm