Temporal logic inference for classification and prediction from data
From MaRDI portal
Recommendations
- A decision tree approach to data classification using signal temporal logic
- Data-driven statistical learning of temporal logic properties
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Mining interpretable spatio-temporal logic properties for spatially distributed systems
Cites work
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Constrained model predictive control: Stability and optimality
- Convex Analysis
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Minkowski terminal cost functions for MPC
- On infinity norms as Lyapunov functions for piecewise affine systems
- Set-theoretic methods in control
- Stability analysis of piecewise discrete-time linear systems
Cited in
(18)- Learning specifications for labelled patterns
- Clairvoyant monitoring for signal temporal logic
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Survey on mining signal temporal logic specifications
- Classification of driving behaviors using STL formulas: a comparative study
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- Mining interpretable spatio-temporal logic properties for spatially distributed systems
- Logical clustering and learning for time-series data
- System design of stochastic models using robustness of temporal properties
- Time window temporal logic
- Robust online monitoring of signal temporal logic
- Learning and designing stochastic processes from logical constraints
- A decision tree approach to data classification using signal temporal logic
- scientific article; zbMATH DE number 2086475 (Why is no real title available?)
- Abnormal data classification using time-frequency temporal logic
- Data-driven statistical learning of temporal logic properties
- Repairing real-time requirements
- Approximating the geometry of temporal logic formulas
This page was built for publication: Temporal logic inference for classification and prediction from data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986980)
