The problem of observer design for a class of nonlinear discrete-time systems with time-delay is considered. A new approach of nonlinear observer design is proposed for the class of systems. Based on differential mean value theory, the error dynamic is transformed into linear parameter variable system. By using Lyapunov stability theory and Schur complement lemma, the sufficient conditions expressed in terms of matrix inequalities are obtained to guarantee the observer error converges asymptotically to zero. Furthermore, the problem of observer design with affine gain is investigated. The computing method for observer gain matrix is given and it is also demonstrated that the observer error converges asymptotically to zero. Finally, an illustrative example is given to validate the effectiveness of the proposed method.
Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this approach, given an original TPPN (OPN), a new TPPN, called the place-stretched Petri net (PSPN), is obtained. The PSPN has the property that its marking vector is sufficient to represent its state. By using this property, a supervisory controller design approach for TPPNs to avoid deadlock is proposed in the present work. An algorithm to determine the set of all the states of the PSPN which lead to deadlock is presented. Using this set, a controller for the PSPN is defined. Using this controller, a controller for the OPN is then obtained. Assuming that the given Petri net is bounded, the proposed approach always finds a controller in finite time whenever there exists one. Furthermore, this controller, when exists, is maximally permissive.