Semi-groupes intégraux de . Application à la théorie du contrôle
The problem of boundary stabilization for the isotropic linear elastodynamic system and the wave equation with Ventcel's conditions are considered (see [12]). The boundary observability and the exact controllability were etablished in [11]. We prove here the enegy decay to zero for the elastodynamic system with stationary Ventcel's conditions by introducing a nonlinear boundary feedback. We also give a boundary feedback leading to arbitrarily large energy decay rates for the elastodynamic system...
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...