Certificates of infeasibility via nonsmooth optimization

An important aspect in the solution process of constraint satisfaction problems is to identify exclusion boxes which are boxes that do not contain feasible points. This paper presents a certificate of infeasibility for finding such boxes by solving a linearly constrained nonsmooth optimization problem. Furthermore, the constructed certificate can be used to enlarge an exclusion box by solving a nonlinearly constrained nonsmooth optimization problem.Comment: arXiv admin note: substantial text overlap with arXiv:1506.0802

Design of near allpass strictly stable minimal phase real valued rational IIR filters

In this brief, a near-allpass strictly stable minimal-phase real-valued rational infinite-impulse response filter is designed so that the maximum absolute phase error is minimized subject to a specification on the maximum absolute allpass error. This problem is actually a minimax nonsmooth optimization problem subject to both linear and quadratic functional inequality constraints. To solve this problem, the nonsmooth cost function is first approximated by a smooth function, and then our previous proposed method is employed for solving the problem. Computer numerical simulation result shows that the designed filter satisfies all functional inequality constraints and achieves a small maximum absolute phase error

Lateral fligh control design for a highly flexible aircraft using a nonsmooth method

This paper describes a nonsmooth optimization technique for designing a lateral flight control law for a highly flexible aircraft. Flexible modes and high-dimensional models pose a major challenge to modern control design tools. We show that the nonsmooth approach offers potent and flexible alternatives in this difficult context. More specifically, the proposed technique is used to achieve a mix of frequency domain as well as time domain requirements for a set of different flight conditions