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.