In this paper we describe an abstract and (as we hope) a uniform frame for Petri net models, which enable to generalise algebra as well as enabling rule used in the dynamics of Petri nets. Our approach of such an abst...
In this paper we describe an abstract and (as we hope) a uniform frame for Petri net models, which enable to generalise algebra as well as enabling rule used in the dynamics of Petri nets. Our approach of such an abstract frame is based on using partial groupoids in Petri nets. Further, we study properties of Petri nets constructed in this manner through related labelled transition systems. In particular, we investigate the relationships between properties of partial groupoids used in Petri nets and properties of labelled transition systems crucial for the existence of the state equation and linear algebraic techniques. We show that partial groupoids embeddable to Abelian groups play an important role in preserving these properties.
Two different bit-level systolic arrays for digital contour smoothing by Abel-Poisson kernel which minimize the execution time and the number of functional elements required are suggested. The arrays are fully pipelin...
详细信息
Two different bit-level systolic arrays for digital contour smoothing by Abel-Poisson kernel which minimize the execution time and the number of functional elements required are suggested. The arrays are fully pipelined on the bit-level achieving very high clock frequency. They are implementable in VLSI and are dedicated for real-time applications.
The topic of the paper is the comparison of the scheduling problem solution in production system. The subject of the comparison are the method based on the heuristic approach and the method developed on the basis of m...
详细信息
The topic of the paper is the comparison of the scheduling problem solution in production system. The subject of the comparison are the method based on the heuristic approach and the method developed on the basis of multi agent system.
The paper shows a novel approach to the modelling of the production cells of discrete manufacturing by asynchronous version of a statecharts formalism. For the proposed model, the functional specification of the model...
详细信息
The paper shows a novel approach to the modelling of the production cells of discrete manufacturing by asynchronous version of a statecharts formalism. For the proposed model, the functional specification of the model based on the specification language of temporal logic is presented. The specified behaviours are translated into the syntax of statecharts as guarded constraints on the transitions firing. The proposed approach is demonstrated on an illustrative example of the working cell.
A model based approach to the supervisory control of FMS is presented in the paper. The proposed model comprises both the structural and the behavioural specification of the manufacturing system. The statecharts visua...
详细信息
A model based approach to the supervisory control of FMS is presented in the paper. The proposed model comprises both the structural and the behavioural specification of the manufacturing system. The statecharts visual formalism is proposed for the structural specification, and temporal logic operators are proposed for the behavioural specification. The behavioural specification is translated into the statecharts syntax as the guarded constraints on the transition firing. The closed-loop control consists of monitoring module, controller module, synchronization block, and mentioned model of the system. The control decisions of the controller module are given according to the nominal path, and the actual state configuration of the model.
In the brain, both neural processing dynamics as well as the perceptual interpretation of a stimulus can depend on sensory history. The underlying principle is a sensory adaptation to the statistics of the input colle...
详细信息
ISBN:
(纸本)2930307102
In the brain, both neural processing dynamics as well as the perceptual interpretation of a stimulus can depend on sensory history. The underlying principle is a sensory adaptation to the statistics of the input collected over a certain amount of time, allowing the system to tune its detectors, e.g. by improving the sampling of the input space. Here we show how a generative formulation for the problem of visual motion estimation leads to an online adaptation of velocity tuning that is compatible with physiological sensory adaptation and observed perceptual effects.
In this paper, we present a generic way to use a hierarchical representation of prediction models for adaptive tracking purposes. Each node of the hierarchy consists of an interacting multiple models (IMM) particle fi...
详细信息
A new view on modelling a class of discrete event dynamic system (DEDS) and a corresponding control synthesis procedure are presented. The class can be described by state machines (SM) - the special kind of Petri nets...
详细信息
A new view on modelling a class of discrete event dynamic system (DEDS) and a corresponding control synthesis procedure are presented. The class can be described by state machines (SM) - the special kind of Petri nets (PN). The adjacency matrix of oriented graphs (OG) is utilized in the control synthesis procedure. It helps to generate the state reachability tree in both the straight-lined system development (starting from a given initial state to a prescribed terminal one) and that of the backtracking one (starting from the prescribed terminal state to the initial one). Combinig both of the model developments (i.e. a special intersection both of the reachability trees) makes the control synthesis posible.
This paper presents the experimental validation of a self-adjusting active compliance controller for n robots handling a concerning its compliant behaviour partly unknown flexible object. The control strategy is based...
详细信息
This paper presents the experimental validation of a self-adjusting active compliance controller for n robots handling a concerning its compliant behaviour partly unknown flexible object. The control strategy is based on the decomposition of the 6n-dimensional position/force space and includes a feedforward and feedback level. For adjusting the controller to the in general unknown flexible behaviour, which is the main problem of the controller design. a quasi-static model of the system is derived for different contact cases of the object and a procedure is presented, which by use of this model is capable of determining the compliance of the considered system and therefore of adjusting the controller. Experiments with two pumatype robots show the applicability of the self-adjusting control strategy.
Abstract This paper presents fault detection, fault diagnosis, the fault-tolerant control of an electro-hydraulic servo axes with a duplex-valve-system. The fault detection is based on parity equations and is load ind...
详细信息
Abstract This paper presents fault detection, fault diagnosis, the fault-tolerant control of an electro-hydraulic servo axes with a duplex-valve-system. The fault detection is based on parity equations and is load independent. The semi-physical models allow the detection of even small faults in the hydraulic system. The fault diagnosis used at the testbed is based on fuzzy-logic. In order to tolerate a faulty hydraulic proportional valve, a duplex-valve-system built up with standard proportional valves is applied. The fault management module allows the supervision of the hydraulic servo axes and decides on the reconfiguration of the control-loop. An Internal Model control (IMC)-tracking control structure for bumpless transfer between controllers is presented. Experimental results show the industrial applicability of the approach.
暂无评论