The paper presents an efficient sound extension of piecewise robust barrier tubes for flowpipe overapproximation in polynomial nonlinear hybrid systems with uncertainty, avoiding interval methods while preserving soundness.
Efficient solving of large non-linear arithmetic constraint systems with com- plex boolean structure.JSAT, 1(3-4):209–236, 2007
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
The paper presents an efficient sound extension of piecewise robust barrier tubes for flowpipe overapproximation in polynomial nonlinear hybrid systems with uncertainty, avoiding interval methods while preserving soundness.