This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a met...
详细信息
This paper deals with fault detection of manufacturing systems modeled by Petri nets. We show that the theoretical results obtained for continuous Petri nets allow us to treat with systems that are intractable using t...
详细信息
This paper deals with fault detection of manufacturing systems modeled by Petri nets. We show that the theoretical results obtained for continuous Petri nets allow us to treat with systems that are intractable using the theory developed for discrete Petri nets. In particular systems in which the unobservable part contains cycles can be studied. On the other hand, only three diagnosis states can be defined making impossible the splitting of the uncertain state into two different states, to obtain different degrees alarm for the uncertainty.
With the development of information, the paradigm in distributed networked applications is shifting towards Service Oriented Architecture, which has some good quality of louse coupled, reused, opened and integrated at...
详细信息
ISBN:
(纸本)9789898425263
With the development of information, the paradigm in distributed networked applications is shifting towards Service Oriented Architecture, which has some good quality of louse coupled, reused, opened and integrated attributes. Single service can only satisfy some certain requirement, only large scale of integration can solve the conflicts between demands and supply. It involves three layers' integration, the bottom data integration, the middle process integration and the uppermost architecture integration. The paper mainly focuses on the middle process integration. The paper makes use of object Petri net language to construct five meta-models of sequence, alternative, parallel, arbitrary sequence, and iteration operations and studies some characteristics of these meta-models. On the basis of the above analysis, we make further research on process integration methods and models. Finally, process integration algorithm and analysis are made, which verifies the improvement of process analysis and implementation efficiency.
This paper presents an acoustical signal tracking experiment by swarm mobile robots. Biological swarm is a fascinating behavior of nature which was inspired from social insects' behavior. A mobile robot that is de...
详细信息
This paper presents an acoustical signal tracking experiment by swarm mobile robots. Biological swarm is a fascinating behavior of nature which was inspired from social insects' behavior. A mobile robot that is designed as a swarm robotic platform was employed for implementing voice exploration behavior. An additional module was developed to connect to robots for processing given voice signals using the proportional signal strength approach that estimates orientation of sound source using fuzzy logic approach. The voice processor module utilizes four condenser microphones with around -47db sensitivity which are placed in different directions of the circuit board for capturing surrounding sound signals. Captured samples by microphones are processed to estimate the relative positions of the sound source in the robotic environment. After estimating the position of the signal's source, all participants move towards similar to the insects' colony. The participant robots have an individual task for the estimation of source location from captured samples. Moreover, according to the swarm definition, an additional cooperation between swarm participants is required to achieve a correct colony of robots. Obtained results illustrate the feasibility of the proposed technique and hardware interface for sound signals acquisition with swarm robots.
We introduce a novel semi-blind-and-semireversible robust watermarking scheme for three-dimensional (3D) polygonal models. The proposed approach embeds watermarks in the significant features of 3D models in a spread-s...
详细信息
This paper proves the uniform continuity of the value function for exit time optimal control problems of hybrid systems with autonomous and controlled transitions. By extending conditions already used for purely conti...
详细信息
ISBN:
(纸本)9781424477456
This paper proves the uniform continuity of the value function for exit time optimal control problems of hybrid systems with autonomous and controlled transitions. By extending conditions already used for purely continuous systems the paper provides the ground for numerical algorithms for dynamic programming of hybrid systems. Transversality conditions for the continuous dynamics at the guard set boundaries ensure that the continuity property of the value function is not altered by a discrete transition of the hybrid system.
Decision-making structures are important building blocks in most of the software; however, it may be difficult to verify them because there are various input conditions and several paths causing them to behave differe...
详细信息
Decision-making structures are important building blocks in most of the software; however, it may be difficult to verify them because there are various input conditions and several paths causing them to behave differently. Test oracles are reliable sources of how the software must operate. The aim of the present paper is to study the applications of Artificial Neural Networks as an automated oracle to test decision-making structures. First, the decision rules were modeled by the neural network using a training dataset generated based on the software specifications and domain expert knowledge. Next, after the neural network was applied to test a subject-registration application, the proposed approach was evaluated using mutation testing. The accuracy of the resulted oracle is discussed as well.
Halftone visual cryptography is an encryption mechanism that a secret image is encoded into halftone shares for showing meaningful images. You only need to superimpose part of these share images. Then, images can be s...
详细信息
Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on ap...
详细信息
This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and r...
详细信息
暂无评论