This study explores the quasi-real time inversion principle and precision estimation of three-dimensional coordinates of the epicenter, trigger time and magnitude of earthquakes with the aim to improve traditional met...This study explores the quasi-real time inversion principle and precision estimation of three-dimensional coordinates of the epicenter, trigger time and magnitude of earthquakes with the aim to improve traditional methods, which are flawed due to missing information or distortion in the seismograph records. The epicenter, trigger time and magnitude from the Lushan earthquake are inverted and analyzed based on high-frequency GNSS data. The inversion results achieved a high precision, which are consistent with the data published by the China Earthquake Administration. Moreover, it has been proven that the inversion method has good theoretical value and excellent application prospects.展开更多
Real-time performance and reliability are two most important issues in applications of time-triggered controller area network （CAN） bus systems at present. A scheduling matrix of time-triggered CAN-bus system is est...Real-time performance and reliability are two most important issues in applications of time-triggered controller area network （CAN） bus systems at present. A scheduling matrix of time-triggered CAN-bus system is established using average-loading algorithm. Periodic messages are guaranteed to transmit without delay by distributing independent transmission windows within the system matrix. Considering the traditional CAN-bus transmission mechanism and the time-triggered feature, an algorithm is improved to calculate the worst-case delay of event-triggered messages in time-triggered CAN-bus systems. The failure probability is calculated for event-triggered messages whose worst-case delay exceeds their deadlines. Different levels of redundant structures of CAN-bus circuits are analyzed and the maintenance management is proposed to improve the system reliability. Finally, the reliabilities of different structures are calculated and the influences of maintenance on the system reliability are analyzed.展开更多
Traditional scheduling algorithms for avionics communication have the shortcoming of messages accumulation,the efficiency and reliability of the service can be improved by combining the distributed integrated modular ...Traditional scheduling algorithms for avionics communication have the shortcoming of messages accumulation,the efficiency and reliability of the service can be improved by combining the distributed integrated modular avionics(DIMA)system with a time trigger mechanism.To further improve the utilization of system resources,the static scheduling algorithm of time triggered service is studied.By making the time trigger message schedule dispersedly,the stabilities of both the available time slots for the event triggered messages and the system will be improved.An improved two-dimensional bin packing algorithm is also presented to achieve the above-mentioned purpose with an extra benefit of better delay performance.展开更多
Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behav...Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine （MTE） used for unmanned aerial vehicle （UAV） system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules.展开更多
We propose a new approach to discuss the consensus problem of multi-agent systems with time-varying delayed control inputs, switching topologies, and stochastic cyber-attacks under hybrid-triggered mechanism.A Bernoul...We propose a new approach to discuss the consensus problem of multi-agent systems with time-varying delayed control inputs, switching topologies, and stochastic cyber-attacks under hybrid-triggered mechanism.A Bernoulli variable is used to describe the hybrid-triggered scheme, which is introduced to alleviate the burden of the network.The mathematical model of the closed-loop control system is established by taking the influences of time-varying delayed control inputs,switching topologies, and stochastic cyber-attacks into account under the hybrid-triggered scheme.A theorem as the main result is given to make the system consistent based on the theory of Lyapunov stability and linear matrix inequality.Markov jumps with uncertain rates of transitions are applied to describe the switch of topologies.Finally, a simulation example demonstrates the feasibility of the theory in this paper.展开更多
In many real-time resource-constrained embedded systems, highly-predictable system behavior is a key design requirement. The “time-triggered co-operative” (TTC) scheduling algorithm provides a good match for a wide ...In many real-time resource-constrained embedded systems, highly-predictable system behavior is a key design requirement. The “time-triggered co-operative” (TTC) scheduling algorithm provides a good match for a wide range of low-cost embedded applications. As a consequence of the resource, timing, and power constraints, the implementation of such algorithm is often far from trivial. Thus, basic implementation of TTC algorithm can result in excessive levels of task jitter which may jeopardize the predictability of many time-critical applications using this algorithm. This paper discusses the main sources of jitter in earlier TTC implementations and develops two alternative implementations – based on the employment of “sandwich delay” (SD) mechanisms – to reduce task jitter in TTC system significantly. In addition to jitter levels at task release times, we also assess the CPU, memory and power requirements involved in practical implementations of the proposed schedulers. The paper concludes that the TTC scheduler implementation using “multiple timer interrupt” (MTI) technique achieves better performance in terms of timing behavior and resource utilization as opposed to the other implementation which is based on a simple SD mechanism. Use of MTI technique is also found to provide a simple solution to “task overrun” problem which may degrade the performance of many TTC systems.展开更多
Nowadays, distributed optimization algorithms are widely used in various complex networks. In order to expand the theory of distributed optimization algorithms in the direction of directed graph, the distributed conve...Nowadays, distributed optimization algorithms are widely used in various complex networks. In order to expand the theory of distributed optimization algorithms in the direction of directed graph, the distributed convex optimization problem with time-varying delays and switching topologies in the case of directed graph topology is studied. The event-triggered communication mechanism is adopted, that is, the communication between agents is determined by the trigger conditions, and the information exchange is carried out only when the conditions are met. Compared with continuous communication, this greatly saves network resources and reduces communication cost. Using Lyapunov-Krasovskii function method and inequality analysis, a new sufficient condition is proposed to ensure that the agent state finally reaches the optimal state. The upper bound of the maximum allowable delay is given. In addition, Zeno behavior will be proved not to exist during the operation of the algorithm. Finally, a simulation example is given to illustrate the correctness of the results in this paper.展开更多
This paper investigates the problem of event-triggered finite-time <i>H</i><sub>∞</sub> control for a class of switched stochastic systems. The main objective of this study is to design an eve...This paper investigates the problem of event-triggered finite-time <i>H</i><sub>∞</sub> control for a class of switched stochastic systems. The main objective of this study is to design an event-triggered state feedback <i>H</i><sub>∞</sub> controller such that the resulting closed-loop system is finite-time bounded and satisfies a prescribed <i>H</i><sub>∞</sub> level in some given finite-time interval. Based on stochastic differential equations theory and average dwell time approach, sufficient conditions are derived to ensure the finite-time stochastic stability with the prescribed <i>H</i><sub>∞</sub> performance for the relevant closed-loop system by employing the linear matrix inequality technique. Finally, the desired state feedback <i>H</i><sub>∞</sub> controller gain matrices can be expressed in an explicit form.展开更多
This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-K...This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H<sub>∞</sub> filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H<sub>∞</sub> filter gain matrices can be expressed in an explicit form.展开更多
This paper investigates the time-varying formation problem for general linear multi-agent systems using distributed event-triggered control strategy.Different from the previous works,to achieve the desired time-varyin...This paper investigates the time-varying formation problem for general linear multi-agent systems using distributed event-triggered control strategy.Different from the previous works,to achieve the desired time-varying formation,a distributed control scheme is designed in an event-triggered way,in which for each agent the controller is triggered only at its own event times.The interaction topology among agents is assumed to be switching.The common Lyapunov function as well as Riccati inequality is applied to solve the time-varying formation problem.Moreover,the Zeno behavior of triggering time sequences can be excluded for each agent.Finally,a simulation example is presented to illustrate the effectiveness of the theoretical results.展开更多
Dear Editor,This letter investigates global stabilization of uncertain nonlinear systems via adaptive event-triggered output feedback.Uncertainties lie in both system nonlinearities and measurement sensitivity.To this...Dear Editor,This letter investigates global stabilization of uncertain nonlinear systems via adaptive event-triggered output feedback.Uncertainties lie in both system nonlinearities and measurement sensitivity.To this end,a dynamic high gain is introduced to cope with the influence of large uncertainties,the unknown measurement sensitivity and the execution error,while a time-varying threshold event-triggering mechanism is constructed to effectively exclude the Zeno phenomenon.As such,the adaptive event-triggered control ensures globally bounded and convergent of system states.The design method is demonstrated using a controlled pendulum example.展开更多
基金National Natural Science Foundation under Grant No.51574201Opening Fund of State Key Laboratory of Geohazard Prevention and Geoenvironment Protection(Chengdu University of Technology)under Grant No.SKLGP2016K017+2 种基金Open Research Fund by Sichuan Engineering Research Center for Emergency Mapping&Disaster Reduction under Grant No.K2015B008The State Administration of Work Safety under Grant No.2014_3335Soft Science Research Projects in Sichuan Province under Grant No.2015zr0049
文摘This study explores the quasi-real time inversion principle and precision estimation of three-dimensional coordinates of the epicenter, trigger time and magnitude of earthquakes with the aim to improve traditional methods, which are flawed due to missing information or distortion in the seismograph records. The epicenter, trigger time and magnitude from the Lushan earthquake are inverted and analyzed based on high-frequency GNSS data. The inversion results achieved a high precision, which are consistent with the data published by the China Earthquake Administration. Moreover, it has been proven that the inversion method has good theoretical value and excellent application prospects.
基金supported by Fundamental Research Funds for the Central Universities and National Science and Technology Major Project (No. 2010ZX04014-017)
文摘Real-time performance and reliability are two most important issues in applications of time-triggered controller area network （CAN） bus systems at present. A scheduling matrix of time-triggered CAN-bus system is established using average-loading algorithm. Periodic messages are guaranteed to transmit without delay by distributing independent transmission windows within the system matrix. Considering the traditional CAN-bus transmission mechanism and the time-triggered feature, an algorithm is improved to calculate the worst-case delay of event-triggered messages in time-triggered CAN-bus systems. The failure probability is calculated for event-triggered messages whose worst-case delay exceeds their deadlines. Different levels of redundant structures of CAN-bus circuits are analyzed and the maintenance management is proposed to improve the system reliability. Finally, the reliabilities of different structures are calculated and the influences of maintenance on the system reliability are analyzed.
基金Supported by Joint Fundation for Equipment Pre-research of Aerospace Science and Technology
文摘Traditional scheduling algorithms for avionics communication have the shortcoming of messages accumulation,the efficiency and reliability of the service can be improved by combining the distributed integrated modular avionics(DIMA)system with a time trigger mechanism.To further improve the utilization of system resources,the static scheduling algorithm of time triggered service is studied.By making the time trigger message schedule dispersedly,the stabilities of both the available time slots for the event triggered messages and the system will be improved.An improved two-dimensional bin packing algorithm is also presented to achieve the above-mentioned purpose with an extra benefit of better delay performance.
文摘Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine （MTE） used for unmanned aerial vehicle （UAV） system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61074159 and 61703286)
文摘We propose a new approach to discuss the consensus problem of multi-agent systems with time-varying delayed control inputs, switching topologies, and stochastic cyber-attacks under hybrid-triggered mechanism.A Bernoulli variable is used to describe the hybrid-triggered scheme, which is introduced to alleviate the burden of the network.The mathematical model of the closed-loop control system is established by taking the influences of time-varying delayed control inputs,switching topologies, and stochastic cyber-attacks into account under the hybrid-triggered scheme.A theorem as the main result is given to make the system consistent based on the theory of Lyapunov stability and linear matrix inequality.Markov jumps with uncertain rates of transitions are applied to describe the switch of topologies.Finally, a simulation example demonstrates the feasibility of the theory in this paper.
文摘In many real-time resource-constrained embedded systems, highly-predictable system behavior is a key design requirement. The “time-triggered co-operative” (TTC) scheduling algorithm provides a good match for a wide range of low-cost embedded applications. As a consequence of the resource, timing, and power constraints, the implementation of such algorithm is often far from trivial. Thus, basic implementation of TTC algorithm can result in excessive levels of task jitter which may jeopardize the predictability of many time-critical applications using this algorithm. This paper discusses the main sources of jitter in earlier TTC implementations and develops two alternative implementations – based on the employment of “sandwich delay” (SD) mechanisms – to reduce task jitter in TTC system significantly. In addition to jitter levels at task release times, we also assess the CPU, memory and power requirements involved in practical implementations of the proposed schedulers. The paper concludes that the TTC scheduler implementation using “multiple timer interrupt” (MTI) technique achieves better performance in terms of timing behavior and resource utilization as opposed to the other implementation which is based on a simple SD mechanism. Use of MTI technique is also found to provide a simple solution to “task overrun” problem which may degrade the performance of many TTC systems.
文摘Nowadays, distributed optimization algorithms are widely used in various complex networks. In order to expand the theory of distributed optimization algorithms in the direction of directed graph, the distributed convex optimization problem with time-varying delays and switching topologies in the case of directed graph topology is studied. The event-triggered communication mechanism is adopted, that is, the communication between agents is determined by the trigger conditions, and the information exchange is carried out only when the conditions are met. Compared with continuous communication, this greatly saves network resources and reduces communication cost. Using Lyapunov-Krasovskii function method and inequality analysis, a new sufficient condition is proposed to ensure that the agent state finally reaches the optimal state. The upper bound of the maximum allowable delay is given. In addition, Zeno behavior will be proved not to exist during the operation of the algorithm. Finally, a simulation example is given to illustrate the correctness of the results in this paper.
文摘This paper investigates the problem of event-triggered finite-time <i>H</i><sub>∞</sub> control for a class of switched stochastic systems. The main objective of this study is to design an event-triggered state feedback <i>H</i><sub>∞</sub> controller such that the resulting closed-loop system is finite-time bounded and satisfies a prescribed <i>H</i><sub>∞</sub> level in some given finite-time interval. Based on stochastic differential equations theory and average dwell time approach, sufficient conditions are derived to ensure the finite-time stochastic stability with the prescribed <i>H</i><sub>∞</sub> performance for the relevant closed-loop system by employing the linear matrix inequality technique. Finally, the desired state feedback <i>H</i><sub>∞</sub> controller gain matrices can be expressed in an explicit form.
文摘This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H<sub>∞</sub> filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H<sub>∞</sub> filter gain matrices can be expressed in an explicit form.
基金Project supported by the National Natural Science Foundation of China(Grant No.11701138)the Natural Science Foundation of Hebei Province,China(Grant Nos.F2017202009 and F2018202075)
文摘This paper investigates the time-varying formation problem for general linear multi-agent systems using distributed event-triggered control strategy.Different from the previous works,to achieve the desired time-varying formation,a distributed control scheme is designed in an event-triggered way,in which for each agent the controller is triggered only at its own event times.The interaction topology among agents is assumed to be switching.The common Lyapunov function as well as Riccati inequality is applied to solve the time-varying formation problem.Moreover,the Zeno behavior of triggering time sequences can be excluded for each agent.Finally,a simulation example is presented to illustrate the effectiveness of the theoretical results.
基金supported by the National Natural Science Foundation of China(62203283)Shandong Provincial Natural Science Foundation(ZR2022QF009,ZR2023QA063)the China Postdoctoral Science Foundation(2022M711981).
文摘Dear Editor,This letter investigates global stabilization of uncertain nonlinear systems via adaptive event-triggered output feedback.Uncertainties lie in both system nonlinearities and measurement sensitivity.To this end,a dynamic high gain is introduced to cope with the influence of large uncertainties,the unknown measurement sensitivity and the execution error,while a time-varying threshold event-triggering mechanism is constructed to effectively exclude the Zeno phenomenon.As such,the adaptive event-triggered control ensures globally bounded and convergent of system states.The design method is demonstrated using a controlled pendulum example.
