We study in this paper the consensus problem for multi-agent systems with agents characterized by high-order linear systems with time delays in both the communication network and inputs. Provided that the open-loop dy...
详细信息
ISBN:
(纸本)9781479900305
We study in this paper the consensus problem for multi-agent systems with agents characterized by high-order linear systems with time delays in both the communication network and inputs. Provided that the open-loop dynamics of the agents is not exponentially unstable, but may be polynomially unstable, and the communication topology contains a directed spanning tree, a truncated predictor feedback approach is established to solve the consensus problem. It is shown that, if the delays are constant and exactly known, the consensus problems can be solved by observer based output feedback protocols for arbitrarily large yet bounded delays. If it is further assumed that the open-loop dynamics of the agents only contains zero eigenvalues, the delays are allowed to be time-varying and unknown.
This paper considers Markov decision processes whose optimal policy is a randomized mixture of monotone increasing policies. Such monotone policies have an inherent sparsity structure. We present a two-stage convex op...
详细信息
This paper considers Markov decision processes whose optimal policy is a randomized mixture of monotone increasing policies. Such monotone policies have an inherent sparsity structure. We present a two-stage convex optimization algorithm for computing the optimal policy that exploits the sparsity. It combines an alternating direction method of multipliers (ADMM) to solve a linear programming problem with respect to the joint action state probabilities, together with a subgradient step that promotes the monotone sparsity pattern in the conditional probabilities of the action given the state. In the second step, sum-of-norms regularization is used to stress the monotone structure of the optimal policy.
In this study, a developed automatic sleep stage classification system with a portable EEG recording device, (Mindo-4s) is implemented by JAVA-based sleep graphical user interface (GUI) in android platform. First, the...
详细信息
This paper develops a vector Lyapunov function based approach to the stabilization and H∞ control of continuous and discrete 2D nonlinear systems described in Roesser model form. The property of global asymptotic sta...
详细信息
Repetitive processes propagate information in two separate directions, one of which is temporal and the other can be spatial. A repetitive process makes a series of sweeps, or passes, through a set of dynamics over th...
详细信息
Repetitive processes propagate information in two separate directions, one of which is temporal and the other can be spatial. A repetitive process makes a series of sweeps, or passes, through a set of dynamics over this finite duration and when each is complete the process resets. Moreover, the output produced on the previous pass explicitly contributes to the dynamics produced on the next one. Hence they can also be viewed as a class of periodic systems. They also pose control problems that cannot be solved by standard systems control theory and design algorithms. This paper gives new results on the application of the repetitive process control theory to the analysis of ladder networks.
Service life of high-cycle-fatigue-loaded(HCF) structures is governed by local cyclic plasticity,crack initiation and the propagation of microstructurally short fatigue *** the case of metastable austenitic steels,loc...
详细信息
Service life of high-cycle-fatigue-loaded(HCF) structures is governed by local cyclic plasticity,crack initiation and the propagation of microstructurally short fatigue *** the case of metastable austenitic steels,local plasticity is linked with the formation of *** was
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activitie...
详细信息
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model.
Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an...
详细信息
Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.
暂无评论