Browse wiki

From MurrayWiki
Jump to: navigation, search
Efficient control synthesis for augmented finite transition systems with an application to switching protocols
Abstract ugmented finite transition systems general …
ugmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transition systems to satisfy high-level specifications expressed in a fragment of linear temporal logic (LTL). We then use these algorithms within a framework for switching protocol synthesis for discrete-time dynamical systems, where augmented finite transition systems are used for abstracting the underlying dynamics. We introduce a notion of minimality for abstractions of certain fidelity and show that such minimal abstractions can be exactly computed for switched affine systems. Additionally, based on this framework, we present a procedure for computing digitally implementable switching protocols for continuous-time systems. The effectiveness of the proposed framework is illustrated through two examples of temperature control for buildings.
ples of temperature control for buildings.  +
Authors Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu and Richard M. Murray  +
Funding ICyPhy: Industrial Cyber-Physical Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems +
ID 2013j  +
Source Submitted, 2014 American Control Conference (ACC)  +
Tag sun+14-acc  +
Title Efficient control synthesis for augmented finite transition systems with an application to switching protocols +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:08  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/sun+14-acc_s.pdf  +
hide properties that link here 
Efficient control synthesis for augmented finite transition systems with an application to switching protocols + Title
 

 

Enter the name of the page to start browsing from.