Solving reachability problems by a scalable constrained optimization method

被引:0
作者
Jan Kuřátko
Stefan Ratschan
机构
[1] The Czech Academy of Sciences,Institute of Computer Science
[2] Charles University in Prague,Faculty of Mathematics and Physics
来源
Optimization and Engineering | 2020年 / 21卷
关键词
Optimization; Dynamical systems; Boundary value problems; Sequential quadratic programming; Reachability;
D O I
暂无
中图分类号
学科分类号
摘要
In this paper we consider the problem of finding an evolution of a dynamical system that originates and terminates in given sets of states. However, if such an evolution exists then it is usually not unique. We investigate this problem and find a scalable approach for solving it. In addition, the resulting saddle-point matrix is sparse. We exploit the structure in order to reach an efficient implementation of our method. In computational experiments we compare line search and trust-region methods as well as various methods for Hessian approximation.
引用
收藏
页码:215 / 239
页数:24
相关论文
共 19 条
[1]  
Benzi M(2005)Numerical solution of saddle point problems Acta Numer 14 1-137
[2]  
Golub GH(2006)Sampling-based planning, control and verification of hybrid systems IEE Proc Control Theory Appl 153 575-590
[3]  
Liesen J(1999)An interior point algorithm for large-scale nonlinear programming SIAM J Optim 9 877-900
[4]  
Branicky MS(2015)On nonsingular saddle-point systems with a maximally rank deficient leading block SIAM J Matrix Anal Appl 36 367-384
[5]  
Curtiss MM(1982)Partitioned variable metric updates for large structured optimization problems Numer Math 39 119-137
[6]  
Levine J(2001)Numerical experience with iterative methods for equality constrained nonlinear programming problems Optimization Methods and Software 16 257-287
[7]  
Morgan S(2004)Interior-point method for non-linear non-convex optimization Numer Linear Algebra Appl 11 431-453
[8]  
Byrd RH(undefined)undefined undefined undefined undefined-undefined
[9]  
Hribar ME(undefined)undefined undefined undefined undefined-undefined
[10]  
Nocedal J(undefined)undefined undefined undefined undefined-undefined