AVERIST: An Algorithmic Verifier for Stability - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Pavithra Prabhakar, Miriam Garcia Soto. AVERIST: An Algorithmic Verifier for Stability. Electronic Notes in Theoretical Computer Science, 317:133-139, 2015. [doi]

The following publications are possibly variants of this publication:

Averist: Algorithmic Verifier for Stability of Linear Hybrid SystemsMiriam Garcia Soto, Pavithra Prabhakar. hybrid 2018: 259-264 [doi]

An Algorithmic Approach for Stability Verification of Hybrid SystemsMiriam García Soto. PhD thesis, Technical University of Madrid, Spain, 2017. [doi]

An Algorithmic Approach to Stability Verification of Hybrid Systems: A SummaryPavithra Prabhakar, Miriam Garcia Soto. cav 2015: 32-39 [doi]

An algorithmic approach to stability verification of polyhedral switched systemsPavithra Prabhakar, Miriam Garcia Soto. amcc 2014: 2318-2323 [doi]

runs on WebDSL