This letter proposes a compositional data-driven approach for safety verification of networks discrete-time subsystems with formal guarantees . Following modular and each subsystem, we search so-called sub-barrier candidate represented as linear combination priori user-defined basis functions. ...

Association rule mining is a powerful data analytic technique used for extracting information from transaction databases with collection of itemsets. The aim to indicate what item goes (ie, an association rule) in set collected transactions. It extensively text analytics records or social media. Here we use Compositional Data analysis (CoDa) techniques generate new visualizations and insights m...