Averist

swMATH20133MaRDI QIDQ31955FDOQ31955

Author name not available (Why is that?)

Cited In (2)

• Hybridization for Stability Analysis of Switched Linear Systems
• Abstraction based verification of stability of polyhedral switched systems

This page was built for software: Averist