×

ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems. (English) Zbl 1417.93122

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 130-135 (2018).

MSC:

93B35 Sensitivity (robustness)
93B50 Synthesis problems
93C10 Nonlinear systems in control theory
93-04 Software, source code, etc. for problems pertaining to systems and control theory
PDF BibTeX XML Cite
Full Text: DOI Link