You are here

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

TitleAbstraction, discretization, and robustness in temporal logic control of dynamical systems
Publication TypeConference Paper
Year of Publication2014
AuthorsLiu, J., and N. Ozay
Conference NameACM International Conference on Hybrid Systems: Computation and Control (HSCC)
DOI10.1145/2562059.2562137
Related files: