Temporal logic inference for classification and prediction from data

DOI10.1145/2562059.2562146zbMath1362.68266DBLPconf/hybrid/KongJAGB14OpenAlexW2086092403WikidataQ58233178 ScholiaQ58233178MaRDI QIDQ2986980

Ebru Aydin Gol, Austin Jones, Ana Medina Ayala, Zhaodan Kong, Calin Belta

Publication date: 16 May 2017

Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2562059.2562146

zbMATH Keywords

directed acyclic graphgene networklogic inferenceparametric signal temporal logic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Temporal logic (03B44)

Related Items (9)

Time window temporal logic ⋮ Robust online monitoring of signal temporal logic ⋮ Repairing real-time requirements ⋮ 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 ⋮ System design of stochastic models using robustness of temporal properties ⋮ Classification of driving behaviors using STL formulas: a comparative study

Uses Software

• CPLEX
• YALMIP
• MPT

Cites Work

• Minkowski terminal cost functions for MPC
• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Constrained model predictive control: Stability and optimality
• On infinity norms as Lyapunov functions for piecewise affine systems
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Stability analysis of piecewise discrete-time linear systems
• Convex Analysis
• Set-theoretic methods in control

This page was built for publication: Temporal logic inference for classification and prediction from data