Personal tools
You are here: Home Events Lab Lunch - Paul Jackson

Lab Lunch - Paul Jackson

— filed under:

Creating finite-state abstractions of continuous systems

  • Lab Lunch
When Feb 23, 2016
from 01:00 PM to 02:00 PM
Add event to calendar vCal

I will give a high-level overview of some recent work in this area that was primarily undertaken by my recently-finished PhD student Andrew Sogokon. The underlying motivation is the formal verification of hybrid systems, systems with both continuous and discrete state components and with time evolution described by both differential equations and mode-switching transitions.

Document Actions