<p>This article presents a new approach for constructing convex enclosures of reachable sets of parametric ordinary differential equations (ODEs), for use in deterministic methods for global dynamic optimization. In our new approach, we modify an established ODE relaxation framework by Scott and Barton (2013), using kinematic intuition to replace certain discontinuous transitions between discrete modes with tighter, smoother transitions, and ultimately producing tighter, smoother relaxations of the original ODE solution that are more amenable to integration by off-the-shelf numerical ODE solvers. We refer to our new relaxation approach as “kinematic smoothing”. Our new ODE relaxations are straightforward to construct automatically based on established tools, and we present several numerical examples based on a proof-of-concept implementation in Julia.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A kinematic smoothing method for tightening convex relaxations of ordinary differential equations

  • Huiyi Cao,
  • Kamil A. Khan

摘要

This article presents a new approach for constructing convex enclosures of reachable sets of parametric ordinary differential equations (ODEs), for use in deterministic methods for global dynamic optimization. In our new approach, we modify an established ODE relaxation framework by Scott and Barton (2013), using kinematic intuition to replace certain discontinuous transitions between discrete modes with tighter, smoother transitions, and ultimately producing tighter, smoother relaxations of the original ODE solution that are more amenable to integration by off-the-shelf numerical ODE solvers. We refer to our new relaxation approach as “kinematic smoothing”. Our new ODE relaxations are straightforward to construct automatically based on established tools, and we present several numerical examples based on a proof-of-concept implementation in Julia.