A novel structure identification procedure for discrete event systems described by Petri nets are proposed in this paper for model-based diagnostic purposes that utilize the notions and tools of process mining. The id...
详细信息
ISBN:
(纸本)9780889868632
A novel structure identification procedure for discrete event systems described by Petri nets are proposed in this paper for model-based diagnostic purposes that utilize the notions and tools of process mining. The identification of the structurally different discrete event system models describing a system in its normal and/or faulty modes was used for model-based isolation of the considered faulty modes. From the available process mining techniques that allow for the automatic construction of process models in Petri net form based on event logs, the genetic algorithm-based structure identification procedure has been found to be most capable of identifying the characteristic structural elements of the faulty models. The proposed procedures are illustrated on a simple example of an operated parking gate automaton with two faulty modes.
To defend against various attacks, many security systems such as intrusion detection systems are deployed into hosts and networks to better protect digital assets. However, there are well-known problems related to the...
详细信息
This paper introduces linear parameter varying (LPV) model with multiple parameters in the parts affected by the state and the input (LPV-MP) and the state-feedback LPV controller to stabilize the nonlinear system by ...
详细信息
The solution to the problem of finding the reaction kinetic realization of a given system obeying the mass action law containing the minimal/maximal number of reactions and complexes is shown in this paper. The propos...
详细信息
ISBN:
(纸本)9783642149405
The solution to the problem of finding the reaction kinetic realization of a given system obeying the mass action law containing the minimal/maximal number of reactions and complexes is shown in this paper. The proposed methods are based on Mixed Integer Linear Programming where the mass action kinetics is encoded into the linear constraints. Although the problems are NP-hard in the current setting, the developed algorithms give a usable answer to some of the questions first raised in [1].
Common algorithmic problem is an optimization problem, which has the nice property that several other NPcomplete problems can be reduced to it in linear time. A tissue P system with cell division is a computing model ...
详细信息
The principal lateral motion of an aircraft is described by a minimum of fourth order coupled state variable model. It is interesting to investigate how a decoupling controller can be designed. The Youla-parametrizati...
详细信息
ISBN:
(纸本)9780889868632
The principal lateral motion of an aircraft is described by a minimum of fourth order coupled state variable model. It is interesting to investigate how a decoupling controller can be designed. The Youla-parametrization is a simple method to design controllers. The KB-parametrization is a successful extension of this method for two-degree-of freedom (2DOF) systems. The paper extends this methodology for multivariable case and applies to the decoupling lateral control.
In this paper, the design and the experimental validation of a discrete linear quadratic regulator applied to boost converters with switched loads are investigated. The closed-loop system stability under arbitrary swi...
详细信息
Complex chemical reaction networks often exhibit different dynamic behaviour on different time scales. A combined approach is proposed in this work for determining physically meaningful mass action realizations of com...
详细信息
In this paper we present the piecewise smooth model, simulation and numerical nonlinear analysis of a cam-follower impacting system, characterized by a cam with non-smooth profile - a discontinuous second derivate - a...
详细信息
In this paper we present the piecewise smooth model, simulation and numerical nonlinear analysis of a cam-follower impacting system, characterized by a cam with non-smooth profile - a discontinuous second derivate - and a follower modeled as a rod pendulum. The model include three main dynamical modes, free body mode, sliding mode and impacting mode. We will show the description of the algorithm to simulate cam-follower impacting systems. The algorithm was developed under an event driven strategy and implemented in Matlab. Regarding the numerical analysis we have studied the chattering accumulation of impacts coexistence of solutions, smooth and nonsmooth bifurcations and other nonlinear phenomena that this kind of systems can exhibit. Additionally, we build a bifurcation diagram under variation of cam rotation speed. The most notable phenomenon is the corner impact bifurcation. This one occur when the follower impact just at the discontinuity point of the cam. These results are a complement to other studies it have been done in cam-follower impacting systems. We are looking for an experimental verification as additional to the numerical validation of those phenomena mentioned before.
In building fire evacuation, good guidance can speed up egress process and occupants may be injured due to lack of information and guidance. There are many studies on building egress systems, which use relevant inform...
详细信息
暂无评论