System identification (2nd ed.): theory for the user
System identification (2nd ed.): theory for the user
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Multicriteria Optimization
Pattern Recognition and Machine Learning (Information Science and Statistics)
Pattern Recognition and Machine Learning (Information Science and Statistics)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Automatic modular abstractions for linear constraints
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Quantifier Elimination Algorithm for Linear Real Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
From model-checking to temporal logic constraint solving
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Checking temporal properties of discrete, timed and continuous behaviors
Pillars of computer science
Analog property checkers: a DDR2 case study
Formal Methods in System Design
Robust satisfaction of temporal logic over real-valued signals
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Breach, a toolbox for verification and parameter synthesis of hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Parametric metric interval temporal logic
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Approximating the pareto front of multi-criteria optimization problems
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Decision problems for lower/upper bound parametric timed automata
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Mining requirements from closed-loop control models
Proceedings of the 16th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |
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.