A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment

Sport analytics is the process of searching, interpreting and processing information related to the sports performance of a team or a single athlete, using information systems and mathematical methods of data evaluation. The aim is to encourage improvement of sports performance. In this paper we propose a formal methodology aimed to design an expert system to support real-time decisions for notational analysis in sport environment exploiting big data obtained from several sources. The aim is to improve and predict individual and collective performances during a match.

[1]  Brian Dawson,et al.  Time–motion analysis of elite field hockey, with special reference to repeated-sprint activity , 2004, Journal of sports sciences.

[2]  Antonella Santone,et al.  Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

[3]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.

[4]  Mike Hughes,et al.  Computerized notation analysis in field games , 1988 .

[5]  Ian M. Franks,et al.  Notational Analysis of Sport , 2004 .

[6]  Timothy I. Matis,et al.  Bayesian Based Approach Learning for Outcome Prediction of Soccer Matches , 2018, ICCS.

[7]  Olgierd Unold,et al.  Machine learning approach to model sport training , 2011, Comput. Hum. Behav..

[8]  Mike Hughes,et al.  Analysis of passing sequences, shots and goals in soccer , 2005, Journal of sports sciences.

[9]  Antonella Santone,et al.  Heuristic search for equivalence checking , 2014, Software & Systems Modeling.

[10]  Ian T. Jolliffe,et al.  Principal Component Analysis , 2002, International Encyclopedia of Statistical Science.

[11]  Josip Hucaljuk,et al.  Predicting football scores using machine learning techniques , 2011, 2011 Proceedings of the 34th International Convention MIPRO.

[12]  Atsuyuki Okabe,et al.  Spatial Tessellations: Concepts and Applications of Voronoi Diagrams , 1992, Wiley Series in Probability and Mathematical Statistics.

[13]  Ceyda Mumcu.  An introduction to analytics and data , 2016 .

[14]  P. O'Donoghue,et al.  A notational analysis of elite tennis strategy , 2001, Journal of sports sciences.

[15]  Antonella Santone,et al.  Hey Malware, I Can Find You! , 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

[16]  Ian M. Franks,et al.  Notational Analysis Of Sport Systems For Better Coaching And Performance In Sport , 2004 .

[17]  Noel E. O'Connor,et al.  Event detection in field sports video using audio-visual features and a support vector Machine , 2005, IEEE Transactions on Circuits and Systems for Video Technology.

[18]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[19]  Fadi Thabtah,et al.  A machine learning framework for sport result prediction , 2019, Applied Computing and Informatics.

[20]  Gerardo Canfora,et al.  LEILA: Formal Tool for Identifying Mobile Malicious Behaviour , 2019, IEEE Transactions on Software Engineering.