In this paper, we propose a Lyapunov function design method using a difference approximation scheme and quantization of the Markov process. First, we approximate a Lyapunov equation by a Schrödinger-like equation. Second, we obtain sufficient conditions for a function to be a Lyapunov function. Then, we provide a Lyapunov function design procedure.

Process redesign is an expensive, time consuming and labor-intensive activity. Analysis of the redesign process indicates the "first generation" computer-based tools are inadequate for redesign today. Knowledge-based systems and intelligent agents have the ability to address the key, intellectual activities required for effective process redesign. An intelligent redesign agent called KOPeR is d...

To support the efficient appraisal and selection of available best practices, this paper proposes a strategy for the implementation of Business Process Redesign (BPR). Its backbone is formed by the analytical hierarchy process (AHP) multi-criteria method and our earlier research on the popularity and impact of redesign best practices. Using (AHP) we derive a classification of most suitable best...

In this paper we propose a numerical method for computing all Lyapunov coefficients of a discrete time dynamical system by spatial integration. The method extends an approach of Aston and Dellnitz (1999) who use a box approximation of an underlying ergodic measure and compute the first Lyapunov exponent from a spatial average of the norms of the Jacobian for the iterated map. In the hybrid meth...

We present a novel method to compute Lyapunov functions for continuous-time systems with multiple local attractors. In the proposed method one first computes an outer approximation of the local attractors using a graphtheoretic approach. Then a candidate Lyapunov function is computed using a Massera-like construction adapted to multiple local attractors. In the final step this candidate Lyapuno...

LOW-RANK ITERATIVE METHODS FOR PROJECTED GENERALIZED LYAPUNOV EQUATIONS TATJANA STYKEL Abstract. We generalize an alternating direction implicit method and the Smith method for large-scale projected generalized Lyapunov equations. Such equations arise in model reduction of descriptor systems. Low-rank versions of these methods are also presented, which can be used to compute low-rank approximat...

Lyapunov functions are an important tool to determine the basin of attraction of equilibria in Dynamical Systems through their sublevel sets. Recently, several numerical construction methods for Lyapunov functions have been proposed, among them the RBF (Radial Basis Function) and CPA (Continuous Piecewise Affine) methods. While the first method lacks a verification that the constructed function...

This paper presents an integrated system for assembly planning and redesign, based on \Design for Assembly (DFA)" principles. DFA criteria are used in the generation of cost eeective assembly sequences for mechanical products, using a technique known as \Backward Assembly Planning". If the assembly cost can be further reduced by redesign, the system performs \Reverse Engineering", produces a de...