Browse wiki

From MurrayWiki
Jump to: navigation, search
Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems
Abstract This work is motivated by the problem of s …
This work is motivated by the problem of synthe- sizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications expressed in linear temporal logic. We use augmented finite transition systems as abstract models of continuous switched systems. Augmented finite transition systems are equipped with liveness properties that can be used to enforce progress in accordance with the underlying dynamics. We then introduce abstraction and refinement relations that induce a preorder on this class of finite transition systems. By construction, the resulting pre-order respects the feasibility (i.e., realizability) of the synthesis problem. Hence, existence of a discrete switching strategy for one of these abstract finite transition systems guarantees the existence of a mode sequence for the continuous system such that all of its trajectories satisfy the specification. We also present an algorithm, which can be implemented using sum-of-squares based relaxations, to compute such high fidelity abstract models in a computationally tractable way. Finally, these ideas are illustrated on an example.
these ideas are illustrated on an example.  +
Authors Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray  +
Funding Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems +
ID 2012s  +
Source 2013 American Control Conference (ACC)  +
Tag olpm13-acc  +
Title Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:36  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/olpm13-acc.pdf  +
hide properties that link here 
Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems + Title
 

 

Enter the name of the page to start browsing from.