All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2

Displaying 21 – 25 of 25

Showing per page

An analytical method for well-formed workflow/Petri net verification of classical soundness

Julio Clempner (2014)

International Journal of Applied Mathematics and Computer Science

In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method...

An LMI-based convex fault tolerant control of nonlinear descriptor systems via unknown input observers

Alberto Ortiz, Daniel Quintana, Victor Estrada-Manzo, Miguel Bernal (2024)

Kybernetika

This paper proposes a fault tolerant control scheme for nonlinear systems in descriptor form. The approach is based on the design of an unknown input observer in order to estimate the missing state variables as well as actuator faults, such design is carried out once a proper estimation error system is obtained via a recent factorization method; then, the estimated signals are employed in the control law in order to drive the states asymptotically to the origin despite actuator faults. The designing...

Approximation of control laws with distributed delays: a necessary condition for stability

Sabine Mondié, Michel Dambrine, Omar Santos (2002)

Kybernetika

The implementation of control laws with distributed delays that assign the spectrum of unstable linear multivariable systems with delay in the input requires an approximation of the integral. A necessary condition for stability of the closed-loop system is shown to be the stability of the controller itself. An illustrative multivariable example is given.

Asymptotic null controllability of bilinear systems

Fritz Colonius, Wolfgang Kliemann (1995)

Banach Center Publications

The region of asymptotic null controllability of bilinear systems with control constraints is characterized using Lyapunov exponents. It is given by the cone over the region of attraction of the maximal control set in projective space containing zero in its spectral interval.

Asynchronous sampling-based leader- following consensus in second-order multi-agent systems

Zhengxin Wang, Yuanzhen Feng, Cong Zheng, Yanling Lu, Lijun Pan (2018)

Kybernetika

This paper studies the leader-following consensus problem of second-order multi-agent systems with directed topologies. By employing the asynchronous sampled-data protocols, sufficient conditions for leader-following consensus with both constant velocity leader and variable velocity leader are derived. Leader-following quasi-consensus can be achieved in multi-agent systems when all the agents sample the information asynchronously. Numerical simulations are provided to verify the theoretical results....

Currently displaying 21 – 25 of 25

Previous Page 2