Parametric identification of temporal properties Conference Paper


Author(s): Asarin, Eugene A; Donzé, Alexandre; Maler, Oded; Ničković, Dejan
Title: Parametric identification of temporal properties
Title Series: LNCS
Affiliation IST Austria
Abstract: Given a dense-time real-valued signal and a parameterized temporal logic formula with both magnitude and timing parameters, we compute the subset of the parameter space that renders the formula satisfied by the trace. We provide two preliminary implementations, one which follows the exact semantics and attempts to compute the validity domain by quantifier elimination in linear arithmetics and one which conducts adaptive search in the parameter space.
Keywords: Adaptive search; Dense-time; Linear arithmetic; Parameter spaces; Parameterized; Parametric identification; Quantifier elimination; Temporal logic formula; Temporal property; Timing parameters
Conference Title: RV: Runtime Verification
Volume: 7186
Conference Dates: September 27-30, 2011
Conference Location: San Francisco, CA, USA
ISBN: 978-3-642-29859-2
Publisher: Springer  
Location: Berlin, Germany
Date Published: 2012-05-10
Start Page: 147
End Page: 160
DOI: 10.1007/978-3-642-29860-8_12
Open access: no
IST Austria Authors
Related IST Austria Work