StocHy swMATH ID: 36937 Software Authors: Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate Description: StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs an equivalent SHS model. The tool allows to (i) simulate the SHS evolution over a given time horizon; and to automatically construct formal abstractions of the SHS. Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries. This allows for libraries to be easily used and for extensions to be easily built. The tool is implemented in C++ and employs manipulations based on vector calculus, the use of sparse matrices, the symbolic construction of probabilistic kernels, and multi-threading. Experiments show StocHy’s markedly improved performance when compared to existing abstraction-based approaches: in particular, StocHy beats state-of-the-art tools in terms of precision (abstraction error) and computational effort, and finally attains scalability to large-sized models (12 continuous dimensions). StocHy is available at https://gitlab.com/natchi92/StocHy Homepage: https://arxiv.org/abs/1901.10287 Source Code: https://gitlab.com/natchi92/StocHy Related Software: FAUST2; PRISM; SReachTools; ProbReach; AMYTISS; MoDeST; Storm; pFaces; GitHub; SReach; SCOTS; Sostools; iscasMc; Jani; Armadillo; GiNaC Cited in: 5 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Poster abstract: StocHy – automated verification and synthesis of stochastic processes. Zbl 07120162Cauchi, Nathalie; Abate, Alessandro 2019 all top 5 Cited by 11 Authors 2 Abate, Alessandro 2 Soudjani, Sadegh 2 Zamani, Majid 1 Cauchi, Nathalie 1 Khaled, Mahmoud 1 Lavaei, Abolfazl 1 Nejati, Ameneh 1 Oishi, Meeko M. K. 1 Ortiz, Kendric R. 1 Peruffo, Andrea 1 Thorpe, Adam J. Cited in 2 Serials 1 Automatica 1 European Journal of Control Cited in 2 Fields 4 Systems theory; control (93-XX) 3 Computer science (68-XX) Citations by Year