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 – 24 of 24

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...

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 – 24 of 24

Previous Page 2