In this paper we present an alternative approach to interprocedurally inferring linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of transition matrices. In the absence of conditional branching, this abstraction can be characterised precisely by means of the least solution of a constraint system. In order to handle conditionals, we introduce...

in this paper, we propose a new method for the numerical solution of two-dimensional linear and nonlinear volterra integral equations of the first and second kinds, which avoids from using starting values. an existence and uniqueness theorem is proved and convergence isverified by using an appropriate variety of the gronwall inequality. application of the method is demonstrated for solving the ...

We present an abstraction of the effect of procedures through convex sets of transition matrices. Conditional branching is handled by postponing the conditional evaluation after the procedure call. In order to obtain an effective analysis convex sets are represented by polyhedra. For an efficient implementation we approximate polyhedra by means of simplices. In [CH78], Cousot and Halbwachs pres...

This paper addresses the problem of designing stabilizing controllers that minimize the 7 l ~ norm of a certain closed-loop transfer function while maintaining the C1 norm of a different transfer function below a prespecified level. This problem arises in the context of rejecting both stochastic as well as bounded persistent disturbances. Alternatively, in a robust control framework it can be t...

In this paper, a linear optimization problem is investigated whose constraints are defined with fuzzy relational inequality. These constraints are formed as the intersection of two inequality fuzzy systems and Schweizer-Sklar family of t-norms. Schweizer-Sklar family of t-norms is a parametric family of continuous t-norms, which covers the whole spectrum of t-norms when the parameter is changed...

A novel optimal Finite Word Length (FWL) controller design is proposed in the framework ofμ theory. A computationally tractable close-loop stability measure with FWL implementation considerations of the controller is derived based on the μ theory, and the optimal FWL controller realizations are obtained by solving the resulting optimal FWL realization problem using linear matrix inequality tech...

A dual convex programming approach to solving linear programs with inequality constraints through entropic perturbation is derived. The amount of perturbation required depends on the desired accuracy of the optimum. The dual program contains only non-positivity constraints. An eoptimal solution to the linear program can be obtained effortlessly from the optimal solution of the dual program. Sin...

The guaranteed cost-control problem for uncertain linear systems which have delay in both state and control input is considered. Sufficient conditions for the existence of guaranteed cost controllers are given in terms of linear matrix inequality (LMI). It is shown that the state feedback controllers can be obtained by solving the LMI.

With the help of elementary results and techniques from Real Analysis and Optimization at the undergraduate level, we study least squares solutions of linear inequality systems. We prove existence of solutions in various ways, provide a characterization of solutions in terms of nonlinear systems, and illustrate the applicability of results as a mathematical tool for checking the consistency of ...

This paper considers differential linear repetitive processes which are a distinct class of two-dimensional continuous-discrete linear systems of both physical and systems theoretic interest. The substantial new results are on the application of linear-matrix-inequality-based tools to stability analysis and controller design for these processes, where the class of control laws used has a well d...