Parametric Identification of Temporal Properties

@inproceedings{Asarin2011ParametricIO,
  title={Parametric Identification of Temporal Properties},
  author={Eugene Asarin and Alexandre Donz{\'e} and Oded Maler and Dejan Nickovic},
  booktitle={RV},
  year={2011}
}
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. 
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 82 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 51 extracted citations

Mining parametric temporal logic properties in model-based design for cyber-physical systems

International Journal on Software Tools for Technology Transfer • 2017
View 20 Excerpts
Highly Influenced

Learning Linear Temporal Properties

ArXiv • 2018
View 4 Excerpts
Highly Influenced

Time Window Temporal Logic

Theor. Comput. Sci. • 2017
View 8 Excerpts
Highly Influenced

83 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 83 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…