There exists number of formal methods for modelling the finite state transition systems to this time. After the model development, the verification of the model’s properties is a promising step to the development of ...
详细信息
There exists number of formal methods for modelling the finite state transition systems to this time. After the model development, the verification of the model’s properties is a promising step to the development of the correct model. The verification techniques are usually based on the reachability graph analysis, and for the large composite models they lead to the so called „state explosion problem“. In the paper, the various known verification techniques that address this problem are discussed.
In video coding, affine motion models combined with a quadtree decomposition have often been suggested as an extension to the mostly used translational models combined with a blockwise decomposition. What is missing s...
详细信息
ISBN:
(纸本)9789898565259
In video coding, affine motion models combined with a quadtree decomposition have often been suggested as an extension to the mostly used translational models combined with a blockwise decomposition. What is missing so far is a thorough analysis to judge the tradeoff between using more complex motion models or more elaborate decomposition methods in terms of data compression and information loss. In this paper, we compare different polynomial motion models with a quadtree decomposition concerning motion model complexity and granularity of decomposition. We provide a statistical evaluation based on optical flow databases to quantitatively find a tradeoff between bitrate and reconstruction error.
This paper proposes a new design method for full-order mismatch-based anti-windup compensators applicable to SISO systems. It is based on multiplier theory and path following. In contrast to available approaches the n...
详细信息
In this paper, a computational approach for controller design for polynomial systems with input constraints is proposed. The design is formulated as a convex optimization problem and capable of dealing with asymmetric...
详细信息
The conception of the object-oriented database and the knowledge system represented by production rules is described. The design of the database is problem oiented to FMS and contains the predefined objects' class...
详细信息
The conception of the object-oriented database and the knowledge system represented by production rules is described. The design of the database is problem oiented to FMS and contains the predefined objects' classes. The production rules are dIVIded Into three groups: process knowledge rules (they create a dynamic state model of the resources), production plan rules (they define precondition of the operations) and expert knqwledge rules (they create a reasoning model for solving a faulty situation). the real-time temporal logic as an assertion language for the specification of the behaviour of the manufacturing processes is described, and the verification of these behaviour in the stage of simulation is described.
The paper refers to the description of an object-oriented approach to the formalisation of parallel DEDS modelling tools. The goal of the presented approach is to develop a modelling framework that enables the modular...
详细信息
The paper refers to the description of an object-oriented approach to the formalisation of parallel DEDS modelling tools. The goal of the presented approach is to develop a modelling framework that enables the modular and hierarchical construction of complex DEDS with the structured view of the underlying state space. The basic notions are defined, e.g., the state classes, the dynamic model of the objects and the operation of the parallel composition. The parallel composition of the objects’ models express the dynamic relations between objects of different classes in dependence on theirs states and occurred events. The method of the analysis of the model concerning to the reachability of the given configuration is also discussed. This point will be the further step of the research activity. At the end, a simple example and its program realisation in the C++ language is given.
The definition of T-invariants of Petri nets is changed in order to describe real cyclic processes that are not cyclic in the sense of the standard definition of T-invariants of Petri nets. The presented definition is...
详细信息
The definition of T-invariants of Petri nets is changed in order to describe real cyclic processes that are not cyclic in the sense of the standard definition of T-invariants of Petri nets. The presented definition is more global than the standard definition that can be included in it as the special case. The formal treatment of properties of generalized T-invariants is given by linear algebraic methods.
The paper concerns with the application of object-oriented modelling to the development of real-time control software for FMS. Object- oriented model integrates the features of object-oriented database, features of re...
详细信息
The paper concerns with the application of object-oriented modelling to the development of real-time control software for FMS. Object- oriented model integrates the features of object-oriented database, features of real-time system and features of artificial intelligence aspects. The goal is to develop intelligent decision making logic for automatic creation of the control actions in both the standard and the nonstandard (error) situations. The knowledge is represented by the rules and the constraints. Three type of rules are described in the paper: process rules (create the dynamic model of the devices), production plan rules (define the production sequence of the technological operations), and expert knowledge rules (create reasoning model for solving the fault situations). The cooperation among these rules is also discussed in the paper.
This paper presents the general structure of wheel-legged robot module and sensory systems. The scheme, interfaces and system components will be presented. Basing on initial experiments the sensor properties and suita...
详细信息
This paper deals with the design of robust fault detection and isolation observers where only a single observer is employed to isolate different faults. To this end, the problem of parameterizing such observers is sho...
详细信息
This paper deals with the design of robust fault detection and isolation observers where only a single observer is employed to isolate different faults. To this end, the problem of parameterizing such observers is shown to be equivalent to designing a structurally constrained controller in the standard control problem framework. Thereby, the problem is reformulated as a well known classical control problem, which enables the use of existing tools to optimize robustness with respect to arbitrary exogenous disturbances. To account for parametric uncertainties, an approximate model matching approach is used.
暂无评论