Interpretable classification of time-series data using efficient enumerative techniques

DOI10.1145/3365365.3382218MaRDI QIDQ5146371zbMATH OpenOpenAlexFDO

Authors Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé

Publication date 25 January 2021

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.10265

zbMATH Keywords

cyber-physical systemsformal methodsinterpretabilitymachine learningsignal temporal logictime-series data

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Exploratory Classification of Time-Series
• A new time series classification approach
• Scalable time series classification
• Interpretable time series classification using linear models and multi-resolution multi-domain symbolic representations
• Classifying time series data: a nonparametric approach
• Machine Learning: ECML 2004
• Classification of multivariate time series and structured data using constructive induction
• scientific article; zbMATH DE number 1163450

Cited in

(6)

• Learning specifications for labelled patterns
• Survey on mining signal temporal logic specifications
• An automated system repair framework with signal temporal logic
• Mining interpretable spatio-temporal logic properties for spatially distributed systems
• A framework for computing upper bounds in passive learning settings
• The complexity of learning LTL, CTL and ATL formulas

This page was built for publication: Interpretable classification of time-series data using efficient enumerative techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146371)