1 paper · 1 filter
Yankai Lin, Michelle S. Chong, Carlos Murguia
We consider the problem of safety verification and safety-aware controller synthesis for systems with sector bounded nonlinearities. We aim to keep the states of the system within…