Workshop: Specification and Verification of Embedded Systems

From Murray Wiki
Revision as of 08:22, 22 November 2008 by Utopcu (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from "https://murray.cds.caltech.edu/index.php?title=Workshop:_Specification_and_Verification_of_Embedded_Systems&oldid=8433"