http://www.cds.caltech.edu/~murray/wiki/index.php?title=Computing_Augmented_Finite_Transition_Systems_to_Synthesize_Switching_Protocols_for_Polynomial_Switched_Systems&feed=atom&action=historyComputing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems - Revision history2020-08-08T03:27:35ZRevision history for this page on the wikiMediaWiki 1.23.12http://www.cds.caltech.edu/~murray/wiki/index.php?title=Computing_Augmented_Finite_Transition_Systems_to_Synthesize_Switching_Protocols_for_Polynomial_Switched_Systems&diff=19724&oldid=prevMurray: htdb2wiki: creating page for 2012s_olpm13-acc.html2016-05-15T06:15:36Z<p>htdb2wiki: creating page for 2012s_olpm13-acc.html</p>
<p><b>New page</b></p><div>{{HTDB paper<br />
| authors = Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray<br />
| title = Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems<br />
| source = 2013 American Control Conference (ACC)<br />
| year = 2012<br />
| type = Conference Paper<br />
| funding = MuSyC, Boeing, UTRC, CMI<br />
| url = http://www.cds.caltech.edu/~murray/preprints/olpm13-acc.pdf<br />
| abstract = <br />
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.<br />
| flags = <br />
| filetype = PDF<br />
| filesize = 518K<br />
| tag = olpm13-acc<br />
| id = 2012s<br />
}}</div>Murray