1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2021★ 1 cited
Synthesis of Lyapunov Functions using Formal Verification
Lukas Munser, Grigory Devadze, Stefan Streif
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-ass…
eess.SY2020
Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering
Lukas Munser, Arne-Jens Hempel, Grigory Devadze +1
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as ab…