Monitoring Temporal Properties using Interval Analysis.

Daisuke Ishii Naoki Yonezaki Alexandre Goldsztejn

Published in: CoRR (2016)

Keyphrases

temporal properties
interval analysis
model checking
autocalibration
constrained optimization
constraint propagation
possibility theory
formal methods
fuzzy set theory
neural network
data mining
machine learning
control system
incomplete information