Personal tools
You are here: Home Events Lab Lunch with Andrew Sogokon

Lab Lunch with Andrew Sogokon

— filed under:

Andrew Sogokon will be our speaker. Biscuits will be provided as usual.

  • Lab Lunch
When Sep 23, 2014
from 01:00 PM to 02:00 PM
Where MF2
Contact Name
Add event to calendar vCal

Speaker: Andrew Sogokon
Title: Invariant generation for continuous systems by discrete abstraction

Abstract: Deductive safety verification of hybrid dynamical systems crucially depends
on finding appropriate invariants in which a system remains throughout its
evolution. We discuss an approach to generating semi-algebraic invariants
for systems described by polynomial ordinary differential equations under
semi-algebraic constraints. We combine ideas from qualitative abstraction, a
characterization of continuous invariants and methods for generating invariant
algebraic varieties for polynomial ODEs. Our focus is on improving proof
automation in deductive provers for hybrid systems.

Document Actions