The problem of robust nonlinear energy-to-peak filtering for nonlinear descriptor systems with model uncertainties is addressed. The system is assumed to have nonlinearities both in the state and output equations as well as norm-bounded time-varying uncertainties in the realization matrices. A generalized nonlinear dynamic filtering structure is proposed for such a class of systems with more de...

Optimization as an enabling technology has been one of the big success stories in process systems engineering. In this paper we present first a general review of optimization and its applications to a variety of problems in process systems engineering. Next, we provide an overview of two key areas: nonlinear programming and logic-based discrete/continuous optimization. In particular, recent adv...

In the context of convex mixed integer nonlinear programming (MINLP), we investigate how the outer approximation method and the generalized Benders decomposition method are affected when the respective nonlinear programming (NLP) subproblems are solved inexactly. We show that the cuts in the corresponding master problems can be changed to incorporate the inexact residuals, still rendering equiv...

abstract it is the purpose of this article to introduce a linear approximation technique for solving a fractional chance constrained programming (cc) problem. for this purpose, a fuzzy goal programming model of the equivalent deterministic form of the fractional chance constrained programming is provided and then the process of defuzzification and linearization of the problem is started. a samp...

We give two categorical programming languages with variable arrows and associated abstraction/reduction mechanisms, which extend the possibility of categorical programming Hag87, CF92] in practice. These languages are complementary to each other { one of them provides a rst-order programming style whereas the other does higher-order { and are \children" of the simply typed lambda calculus in th...

in this paper, we study a coupled system of nonlinear fractional differential equations with multi-point boundary condi- tions. the differential operator is taken in the riemann-liouville sense. applying the schauder fixed-point theorem and the contrac- tion mapping principle, two existence results are obtained for the following system d^{alpha}_{0+}x(t)=fleft(t,y(t),d^{p}_{0+}y(t)right), t in (0,...

We study solution approaches to a class of mixed-integer nonlinear programming problems that arise from recent developments in risk-averse stochastic optimization and contain second-order and p-order cone programming as special cases. We explore possible applications of some of the solution techniques that have been successfully used in mixed-integer conic programming and show how they can be g...

A previous study proposes a model for improving efficiency under the data envelopment analysis structure when inputs and outputs are not allowed to adjust at wish. One problem associated with that model is that numerical difficulty may arise in variable substitution when some variables are zero or very small. To solve this problem, this paper builds a model from a dual point of view. The model ...

This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification of classical programming languages. As an intermediary step, we introduce a formal metalanguage called the lambdap calculus for the specification of program...

We introduce some approximate optimal solutions and a generalized augmented Lagrangian in nonlinear programming, establish dual function and dual problem based on the generalized augmented Lagrangian, obtain approximate KKT necessary optimality condition of the generalized augmented Lagrangian dual problem, prove that the approximate stationary points of generalized augmented Lagrangian problem...