Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems. We present Stabhyli, a tool that automatically proves stability of non-linear hybrid systems. Hybrid systems are systems that exhibit discrete as well as continuous behavior. The stability property basically ensures that a system exposed to a faulty environment (e.g. suffering from disturbances) will be able to regain a “good” operation mode as long as errors occur not too frequently. Stabilizing Hybrid systems are omnipresent, for instance in control applications where a discrete controller is controlling a time-continuous process such as a car’s movement or a particular chemical reaction. We have implemented a tool to automatically derive a certificate of stability for non-linear hybrid systems. Certificates are obtained by Lyapunov theory combined with decomposition and composition techniques.
Keywords for this software
References in zbMATH (referenced in 5 articles , 1 standard article )
Showing results 1 to 5 of 5.
- García Soto, Miriam; Prabhakar, Pavithra: Abstraction based verification of stability of polyhedral switched systems (2020)
- Kuřátko, Jan: Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots (2019)
- Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T.: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (2019)
- Prabhakar, Pavithra; García Soto, Miriam: Hybridization for stability analysis of switched linear systems (2016)
- Möhlmann, Eike; Theel, Oliver: Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems (2013)