Stabhyli

DOI10.1145/2461328.2461347zbMath1362.93111OpenAlexW2085138905MaRDI QIDQ2986914

Eike Möhlmann, Oliver Theel

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461347

zbMATH Keywords

stabilityhybrid systemsautomatic verificationcomputer-aided designLyapunov theoryLMIssums-of-squares

Mathematics Subject Classification ID

Related Items (6)

Abstraction based verification of stability of polyhedral switched systems ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Verifying Switched System Stability With Logic ⋮ Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots ⋮ Stabhyli ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

Uses Software

• CSDP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability

This page was built for publication: Stabhyli