AVERIST: An Algorithmic Verifier for Stability
Pavithra Prabhakar, Miriam García Soto · Electronic Notes in Theoretical Computer Science · 2015
In this paper, we present the tool AVERIST, which implements an algorithmic approach for the stability analysis of polyhedral switched systems. It implements an abstraction based model-checking approach proposed in the earlier work of the authors. The tool constructs a weighted graph abstracting the polyhedral hybrid system, and analyzes the graph to infer stability. In the case that the hybrid system is unstable, it also returns an abstract counterexample in the weighted graph indicating a potential reason for failure.