Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BDDs) have significantly increased the size of the models that can be verified. The main problem in symbolic model checking is the image computation problem, i.e., efficiently computing the successors or predecessors of...

Many large-scale finite-dimensional optimization problems arise from the discretization of infinite-dimensional problems, a primary example being optimal-control problems defined in terms of either ordinary or partial differential equations. While the direct solution of such problems for a discretization level yielding the desired accuracy is often possible using existing packages for large-sca...

In this contribution, computer-aided optimization is presented as the ultimate tool to improve food processing. The state of the art is reviewed, especially focusing in recent developments using modern optimization techniques. Their potential for industrial applications is also discussed in the light of several important examples. Finally, future trends and research needs

Various interrelated issues that effect the reliability and efficiency of Newton-like methods for chemical process optimization are studied. An algorithm for solving large, sparse quadratic programming (QP) problems that is based on an active set strategy and a symmetric, indefinite factorization is presented. The QP algorithm is fast and reliable. A simple asymmetric trust region method is pro...

Two unstructured-grid Euler-based CFD codes, AIRPLANE and FLOWCART were coupled to a gradientbased quasi-Newton finite-difference optimization algorithm. These two optimization techniques were developed to provide detailed aerodynamic shape optimization methods for complete configurations with efficient grid generation methods. AIRPLANE utilizes a tetrahedral mesh whereas FLOWCART uses a hexahe...

Preliminary ship design is currently more art than science, heavily dependent on highly experienced naval architects. The use of genetic algorithms is proposed as a method for improving ship design through more effective exploration of the design space. Three main points are advanced in this paper. First, genetic algorithms (GA) are a highly effective tool for the exploration of large-scale, no...