Auto Generation of Embedded Controllers from High Level Specification

From CERES
Revision as of 18:46, 21 October 2014 by Ceres (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Title Auto Generation of Embedded Controllers from High Level Specification
Summary To develop, test, and verify a method for translating hybrid-models of controllers to controllers that work on an embedded platform such as the Arduino or RaspberyPi
Keywords
TimeFrame
References
Prerequisites
Author
Supervisor Walid Taha, Thomas Lithen
Level Master
Status Open

Generate PDF template