Browse wiki

From MurrayWiki
Jump to: navigation, search
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information
Abstract This paper considers the problem of synthe …
This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of temporal logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the desired controllers based on two-player perfect- information games. The overall control architecture consists of a hybrid observer, a high-level switching protocol and a low-level continuous controller. We demonstrate the proposed framework in a case study on designing control protocols for an aircraft air management system.
ols for an aircraft air management system.  +
Authors Oscar Mickelin, Necmiye Ozay and Richard M. Murray  +
Funding ICyPhy: Industrial Cyber-Physical Systems +
ID 2013j  +
Source Submitted, 2014 American Control Conference (ACC)  +
Tag mom14-acc  +
Title Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:10  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/mom14-acc_s.pdf  +
hide properties that link here 
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information + Title
 

 

Enter the name of the page to start browsing from.