Auto Generation of Embedded Controllers from High Level Specification
From CERES
| 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 |