presented at event 12th International-Federation-of-Automatic-Control (IFAC) Symposium on Dynamics and Control of Process Systems including Biosystems (DYCOPS) Conference
keywords Automation & Control Systems BOUNDS Reachability analysis SETS Science & Technology Technology differential inequalities set-based computing