Reachability, controllability to zero and observability of the positive discrete-time Lyapunov systems
A new class of cone fractional continuous-time linear systems is introduced. Necessary and sufficient conditions for a fractional linear system to be a cone fractional one are established. Sufficient conditions for the reachability of cone fractional systems are given. The discussion is illustrated with an example of linear cone fractional systems.
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...
This paper presents the variational approach to some optimization problems: Mayer's problem with or without constraints on the final point, local controllability of a trajectory, time-optimal problems.
Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical...