Formal Design and Verification of N-M Switching Control System
Changil ChoeHyejong HongKukhwan KimPublished in: CoRR (2012)
Keyphrases
- control system
- formal methods
- controller design
- building blocks
- formal model
- virtual instrument
- engineering design
- real world
- design process
- knowledge based systems
- computer aided
- particle swarm optimization
- design principles
- face recognition
- design methodology
- website
- design space
- formal analysis
- intelligent control
- signature verification
- formal verification
- artificial intelligence
- genetic algorithm