Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm.
Seyed Nematollah AhmadyanJayanand Asok KumarShobha VasudevanPublished in: DATE (2013)
Keyphrases
- single pass
- search space
- computational complexity
- detection algorithm
- learning algorithm
- analog circuits
- optimal solution
- cost function
- np hard
- dynamic programming
- machine learning
- incremental version
- k means
- preprocessing
- simulated annealing
- software development
- expectation maximization
- segmentation algorithm
- matching algorithm
- embedded systems
- clustering algorithm
- incremental algorithms
- verification method
- neural network