AVERIST. 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.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- García Soto, Miriam; Prabhakar, Pavithra: Abstraction based verification of stability of polyhedral switched systems (2020)
- Prabhakar, Pavithra; García Soto, Miriam: Hybridization for stability analysis of switched linear systems (2016)
- Prabhakar, Pavithra; Soto, Miriam García: AVERIST: an algorithmic verifier for stability (2015) ioport