Name
Title | ||
|---|---|---|
Abstraction, discretization, and robustness in temporal logic control of dynamical systems |
Abstract | ||
|---|---|---|
Abstraction-based, hierarchical approaches to control synthesis from temporal logic specifications for dynamical systems have gained increased popularity over the last decade. Yet various issues commonly encountered and extensively dealt with in control systems have not been adequately discussed in the context of temporal logic control of dynamical systems, such as inter-sample behaviors of a sampled-data system, effects of imperfect state measurements and un-modeled dynamics, and the use of time-discretized models to design controllers for continuous-time dynamical systems. We discuss these issues in this paper. The main motivation is to demonstrate the possibility of accounting for the mismatches between a continuous-time control system and its various types of abstract models used for control synthesis. We do this by incorporating additional robustness measures in the abstract models. Such robustness measures are gained at the price of either increased non-determinism in the abstracted models or relaxed versions of the specification being realized. Under a unified notion of abstraction, we provide concrete means of incorporating these robustness measures and establish results that demonstrate their effectiveness in dealing with the above mentioned issues. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2562059.2562137 | HSCC |
Keywords | Field | DocType |
temporal logic control,control system,dynamical system,abstract model,additional robustness measure,continuous-time control system,continuous-time dynamical system,robustness measure,increased non-determinism,control synthesis,robustness,discretization,abstraction,temporal logic | Discretization,Abstraction,Imperfect,Computer science,Popularity,Theoretical computer science,Control engineering,Robustness (computer science),Dynamical systems theory,Temporal logic,Control system | Conference |
Citations | PageRank | References |
18 | 0.74 | 25 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jun Liu | 1 | 215 | 20.63 |
| Necmiye Ozay | 2 | 390 | 41.51 |