ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems

TitleROCS: A robustly complete control synthesis tool for nonlinear dynamical systems
Publication TypeConference Paper
Year of Publication2018
AuthorsLi, Y., and J. Liu
Conference NameACM International Conference on Hybrid Systems: Computation and Control (HSCC)
DOI10.1145/3178126.3178153
Related files: