Browse wiki

From MurrayWiki
Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.