Browse wiki
From MurrayWiki
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 highlevel specifications expressed in a fragment of linear temporal logic (LTL). We then use these algorithms within a framework for switching protocol synthesis for discretetime 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 continuoustime 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 CyberPhysical Systems + , CorrectbyConstruction Synthesis of Control Protocols for Aerospace Systems + 
ID  2013j + 
Source  Submitted, 2014 American Control Conference (ACC) + 
Tag  sun+14acc + 
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+14acc_s.pdf + 
hide properties that link here 
Efficient control synthesis for augmented finite transition systems with an application to switching protocols +  Title 
