Under the Hood of a Stand-Alone Lagrangian Reachability Tool
Keyword(s):
Tool presentation: We present work in progress on a stand-alone implementation of Lagrangian reachability, a recently introduced over-approximation technique for nonlinear continuous systems. Unlike the previous prototype, the current implementation does not depend on the over-approximation tool CAPD, and invokes an improved Lohner’s QR method to tame the infamous wrapping effect.
1976 ◽
Vol 32
◽
pp. 109-116
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2010 ◽
Vol 182
(S 01)
◽
Keyword(s):