Browse wiki

From MurrayWiki
Jump to: navigation, search
A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems
Abstract This paper describes the use of a domain-s …
This paper describes the use of a domain-specific language, and an accompanying software tool, in constructing correct- by-construction control protocols for aircraft electric power systems. Given a base topology, the language consists of a set of primitives for standard specifications. The accompanying tool converts these primitives into formal specifica- tions, which are used to synthesize control protocols. We can then use TuLiP, a Python-based software toolbox, to synthesize centralized and distributed controllers. For sys- tems with no time involved in the specifications, this tool also provides an option to output specifications into a SAT-solver compatible format, thus reducing the synthesis problem to a satisfiability problem. We provide the results of our synthesis procedure on a range of topologies.
thesis procedure on a range of topologies.  +
Authors Huan Xu, Necmiye Ozay and Richard M. Murray  +
ID 2012w  +
Source Submitted, Hybrid Systems: Computation and Control (HSCC) 2013  +
Tag xom13-hscc  +
Title A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:33  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf  +
hide properties that link here 
A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems + Title
 

 

Enter the name of the page to start browsing from.