The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. The authors developed models of collective and individual human expertise, which are short...
详细信息
The concept of Function Block origins in automationengineering. It is the standard IEC 61499 that makes a Function Block paradigm for developing automation applications. Due to the component-like features, hardware-o...
详细信息
Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natur...
详细信息
Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort.
Safety-related automation application is getting more and more attentions. This paper introduces a concept: safe-application for software applications in industrial automation area. Safe-application is based on FB par...
详细信息
Safety-related automation application is getting more and more attentions. This paper introduces a concept: safe-application for software applications in industrial automation area. Safe-application is based on FB paradigm, which is thought of representing automationengineering experiences. In verifying safe-applications based on FBs, integration testing is understood very essential. Timed-LTS, an extension of standard LTS is defined for test case selection in order to guarantee safety of an automation application and satisfy integration testing criteria
This paper deals with the robust H ∞ control problem for a class of multi-input non-minimum-phase nonlinear systems with parameter uncertainty. A system of this class is assumed to be in a special interlaced form, wh...
详细信息
This paper deals with the robust H ∞ control problem for a class of multi-input non-minimum-phase nonlinear systems with parameter uncertainty. A system of this class is assumed to be in a special interlaced form, which includes a strict triangular form as a special case. By using an extension of backstepping, nonlinear static-state feedback controllers are designed such that the closed-loop system is input-to-state stable with respect to the disturbance input and has the prescribed L 2 -gain from the disturbance input to the controlled output for all admissible parameter uncertainties.
Cryptography as an ancient subject is endowed with new vigor by chaos theory. Cryptography protects the security of today's ubiquitous Internet communication, which as an open network is vulnerable to attack. In t...
详细信息
Cryptography as an ancient subject is endowed with new vigor by chaos theory. Cryptography protects the security of today's ubiquitous Internet communication, which as an open network is vulnerable to attack. In this paper, chaos-based cryptography is surveyed with focus on designing chaotic pseudo-random number generators (CPRNGs) for stream cipher and their chip implementation. The properties of the proposed CPRNG are analyzed.
Through the systematic investigation of the PLA spatial relational model we already gave several algorithms for discovering graph properties that are useful for applications. Here we extend the model in order to make ...
详细信息
The paper offers the possibility of the design of unknown input detection for dynamic systems under external noise effect. The presented geometric based fundamental problem in residual generation (FPRG) method uses on...
详细信息
The paper offers the possibility of the design of unknown input detection for dynamic systems under external noise effect. The presented geometric based fundamental problem in residual generation (FPRG) method uses on the one hand the Kalman filtering and on the other hand the moving horizon estimation (MHE) when stochastic noise on the input and on the output, with additive failure directions, are presents. The paper combines the optimal Kalman and MHE method with geometric based unknown input observer strategy. The MHE solution makes to treat constraints during the estimation process possible. A numerical example supports the necessity of constrained unknown input estimation
This paper deals with modelling and adaptive output tracking of a Transverse Flux Permanent Magnet Machine (TFPM) as a non-linear system with unknown nonlinearities by utilizing High Gain Observer (HGO) and Radial Bas...
详细信息
This paper deals with modelling and adaptive output tracking of a Transverse Flux Permanent Magnet Machine (TFPM) as a non-linear system with unknown nonlinearities by utilizing High Gain Observer (HGO) and Radial Basis Function (RBF) networks. The technique of feedback linearization and H ∞ control are used to design an adaptive control law for compensating the unknown nonlinearity parts, such the effect of cogging torque, as a disturbance is decreased onto the rotor angle and angular velocity tracking performances. Finally, the capability of the proposed method is shown in the simulation results.
暂无评论