Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods trea...Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods treat covariates, either time-invariant or time-varying, as having multiplicative effects while general dependence on time is left un-estimated. An adaptive approach is formulated for analyzing multiple event time data. Conditional hazard rates are modeled in terms of dependence on both time and covariates using fractional polynomials restricted so that the conditional hazard rates are positive-valued and so that excess time probability functions (generalizing survival functions for single event times) are decreasing. Maximum likelihood is used to estimate parameters adjusting for right censored event times. Likelihood cross-validation (LCV) scores are used to compare models. Adaptive searches through alternate conditional hazard rate models are controlled by LCV scores combined with tolerance parameters. These searches identify effective models for the underlying multiple event time data. Conditional hazard regression is demonstrated using data on times between tumor recurrence for bladder cancer patients. Analyses of theory-based models for these data using extensions of Cox regression provide conflicting results on effects to treatment group and the initial number of tumors. On the other hand, fractional polynomial analyses of these theory-based models provide consistent results identifying significant effects to treatment group and initial number of tumors using both model-based and robust empirical tests. Adaptive analyses further identify distinct moderation by group of the effect of tumor order and an additive effect to group after controlling for nonlinear effects to initial number of tumors and tumor order. Results of example analyses indicate that adaptive conditional hazard rate modeling can generate useful insights into multiple event time data.展开更多
Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods trea...Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods treat covariates, either time-invariant or time-varying, as having multiplicative effects while general dependence on time is left un-estimated. An adaptive approach is formulated for analyzing multiple event time data. Conditional hazard rates are modeled in terms of dependence on both time and covariates using fractional polynomials restricted so that the conditional hazard rates are positive-valued and so that excess time probability functions (generalizing survival functions for single event times) are decreasing. Maximum likelihood is used to estimate parameters adjusting for right censored event times. Likelihood cross-validation (LCV) scores are used to compare models. Adaptive searches through alternate conditional hazard rate models are controlled by LCV scores combined with tolerance parameters. These searches identify effective models for the underlying multiple event time data. Conditional hazard regression is demonstrated using data on times between tumor recurrence for bladder cancer patients. Analyses of theory-based models for these data using extensions of Cox regression provide conflicting results on effects to treatment group and the initial number of tumors. On the other hand, fractional polynomial analyses of these theory-based models provide consistent results identifying significant effects to treatment group and initial number of tumors using both model-based and robust empirical tests. Adaptive analyses further identify distinct moderation by group of the effect of tumor order and an additive effect to group after controlling for nonlinear effects to initial number of tumors and tumor order. Results of example analyses indicate that adaptive conditional hazard rate modeling can generate useful insights into multiple event time data.展开更多
Longitudinal data often occur in follow-up studies, and in many situations, there may exist informative observation times and a dependent terminal event such as death that stops the follow-up. We propose a semiparamet...Longitudinal data often occur in follow-up studies, and in many situations, there may exist informative observation times and a dependent terminal event such as death that stops the follow-up. We propose a semiparametric mixed effect model with time-varying latent effects in the analysis of longitudinal data with informative observation times and a dependent terminal event. Estimating equation approaches are developed for parameter estimation, and asymptotic properties of the resulting estimators are established. The finite sample behavior of the proposed estimators is evaluated through simulation studies, and an application to a bladder cancer study is provided.展开更多
Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to prese...Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.展开更多
The Noether symmetry and the conserved quantity on time scales in event space are studied in this paper. Firstly, the Lagrangian of parameter forms on time scales in event space are established. The Euler-Lagrange equ...The Noether symmetry and the conserved quantity on time scales in event space are studied in this paper. Firstly, the Lagrangian of parameter forms on time scales in event space are established. The Euler-Lagrange equations and the second EulerLagrange equations of variational calculus on time scales in event space are established. Secondly, based upon the invariance of the Hamilton action on time scales in event space under the infinitesimal transformations of a group, the Noether symmetry and the conserved quantity on time scales in event space are established.Finally, an example is given to illustrate the method and results.展开更多
Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP,...Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS.展开更多
High-resolution U–Pb(ID-TIMS,baddeleyite)ages are presented for mafic dykes from selected swarms in two important Amazonian regions:the Carajás Province in the east,and the Rio Apa block in the southwest–areas
Shaw's method used to correlate 40 sections across the Permo-Triassic boundary in South China is applied in the paper. Two steps are adopted to get an Integral Composite Section (ICS) by synthesizing these data : ...Shaw's method used to correlate 40 sections across the Permo-Triassic boundary in South China is applied in the paper. Two steps are adopted to get an Integral Composite Section (ICS) by synthesizing these data : First , South China is divided into five areas and composite section developed for each area . Then the second step . the Changxing composite section is regarded as a composite standard (CSRS) while the ICS is produced by matching the CSRS with composite sections of the other areas. Three biozones in the Changxingian and two biozones in the Griesbachian can be discerned on the basis of computing Z values in the ICS. These biozones are marked by the Z values which quantitatively represent their time ranges ; therefore , they may increase accuracy of stratigraphic time correlation . The mass extinction at the end of the Permian is an abrupt event that is supported by the relative rate of extinction near the P/T boundary . About 90% of invertebrate species died out by the end of the Permian . The duration of the mass extinction is rather short ,approximately 0.018Ma .展开更多
Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind o...Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind of cyclic reconfigurable flow shops are proposed for the new manufacturing paradigm-reconfigurable manufacturing system. The cyclic reconfigurable flow shop is modeled as a timed event graph. The optimal configuration is defined as the one under which the cyclic reconfigurable flow shop functions with the minimum cycle time and the minimum number of pallets. The optimal configuration, the minimum cycle time and the minimum number of pallets can be obtained in two steps.展开更多
The results of visual event-related potential(ERP)examinations and reactiontime(RT)tests were reported in 30 elders and compared with their performanceintellegence quotient(PIQ)scores.The subjects consisted of 18 male...The results of visual event-related potential(ERP)examinations and reactiontime(RT)tests were reported in 30 elders and compared with their performanceintellegence quotient(PIQ)scores.The subjects consisted of 18 males and 12 femalesaged 50-71(mean 61.4)years old.No history of central nervous system disease wasfound.The visual stimuli were randomly presented to the subject,including three sym-bols:E as target stimulus with 0.15 probability,and H and E as nontarget stimuliwith 0.15 and 0.70 probability respectively.The recording electrodes were placed on Fzand Pz.The duration from the subject seeing the target to touching a button immediatelywas considered as reaction time(RT).It was shown that the P3 latency at Pz was longer than that at Fz and the P3amplitude at Pz was larger than that at Fz,and that the RT was longer than P3 latencywith obvious effect of distribution(P【0.05 at Fz and P】0.05 at Pz)as well .The higherthe PIQ scores,the longer the RT and the P3 latency.It is suggested that the ERPmight reflect the differences of PIQ scores,and the P3 is an objective index.We considerthat the research of ERP is of great interest in the neuropsychological and neurological sci-ences.展开更多
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.展开更多
A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to...A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.展开更多
Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas ...Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas emissions and associated cost.Payload variance causes significant differences in gross vehicle weights.Heavily loaded trucks travel slower up ramps than lightly loaded trucks.Faster trucks are slowed by the presence of slower trucks,resulting in‘bunching’,production losses and increasing fuel consumptions.This paper simulates the truck bunching phenomena in large surface mines to improve truck and shovel systems’efficiency and minimise fuel consumption.The study concentrated on completing a practical simulation model based on a discrete event method which is most commonly used in this field of research in other industries.The simulation model has been validated by a dataset collected from a large surface mine in Arizona state,USA.The results have shown that there is a good agreement between the actual and estimated values of investigated parameters.展开更多
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.展开更多
In the context of modified gravity theory, we study time-dependent wormhole spacetimes in the radiation background. In this framework, we attempt to generalize the thermodynamic properties of time-dependent wormholes ...In the context of modified gravity theory, we study time-dependent wormhole spacetimes in the radiation background. In this framework, we attempt to generalize the thermodynamic properties of time-dependent wormholes in gravity. Finally, at event horizon, the rate of change of total entropy has been discussed.展开更多
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.展开更多
文摘Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods treat covariates, either time-invariant or time-varying, as having multiplicative effects while general dependence on time is left un-estimated. An adaptive approach is formulated for analyzing multiple event time data. Conditional hazard rates are modeled in terms of dependence on both time and covariates using fractional polynomials restricted so that the conditional hazard rates are positive-valued and so that excess time probability functions (generalizing survival functions for single event times) are decreasing. Maximum likelihood is used to estimate parameters adjusting for right censored event times. Likelihood cross-validation (LCV) scores are used to compare models. Adaptive searches through alternate conditional hazard rate models are controlled by LCV scores combined with tolerance parameters. These searches identify effective models for the underlying multiple event time data. Conditional hazard regression is demonstrated using data on times between tumor recurrence for bladder cancer patients. Analyses of theory-based models for these data using extensions of Cox regression provide conflicting results on effects to treatment group and the initial number of tumors. On the other hand, fractional polynomial analyses of these theory-based models provide consistent results identifying significant effects to treatment group and initial number of tumors using both model-based and robust empirical tests. Adaptive analyses further identify distinct moderation by group of the effect of tumor order and an additive effect to group after controlling for nonlinear effects to initial number of tumors and tumor order. Results of example analyses indicate that adaptive conditional hazard rate modeling can generate useful insights into multiple event time data.
文摘Recurrent event time data and more general multiple event time data are commonly analyzed using extensions of Cox regression, or proportional hazards regression, as used with single event time data. These methods treat covariates, either time-invariant or time-varying, as having multiplicative effects while general dependence on time is left un-estimated. An adaptive approach is formulated for analyzing multiple event time data. Conditional hazard rates are modeled in terms of dependence on both time and covariates using fractional polynomials restricted so that the conditional hazard rates are positive-valued and so that excess time probability functions (generalizing survival functions for single event times) are decreasing. Maximum likelihood is used to estimate parameters adjusting for right censored event times. Likelihood cross-validation (LCV) scores are used to compare models. Adaptive searches through alternate conditional hazard rate models are controlled by LCV scores combined with tolerance parameters. These searches identify effective models for the underlying multiple event time data. Conditional hazard regression is demonstrated using data on times between tumor recurrence for bladder cancer patients. Analyses of theory-based models for these data using extensions of Cox regression provide conflicting results on effects to treatment group and the initial number of tumors. On the other hand, fractional polynomial analyses of these theory-based models provide consistent results identifying significant effects to treatment group and initial number of tumors using both model-based and robust empirical tests. Adaptive analyses further identify distinct moderation by group of the effect of tumor order and an additive effect to group after controlling for nonlinear effects to initial number of tumors and tumor order. Results of example analyses indicate that adaptive conditional hazard rate modeling can generate useful insights into multiple event time data.
基金supported by National Natural Science Foundation of China (Grant Nos. 11231010, 11171330 and 11201315)Key Laboratory of Random Complex Structures and Data Science, Chinese Academy of Sciences (Grant No. 2008DP173182)Beijing Center for Mathematics and Information Interdisciplinary Sciences
文摘Longitudinal data often occur in follow-up studies, and in many situations, there may exist informative observation times and a dependent terminal event such as death that stops the follow-up. We propose a semiparametric mixed effect model with time-varying latent effects in the analysis of longitudinal data with informative observation times and a dependent terminal event. Estimating equation approaches are developed for parameter estimation, and asymptotic properties of the resulting estimators are established. The finite sample behavior of the proposed estimators is evaluated through simulation studies, and an application to a bladder cancer study is provided.
基金supported by TATA Consultancy Servies(TCS)Research Fellowship Program,India
文摘Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.
基金Supported by the National Natural Science Foundation of China(11572212 and 11272227)the Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province(KYZZ15_0349)the Innovation Program of USTS(SKCX15_061)
文摘The Noether symmetry and the conserved quantity on time scales in event space are studied in this paper. Firstly, the Lagrangian of parameter forms on time scales in event space are established. The Euler-Lagrange equations and the second EulerLagrange equations of variational calculus on time scales in event space are established. Secondly, based upon the invariance of the Hamilton action on time scales in event space under the infinitesimal transformations of a group, the Noether symmetry and the conserved quantity on time scales in event space are established.Finally, an example is given to illustrate the method and results.
文摘Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS.
文摘High-resolution U–Pb(ID-TIMS,baddeleyite)ages are presented for mafic dykes from selected swarms in two important Amazonian regions:the Carajás Province in the east,and the Rio Apa block in the southwest–areas
文摘Shaw's method used to correlate 40 sections across the Permo-Triassic boundary in South China is applied in the paper. Two steps are adopted to get an Integral Composite Section (ICS) by synthesizing these data : First , South China is divided into five areas and composite section developed for each area . Then the second step . the Changxing composite section is regarded as a composite standard (CSRS) while the ICS is produced by matching the CSRS with composite sections of the other areas. Three biozones in the Changxingian and two biozones in the Griesbachian can be discerned on the basis of computing Z values in the ICS. These biozones are marked by the Z values which quantitatively represent their time ranges ; therefore , they may increase accuracy of stratigraphic time correlation . The mass extinction at the end of the Permian is an abrupt event that is supported by the relative rate of extinction near the P/T boundary . About 90% of invertebrate species died out by the end of the Permian . The duration of the mass extinction is rather short ,approximately 0.018Ma .
基金Supported by National Key Fundamental Research and Development Project of P. R. China (2002CB312200)
文摘Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind of cyclic reconfigurable flow shops are proposed for the new manufacturing paradigm-reconfigurable manufacturing system. The cyclic reconfigurable flow shop is modeled as a timed event graph. The optimal configuration is defined as the one under which the cyclic reconfigurable flow shop functions with the minimum cycle time and the minimum number of pallets. The optimal configuration, the minimum cycle time and the minimum number of pallets can be obtained in two steps.
文摘The results of visual event-related potential(ERP)examinations and reactiontime(RT)tests were reported in 30 elders and compared with their performanceintellegence quotient(PIQ)scores.The subjects consisted of 18 males and 12 femalesaged 50-71(mean 61.4)years old.No history of central nervous system disease wasfound.The visual stimuli were randomly presented to the subject,including three sym-bols:E as target stimulus with 0.15 probability,and H and E as nontarget stimuliwith 0.15 and 0.70 probability respectively.The recording electrodes were placed on Fzand Pz.The duration from the subject seeing the target to touching a button immediatelywas considered as reaction time(RT).It was shown that the P3 latency at Pz was longer than that at Fz and the P3amplitude at Pz was larger than that at Fz,and that the RT was longer than P3 latencywith obvious effect of distribution(P【0.05 at Fz and P】0.05 at Pz)as well .The higherthe PIQ scores,the longer the RT and the P3 latency.It is suggested that the ERPmight reflect the differences of PIQ scores,and the P3 is an objective index.We considerthat the research of ERP is of great interest in the neuropsychological and neurological sci-ences.
文摘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.
文摘A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
基金CRC MiningThe University of Queensland for their financial support for this study
文摘Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas emissions and associated cost.Payload variance causes significant differences in gross vehicle weights.Heavily loaded trucks travel slower up ramps than lightly loaded trucks.Faster trucks are slowed by the presence of slower trucks,resulting in‘bunching’,production losses and increasing fuel consumptions.This paper simulates the truck bunching phenomena in large surface mines to improve truck and shovel systems’efficiency and minimise fuel consumption.The study concentrated on completing a practical simulation model based on a discrete event method which is most commonly used in this field of research in other industries.The simulation model has been validated by a dataset collected from a large surface mine in Arizona state,USA.The results have shown that there is a good agreement between the actual and estimated values of investigated parameters.
文摘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.
文摘In the context of modified gravity theory, we study time-dependent wormhole spacetimes in the radiation background. In this framework, we attempt to generalize the thermodynamic properties of time-dependent wormholes in gravity. Finally, at event horizon, the rate of change of total entropy has been discussed.
文摘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.
