Name
Abstract | ||
|---|---|---|
We propose a procedure for the synthesis of control protocols for systems governed by nonlinear differential equations and constrained by temporal logic specifications. This procedure relies on a particular finite-state abstraction of the underlying continuous dynamics and a discrete representation of the external environmental signals. A two-player game formulation provides computationally efficient means to construct a discrete strategy based on the finite-state model. We focus on systems with differentially flat outputs, which, in a straightforward manner, allows the construction of continuous control signals from the discrete transitions dictated by the discrete strategy. The resulting continuous-time output trajectories are provably guaranteed to robustly satisfy the original specifications. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/CDC.2012.6425981 | CDC |
Keywords | Field | DocType |
signal representation,discrete strategy,control system synthesis,continuous control signals,continuous-time output trajectories,discrete representation,finite-state model,external environmental signals,control protocol synthesis,reactive controllers,temporal logic,nonlinear differential equations,two-player game formulation,temporal logic specifications,temporal logic constraints,finite-state abstraction,differentially flat systems | Abstraction,Control theory,Computer science,Logic optimization,Nonlinear differential equations,Temporal logic,Discrete representation | Conference |
ISSN | ISBN | Citations |
0743-1546 E-ISBN : 978-1-4673-2064-1 | 978-1-4673-2064-1 | 7 |
PageRank | References | Authors |
0.54 | 20 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jun Liu | 1 | 45 | 4.57 |
| Ufuk Topcu | 2 | 1032 | 115.78 |
| Necmiye Ozay | 3 | 390 | 41.51 |
| Richard M. Murray | 4 | 12322 | 1223.70 |