Timed Relational Abstractions for Sampled Data Control Systems.

Aditya Zutshi Sriram Sankaranarayanan Ashish Tiwari

Published in: CAV (2012)

Keyphrases

sampled data
control system
image reconstruction
data sets
original data
sampling methods
continuous domains
decision trees
multi class
prediction accuracy