This paper presents a quantitative risk assessment method based on the use of hybrid causal logic in the sociotechnical system,the influence in the technological aspects is analyzed as well as in the operational *** m...
详细信息
This paper presents a quantitative risk assessment method based on the use of hybrid causal logic in the sociotechnical system,the influence in the technological aspects is analyzed as well as in the operational *** modeling techniques and analyzing methods are applied in this paper aiming at different angles in the socio-technical *** tree and fault tree are used to identify the deterministic causal paths between components,the non-deterministic causal relationships(especially focusing on the impact of human factors and organization)are determined with Bayesian network(BN)(combining with evidence theory)andω*** paper has two objectives:One is that the hybrid causal framework for high-speed railway on-board ATP equipment is presented to assess risks *** other is that the influence of non-deterministic factors(human factors and organization)in ATP equipment is analyzed combining with BNs,ωmethod and evidence theory.
With the rapid development of China train controlsystem(CTCS-3),stability and safety of the CTCS-3 have become the focus of the train *** to the CTCS-3 functional requirement specification issued by the Ministry of R...
详细信息
With the rapid development of China train controlsystem(CTCS-3),stability and safety of the CTCS-3 have become the focus of the train *** to the CTCS-3 functional requirement specification issued by the Ministry of Railways,this paper implements the following three aspects:Firstly,some representative functional scenarios of Radio Block Centre(RBC)are selected to build the models by Colored Petri Net(CPN)and to generate the RBC test cases of XML ***,the sequence sets of test cases may be optimized based on the improved ant colony algorithm and ideological *** is the optimization idea is that not only can be the shortest pathes found but also the redundant phenomenon of test sequence generation can be reduced according to the natural law of ants ***,the RBC test platform may automatically generate test cases and test sequences for the *** result shows that the proposed method can achieve optimization of test sequences successfully and reduce the test time greatly.
This paper designs multi-step probabilistic sets for linear, discrete-time, stochastic systems with unbounded multiplicative noise and probabilistic constraints. Multi-step probabilistic sets strengthen IWPp by bringi...
详细信息
This paper designs multi-step probabilistic sets for linear, discrete-time, stochastic systems with unbounded multiplicative noise and probabilistic constraints. Multi-step probabilistic sets strengthen IWPp by bringing more degrees of freedom to optimize the applicable region of finite-step probabilistic constraints, and extending the prediction horizon of IWPp to infinity for infinite-horizon probabilistic constraints. Conditions for multi-step probabilistic sets are then incorporated into a stochastic model predictive control algorithm to satisfy probabilistic constraints. Closed-loop mean-square stability is guaranteed by the algorithm. A numerical example shows the performance of the proposed algorithm.
This paper is concerned with stochastic model predictive control for Markovian jump linear systems with additive disturbance, where the systems are subject to soft constraints on the system state and the disturbance s...
This paper is concerned with stochastic model predictive control for Markovian jump linear systems with additive disturbance, where the systems are subject to soft constraints on the system state and the disturbance sequence is finitely supported with joint cumulative distribution function given. By resorting to the maximal disturbance invariant set of the system, a model predictive control law is given based on a dynamic controller which is with guaranteed recursive feasibility and ensures the probabilistic constraints on the states. By optimizing the volume of the disturbance invariant set, the dynamic controller is given. The closed loop system under this control law is proven to be stable in the mean square sense. Finally, a numerical example is given to illustrate the developed results.
The control of bilateral teleoperators is challenging due to the complexity of their nonlinear dynamics, the time delays in the communications as well as the wide range of practical real applications. In this paper, o...
详细信息
The control of bilateral teleoperators is challenging due to the complexity of their nonlinear dynamics, the time delays in the communications as well as the wide range of practical real applications. In this paper, operational space adaptive control of hybrid motion/force synchronization is proposed for bilateral networked teleoperation system with asymmetric time-varying delays in communication channels. The adaptive control with parameter update mechanism is developed to deal with the different kinematics, dynamics uncertainties and external disturbances for the master robot and the slave robot. The system stability is rigorously proved using Lyapunov stability synthesis. The proposed adaptive control is robust against relative motion disturbances, parametric uncertainties and time delay, which is validated by extensive simulation studies.
This paper considers using reset control to improve transient performance and overcome some fundamental limitations of linear systems. First, an auxiliary system is presented, then, based on which, a new reset control...
详细信息
This paper considers using reset control to improve transient performance and overcome some fundamental limitations of linear systems. First, an auxiliary system is presented, then, based on which, a new reset control model is proposed, such that the non-overshoot performance specification can be met for any minimum phase relative degree one plants, the results imply some limitations of linear systems are overcome and clearly illustrate the advantages of reset control. A numerical example is given to show the effectiveness.
This paper addresses the problem of infinite time performance of model predictive controllers applied to constrained nonlinear systems. The total performance is compared with a finite horizon optimal cost to reveal pe...
详细信息
In network-based iterative learning control (ILC) systems, intermittent measurement often occurs during the data packet transfers from the remote plant to the ILC controller. In this paper, measurement missing is mode...
详细信息
In network-based iterative learning control (ILC) systems, intermittent measurement often occurs during the data packet transfers from the remote plant to the ILC controller. In this paper, measurement missing is modeled by stochastic variables satisfying the Bernoulli random binary distribution, and then the design of ILC law is transformed into a feedback control problem of a 2D stochastic system described by Roesser model. A sufficient condition for mean-square asymptotic stability is established by means of linear matrix inequality (LMI) technique, and formulas can be given for the control law design simultaneously. A numerical example illustrates the effectiveness of the proposed results.
Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommo...
详细信息
In the brand new era of “big data”, finding creative strategies for information fusion in a complicated system is important. Previous researchers have introduced a model called “Local Strongly Coupled system”, in ...
详细信息
In the brand new era of “big data”, finding creative strategies for information fusion in a complicated system is important. Previous researchers have introduced a model called “Local Strongly Coupled system”, in which every agent stochastically communicates only with its neighbours (i.e. “coupled” nodes). However, the meaning of a system's intrinsic a priori constraints is always neglected. And we assume that in practical instances, the whole system is supposed to take on a consistent result, or “consensus” decision. This paper, taking constraints into account, presents a new strategy to help minimize the filtering error. Furthermore, based on consensus policy, the approach is applied to local strongly coupled systems, especially systems with packet loss. Effectiveness and practicability of all the proposed algorithms are shown through simulations.
暂无评论