Browse wiki
From MurrayWiki
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 continuoustime polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain highlevel 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 preorder 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 sumofsquares 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  CorrectbyConstruction Synthesis of Control Protocols for Aerospace Systems + 
ID  2012s + 
Source  2013 American Control Conference (ACC) + 
Tag  olpm13acc + 
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/olpm13acc.pdf + 
hide properties that link here 
Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems +  Title 
