Name
Title | ||
|---|---|---|
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems |
Abstract | ||
|---|---|---|
This work is motivated by the problem of synthesizing 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 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 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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/ACC.2013.6580816 | American Control Conference |
Keywords | Field | DocType |
continuous time systems,control system synthesis,polynomial approximation,temporal logic,time-varying systems,abstraction refinement relation,augmented finite transition systems,continuous system,continuous-time polynomial switched systems,discrete switching strategy,linear temporal logic,liveness properties,mode sequence synthesis problem,mode sequences synthesis problem,sum-of-square based relaxation | High fidelity,Abstraction,Polynomial,Computer science,Control theory,Preorder,Linear temporal logic,Control engineering,Temporal logic,Realizability,Liveness | Conference |
ISSN | ISBN | Citations |
0743-1619 | 978-1-4799-0177-7 | 15 |
PageRank | References | Authors |
0.75 | 17 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Necmiye Ozay | 1 | 390 | 41.51 |
| Jun Liu | 2 | 83 | 4.85 |
| Pavithra Prabhakar | 3 | 219 | 25.69 |
| Richard M. Murray | 4 | 12322 | 1223.70 |