Browse wiki
From MurrayWiki
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols |
Abstract |
Modern aircraft increasingly rely on elect … Modern aircraft increasingly rely on electric power for sub- systems that have traditionally run on mechanical power. The complexity and safety-criticality of aircraft electric power systems have therefore increased, rendering the design of these systems more challenging. This work is mot vated by the potential that correct-by-construction reactive controller synthesis tools may have in increasing the effectiveness of the electric power system design cycle. In particular, we have built an experimental hardware platform that captures some key elements of aircraft electric power systems within a simplified setting. We intend to use this plat- form for validating the applicability of theoretical advances in correct-by-construction control synthesis and for study- ing implementation-related challenges. We demonstrate a simple design workflow from formal specifications to auto- generated code that can run on software models and be used in hardware implementation. We show some preliminary results with different control architectures on the developed hardware testbed. ectures on the developed hardware testbed. +
|
---|---|
Authors | Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray + |
Funding | Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + |
ID | 2012v + |
Source | Submitted, Hybrid Systems: Computation and Control (HSCC) 2013 + |
Tag | rog+13-hscc + |
Title | An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols + |
Type | Conference Paper + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
15 May 2016 06:15:34 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf + |
hide properties that link here |
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols + | Title |
---|