ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.

Yinan Li Jun Liu

Published in: HSCC (2018)

Keyphrases

nonlinear dynamical systems
control system
dynamical systems
phase space
image processing
image segmentation
optimal solution
optimization algorithm
control method
control parameters