FAUST2 swMATH ID: 23682 Software Authors: S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate Description: FAUST2 is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state spaces. A dtMP model is specified in MATLAB and abstracted as a finite-state Markov chain or Markov decision processes. The abstraction procedure runs in MATLAB and employs parallel computations and fast manipulations based on vector calculus. The abstract model is formally put in relationship with the concrete dtMP via a user-defined maximum threshold on the approximation error introduced by the abstraction procedure. FAUST2 allows exporting the abstract model to well-known probabilistic model checkers, such as PRISM or MRMC. lternatively, it can handle internally the computation of PCTL properties (e.g. safety or reach-avoid) over the abstract model, and refine the outcomes over the concrete dtMP via a quantified error that depends on the abstraction procedure and the given formula. Homepage: https://sourceforge.net/projects/faust2/ Dependencies: Matlab Related Software: StocHy; PRISM; SReachTools; AMYTISS; Sostools; SCOTS; SReach; ProbReach; MPT; GitHub; MoDeST; CVX; Modelica; ToolboxLS; z3; SeDuMi; Storm; QSIMVN; HyLAA; SDPT3 Cited in: 16 Publications all top 5 Cited by 24 Authors 6 Abate, Alessandro 5 Soudjani, Sadegh 5 Zamani, Majid 4 Lavaei, Abolfazl 3 Esmaeil Zadeh Soudjani, Sadegh 3 Majumdar, Rupak 2 Gleason, Joseph D. 2 Oishi, Meeko M. K. 2 Peruffo, Andrea 2 Vinod, Abraham P. 1 Cauchi, Nathalie 1 Coogan, Samuel 1 Dutreix, Maxence 1 Fischer, Jeffrey M. 1 Fribourg, Laurent 1 Guiu, Emeline 1 Haesaert, Sofie 1 Khaled, Mahmoud 1 Le Coënt, Adrien 1 Nejati, Ameneh 1 Panciatici, Patrick 1 Santoyo, Cesar 1 Vacher, Jonathan 1 Wisniewski, Rafael Cited in 5 Serials 4 Automatica 2 Nonlinear Analysis. Hybrid Systems 1 Acta Informatica 1 SIAM Journal on Control and Optimization 1 European Journal of Control Cited in 4 Fields 13 Systems theory; control (93-XX) 7 Computer science (68-XX) 5 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) Citations by Year