presented at event 9th IFAC Symposium on Advanced Control of Chemical Processes ADCHEM 2015 Conference
keywords ALGEBRAIC EQUATIONS Automation & Control Systems INDEX Implicit differential equations Science & Technology Technology VALIDATED SOLUTIONS differential inequalities ellipsoidal calculus high-order inclusions polynomial models reachable set