Workshop: Specification and Verification of Embedded Systems

From MurrayWiki
Revision as of 08:24, 22 November 2008 by Utopcu (Talk | contribs)

Jump to: navigation, search

Aim

These notes aim at refreshing our memory on the discussion we had on verification on Oct 28, 09 at Caltech and initializing a discussion on Richard's question/suggestion how model predictive control type ideas may play a role in constructing FSA from specifications and then translating to hybrid controllers.