Stabhyli: a tool for automatic stability verification of non-linear hybrid systems

@inproceedings{Mhlmann2013StabhyliAT,
  title={Stabhyli: a tool for automatic stability verification of non-linear hybrid systems},
  author={Eike M{\"o}hlmann and Oliver E. Theel},
  booktitle={HSCC},
  year={2013}
}
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… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 15 extracted citations

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Convex Optimization

  • S. Boyd, L. Vandenberghe
  • 2004
Highly Influential
4 Excerpts

Problème général de la stabilité du movement

  • M. Lyapunov
  • In Ann. Fac. Sci. Toulouse,
  • 1949
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…