Heterogeneous verification of embedded control systems.
Rajesh KumarBruce H. KroghPublished in: ACC (2006)
Keyphrases
- control system
- embedded systems
- model checking
- control software
- safety analysis
- low cost
- real environment
- formal analysis
- control algorithm
- industrial automation
- asynchronous circuits
- signature verification
- face verification
- control scheme
- real world
- dynamic environments
- metadata
- artificial intelligence
- learning algorithm
- data mining