mlsanityData to 14 Oct 2026

Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems

arXiv 1512.07956 ↗First posted 25 Dec 2015cs.LO cs.FLcited by 16

Not on the map. Why?

Abstract (arXiv)

One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. In this work, we present a framework that enables property exploration for Cyber-Physical Systems. Namely, given a parametric specification with multiple parameters, our solution can automatically infer the ranges of parameters for which the property does not hold on the system. In this paper, we consider parametric specifications in Metric or Signal Temporal Logic (MTL or STL). Using robust semantics for MTL, the parameter mining problem can be converted into a Pareto optimization problem for which we can provide an approximate solution by utilizing stochastic optimization methods. We include algorithms for the exploration and visualization of multi-parametric specifications. The framework is demonstrated on an industrial size, high-fidelity engine model as well as examples from related literature.

Key facts. Cited by 16 papers in the map (data through 14 Oct 2026). First posted on arXiv 25 Dec 2015.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 5; 2022: 2; 2023: 1; 2024: 2; 2025: 2; 2026: 4.

16 papers.

Sort:

By area:

  1. 2021Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approachcited by 11
  2. 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classificationcited by 10
  3. 2021Classification of Time-Series Data Using Boosted Decision Treescited by 9
  4. 2023Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logiccited by 3
  5. 2024Interpretable Imitation Learning via Generative Adversarial STL Inference and Controlcited by 3
  6. 2021Inferring Temporal Logic Properties from Data using Boosted Decision Treescited by 2
  7. 2021Learning Spatio-Temporal Specifications for Dynamical Systemscited by 1
  8. 2026Conformalized Signal Temporal Logic Inference under Covariate Shiftcited by 1
  9. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoningcited by 1
  10. 2026Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrongcited by 1
  11. 2021Time-Incremental Learning from Data Using Temporal Logicscited by 0
  12. 2022Energy-efficient DNN Inference on Approximate Accelerators Through Formal Property Explorationcited by 0
4 more
  1. 2024Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulationcited by 0
  2. 2025Inference of Human-derived Specifications of Object Placement via Demonstrationcited by 0
  3. 2025GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translationcited by 0
  4. 2026Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representationscited by 0