Abstraction, discretization, and robustness in temporal logic control of dynamical systems

@inproceedings{Liu2014AbstractionDA,
  title={Abstraction, discretization, and robustness in temporal logic control of dynamical systems},
  author={Jun Liu and Necmiye Ozay},
  booktitle={HSCC},
  year={2014}
}
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… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.