Verification of Giotto based Embedded Control Systems.
Rajiv Kumar PoddarPurandar BhaduriPublished in: Nord. J. Comput. (2006)
Keyphrases
- control system
- model checking
- embedded systems
- control software
- image sequences
- information systems
- video sequences
- closed loop
- control law
- website
- decision trees
- multiscale
- computer vision
- low cost
- artificial intelligence
- neural network
- real environment
- signature verification
- person identification
- verification method
- database