We raise and partly answer the question: whether there exists a Markov system with respect to which the zeros of the Chebyshev polynomials are dense, but the maximum length of a zero free interval of the nth Chebyshev...We raise and partly answer the question: whether there exists a Markov system with respect to which the zeros of the Chebyshev polynomials are dense, but the maximum length of a zero free interval of the nth Chebyshev polynomial does not tends to zero. We also draw the conclu- tion that a Markov system, under an additional assumption, is dense if and only if the maxi- mum length of a zero free interval of the nth associated Chebyshev polynomial tends to zero.展开更多
It is known that the performance potentials (or equivalentiy, perturbation realization factors) can be used as building blocks for performance sensitivities of Markov systems. In parameterized systems, the changes in ...It is known that the performance potentials (or equivalentiy, perturbation realization factors) can be used as building blocks for performance sensitivities of Markov systems. In parameterized systems, the changes in parameters may only affect some states, and the explicit transition probability matrix may not be known. In this paper, we use an example to show that we can use potentials to construct performance sensitivities in a more flexible way; only the potentials at the affected states need to be estimated, and the transition probability matrix need not be known. Policy iteration algorithms, which are simpler than the standard one, can be established.展开更多
Dear Editor,Two-dimensional(2-D) systems have wide applications in image data processing,gas absorption and fluid dynamics analysis [1]-[3].When there exist abrupt changes in 2-D systems,they are usually modeled by 2-...Dear Editor,Two-dimensional(2-D) systems have wide applications in image data processing,gas absorption and fluid dynamics analysis [1]-[3].When there exist abrupt changes in 2-D systems,they are usually modeled by 2-D Markov jump systems(MJSs) or 2-D semi-Markov jump systems(SMJSs).This letter investigates the control of 2-D SMJSs based on a novel mode generation mechanism,which could avoid mode ambiguousness phenomenon caused by the evolution of system mode in two different directions.The criterion that guarantees the almost surely exponential stability of the system is obtained.A thermal process is studied to demonstrate the availability of the proposed method.展开更多
In this paper, the issues of stochastic stability analysis and fault estimation are investigated for a class of continuoustime Markov jump piecewise-affine(PWA) systems against actuator and sensor faults. Firstly, a n...In this paper, the issues of stochastic stability analysis and fault estimation are investigated for a class of continuoustime Markov jump piecewise-affine(PWA) systems against actuator and sensor faults. Firstly, a novel mode-dependent PWA iterative learning observer with current feedback is designed to estimate the system states and faults, simultaneously, which contains both the previous iteration information and the current feedback mechanism. The auxiliary feedback channel optimizes the response speed of the observer, therefore the estimation error would converge to zero rapidly. Then, sufficient conditions for stochastic stability with guaranteed performance are demonstrated for the estimation error system, and the equivalence relations between the system information and the estimated information can be established via iterative accumulating representation.Finally, two illustrative examples containing a class of tunnel diode circuit systems are presented to fully demonstrate the effectiveness and superiority of the proposed iterative learning observer with current feedback.展开更多
A novel method for detecting anomalous program behavior is presented, which is applicable to hostbased intrusion detection systems that monitor system call activities. The method constructs a homogeneous Markov chain ...A novel method for detecting anomalous program behavior is presented, which is applicable to hostbased intrusion detection systems that monitor system call activities. The method constructs a homogeneous Markov chain model to characterize the normal behavior of a privileged program, and associates the states of the Markov chain with the unique system calls in the training data. At the detection stage, the probabilities that the Markov chain model supports the system call sequences generated by the program are computed. A low probability indicates an anomalous sequence that may result from intrusive activities. Then a decision rule based on the number of anomalous sequences in a locality frame is adopted to classify the program's behavior. The method gives attention to both computational efficiency and detection accuracy, and is especially suitable for on-line detection. It has been applied to practical host-based intrusion detection systems.展开更多
Compared with the classical Markov repairable system, the Markov repairable system with stochastic regimes switching introduced in the paper provides a more realistic description of the practical system. The system ca...Compared with the classical Markov repairable system, the Markov repairable system with stochastic regimes switching introduced in the paper provides a more realistic description of the practical system. The system can be used to model the dynamics of a repairable system whose performance regimes switch according to the external conditions. For example, to satisfy the demand variation that is typical for the power and communication systems and reduce the cost, these systems usually adjust their operating regimes. The transition rate matrices under distinct operating regimes are assumed to be different and the sojourn times in distinct regimes are governed by a finite state Markov chain. By using the theory of Markov process, Ion channel theory, and Laplace transforms, the up time of the system are studied. A numerical example is given to illustrate the obtained results. The effect of sojourn times in distinct regimes on the availability and the up time are also discussed in the numerical example.展开更多
This article is concerned with a class of control systems with Markovian switching, in which an It5 formula for Markov-modulated processes is derived. Moreover, an optimal control law satisfying the generalized Hamilt...This article is concerned with a class of control systems with Markovian switching, in which an It5 formula for Markov-modulated processes is derived. Moreover, an optimal control law satisfying the generalized Hamilton-Jacobi-Bellman (HJB) equation with Markovian switching is characterized. Then, through the generalized HJB equation, we study an optimal consumption and portfolio problem with the financial markets of Markovian switching and inflation. Thus, we deduce the optimal policies and show that a modified Mutual Fund Theorem consisting of three funds holds. Finally, for the CRRA utility function, we explicitly give the optimal consumption and portfolio policies. Numerical examples are included to illustrate the obtained results.展开更多
The exponential stability is investigated for a class of continuous time linear systems with a finite state Markov chain form process and the impulsive jump at switching moments. The conditions, based on the average d...The exponential stability is investigated for a class of continuous time linear systems with a finite state Markov chain form process and the impulsive jump at switching moments. The conditions, based on the average dwell time and the ratio of expectation of the total time running on all unstable subsystems to the expectation of the total time running on all stable subsystems,assure the exponential stability with a desired stability degree of the system irrespective of the impact of impulsive jump. The uniformly bounded result is realized for the case in which switched system is subjected to the impulsive effect of the excitation signal at some switching moments.展开更多
A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load cur...A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load curve. In this paper, using a Markov decision process (MDP), we propose a modeling method and an optimal control method for real-time pricing systems. First, the outline of real-time pricing systems is explained. Next, a model of a set of customers is derived as a multi-agent MDP. Furthermore, the optimal control problem is formulated, and is reduced to a quadratic programming problem. Finally, a numerical simulation is presented.展开更多
Time-limited dispatching(TLD)analysis of the full authority digital engine control(FADEC)systems is an important part of the aircraft system safety analysis and a necessary task for the certification of commercial air...Time-limited dispatching(TLD)analysis of the full authority digital engine control(FADEC)systems is an important part of the aircraft system safety analysis and a necessary task for the certification of commercial aircraft and aeroengines.In the time limited dispatch guidance document ARP5107B,a single-fault Markov model(MM)approach is proposed for TLD analysis.However,ARP5107B also requires that the loss of thrust control(LOTC)rate error calculated by applying the single-fault MM must be less than 5%when performing airworthiness certification.Firstly,the sources of accuracy errors in three kinds of MM are analyzed and specified through a case study of the general FADEC system,and secondly a two-fault MM considering maintenance policy is established through analyzing and calculating the expected repair time when two related faults happen.Finally,a specific FADEC system is given to study on the influence factors of accuracy error in the single-fault MM,and the results show that the accuracy error of the single-fault MM decreases with the increase of short or long prescribed dispatch time,and the range values of short time(ST)and long time(LT)are determined to satisfy the requirement of accuracy error within 5%.展开更多
The robust reliable H∞ control problem for discrete-time Markovian jump systems with actuator failures is studied. A more practical model of actuator failures than outage is considered. Based on the state feedback me...The robust reliable H∞ control problem for discrete-time Markovian jump systems with actuator failures is studied. A more practical model of actuator failures than outage is considered. Based on the state feedback method, the resulting closed-loop systems are reliable in that they remain robust stochastically stable and satisfy a certain level of H∞ disturbance attenuation not only when all actuators are operational, but also in case of some actuator failures, The solvability condition of controllers can be equivalent to a feasibility problem of coupled linear matrix inequalities (LMIs). A numerical example is also given to illustrate the design procedures and their effectiveness.展开更多
This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be sol...This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be solved on the basis of stochastic Lyapunov approach and linear matrix inequality (LMI) technique. Sufficient conditions for the existence of stochastic stabilization and robust H∞ state feedback controller are presented in terms of a set of solutions of coupled LMIs. Finally, a numerical example is included to demonstrate the practicability of the proposed methods.展开更多
This paper is concerned with the H_∞ control problem for a class of nonlinear stochastic Markov jump systems with time-delay and system state-, control input-and external disturbancedependent noise. Firstly, by solvi...This paper is concerned with the H_∞ control problem for a class of nonlinear stochastic Markov jump systems with time-delay and system state-, control input-and external disturbancedependent noise. Firstly, by solving a set of Hamilton-Jacobi inequalities(HJIs), the exponential mean square H_∞ controller design of delayed nonlinear stochastic Markov systems is presented. Secondly,by using fuzzy T-S model approach, the H_∞ controller can be designed via solving a set of linear matrix inequalities(LMIs) instead of HJIs. Finally, two numerical examples are provided to show the effectiveness of the proposed design methods.展开更多
文摘We raise and partly answer the question: whether there exists a Markov system with respect to which the zeros of the Chebyshev polynomials are dense, but the maximum length of a zero free interval of the nth Chebyshev polynomial does not tends to zero. We also draw the conclu- tion that a Markov system, under an additional assumption, is dense if and only if the maxi- mum length of a zero free interval of the nth associated Chebyshev polynomial tends to zero.
文摘It is known that the performance potentials (or equivalentiy, perturbation realization factors) can be used as building blocks for performance sensitivities of Markov systems. In parameterized systems, the changes in parameters may only affect some states, and the explicit transition probability matrix may not be known. In this paper, we use an example to show that we can use potentials to construct performance sensitivities in a more flexible way; only the potentials at the affected states need to be estimated, and the transition probability matrix need not be known. Policy iteration algorithms, which are simpler than the standard one, can be established.
基金supported by the National Natural Science Foundation of China (62173034,61925303,62088101)。
文摘Dear Editor,Two-dimensional(2-D) systems have wide applications in image data processing,gas absorption and fluid dynamics analysis [1]-[3].When there exist abrupt changes in 2-D systems,they are usually modeled by 2-D Markov jump systems(MJSs) or 2-D semi-Markov jump systems(SMJSs).This letter investigates the control of 2-D SMJSs based on a novel mode generation mechanism,which could avoid mode ambiguousness phenomenon caused by the evolution of system mode in two different directions.The criterion that guarantees the almost surely exponential stability of the system is obtained.A thermal process is studied to demonstrate the availability of the proposed method.
基金supported in part by the National Natural Science Foundation of China (62222310, U1813201, 61973131, 62033008)the Research Fund for the Taishan Scholar Project of Shandong Province of China+2 种基金the NSFSD(ZR2022ZD34)Japan Society for the Promotion of Science (21K04129)Fujian Outstanding Youth Science Fund (2020J06022)。
文摘In this paper, the issues of stochastic stability analysis and fault estimation are investigated for a class of continuoustime Markov jump piecewise-affine(PWA) systems against actuator and sensor faults. Firstly, a novel mode-dependent PWA iterative learning observer with current feedback is designed to estimate the system states and faults, simultaneously, which contains both the previous iteration information and the current feedback mechanism. The auxiliary feedback channel optimizes the response speed of the observer, therefore the estimation error would converge to zero rapidly. Then, sufficient conditions for stochastic stability with guaranteed performance are demonstrated for the estimation error system, and the equivalence relations between the system information and the estimated information can be established via iterative accumulating representation.Finally, two illustrative examples containing a class of tunnel diode circuit systems are presented to fully demonstrate the effectiveness and superiority of the proposed iterative learning observer with current feedback.
基金the National Grand Fundamental Research "973" Program of China (2004CB318109)the High-Technology Research and Development Plan of China (863-307-7-5)the National Information Security 242 Program ofChina (2005C39).
文摘A novel method for detecting anomalous program behavior is presented, which is applicable to hostbased intrusion detection systems that monitor system call activities. The method constructs a homogeneous Markov chain model to characterize the normal behavior of a privileged program, and associates the states of the Markov chain with the unique system calls in the training data. At the detection stage, the probabilities that the Markov chain model supports the system call sequences generated by the program are computed. A low probability indicates an anomalous sequence that may result from intrusive activities. Then a decision rule based on the number of anomalous sequences in a locality frame is adopted to classify the program's behavior. The method gives attention to both computational efficiency and detection accuracy, and is especially suitable for on-line detection. It has been applied to practical host-based intrusion detection systems.
基金supported by the National Natural Science Foundation of China (71071020 60705036)Beijing Excellent Doctoral Dissertation Instructor Project of Humanities and Social Sciences(yb20091000701)
文摘Compared with the classical Markov repairable system, the Markov repairable system with stochastic regimes switching introduced in the paper provides a more realistic description of the practical system. The system can be used to model the dynamics of a repairable system whose performance regimes switch according to the external conditions. For example, to satisfy the demand variation that is typical for the power and communication systems and reduce the cost, these systems usually adjust their operating regimes. The transition rate matrices under distinct operating regimes are assumed to be different and the sojourn times in distinct regimes are governed by a finite state Markov chain. By using the theory of Markov process, Ion channel theory, and Laplace transforms, the up time of the system are studied. A numerical example is given to illustrate the obtained results. The effect of sojourn times in distinct regimes on the availability and the up time are also discussed in the numerical example.
基金supported by National Natural Science Foundation of China(71171003)Anhui Natural Science Foundation(10040606003)Anhui Natural Science Foundation of Universities(KJ2012B019,KJ2013B023)
文摘This article is concerned with a class of control systems with Markovian switching, in which an It5 formula for Markov-modulated processes is derived. Moreover, an optimal control law satisfying the generalized Hamilton-Jacobi-Bellman (HJB) equation with Markovian switching is characterized. Then, through the generalized HJB equation, we study an optimal consumption and portfolio problem with the financial markets of Markovian switching and inflation. Thus, we deduce the optimal policies and show that a modified Mutual Fund Theorem consisting of three funds holds. Finally, for the CRRA utility function, we explicitly give the optimal consumption and portfolio policies. Numerical examples are included to illustrate the obtained results.
基金the National Natural Science Foundation of China (60674027, 60574007)Doctoral Foundation of Education Ministry of China (20050446001).
文摘The exponential stability is investigated for a class of continuous time linear systems with a finite state Markov chain form process and the impulsive jump at switching moments. The conditions, based on the average dwell time and the ratio of expectation of the total time running on all unstable subsystems to the expectation of the total time running on all stable subsystems,assure the exponential stability with a desired stability degree of the system irrespective of the impact of impulsive jump. The uniformly bounded result is realized for the case in which switched system is subjected to the impulsive effect of the excitation signal at some switching moments.
文摘A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load curve. In this paper, using a Markov decision process (MDP), we propose a modeling method and an optimal control method for real-time pricing systems. First, the outline of real-time pricing systems is explained. Next, a model of a set of customers is derived as a multi-agent MDP. Furthermore, the optimal control problem is formulated, and is reduced to a quadratic programming problem. Finally, a numerical simulation is presented.
基金supported by the National Natural Science Foundation of China(51705242)Shanghai Sailing Program(16YF1404900)the Fundamental Research Funds for the Central Universities(NS2015072)
文摘Time-limited dispatching(TLD)analysis of the full authority digital engine control(FADEC)systems is an important part of the aircraft system safety analysis and a necessary task for the certification of commercial aircraft and aeroengines.In the time limited dispatch guidance document ARP5107B,a single-fault Markov model(MM)approach is proposed for TLD analysis.However,ARP5107B also requires that the loss of thrust control(LOTC)rate error calculated by applying the single-fault MM must be less than 5%when performing airworthiness certification.Firstly,the sources of accuracy errors in three kinds of MM are analyzed and specified through a case study of the general FADEC system,and secondly a two-fault MM considering maintenance policy is established through analyzing and calculating the expected repair time when two related faults happen.Finally,a specific FADEC system is given to study on the influence factors of accuracy error in the single-fault MM,and the results show that the accuracy error of the single-fault MM decreases with the increase of short or long prescribed dispatch time,and the range values of short time(ST)and long time(LT)are determined to satisfy the requirement of accuracy error within 5%.
基金the National Natural Science Foundation of China (60574001)Program for New Century Excellent Talents in University (05-0485)Program for Innovative Research Team of Jiangnan University
文摘The robust reliable H∞ control problem for discrete-time Markovian jump systems with actuator failures is studied. A more practical model of actuator failures than outage is considered. Based on the state feedback method, the resulting closed-loop systems are reliable in that they remain robust stochastically stable and satisfy a certain level of H∞ disturbance attenuation not only when all actuators are operational, but also in case of some actuator failures, The solvability condition of controllers can be equivalent to a feasibility problem of coupled linear matrix inequalities (LMIs). A numerical example is also given to illustrate the design procedures and their effectiveness.
文摘This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be solved on the basis of stochastic Lyapunov approach and linear matrix inequality (LMI) technique. Sufficient conditions for the existence of stochastic stabilization and robust H∞ state feedback controller are presented in terms of a set of solutions of coupled LMIs. Finally, a numerical example is included to demonstrate the practicability of the proposed methods.
基金supported by the National Natural Science Foundation of China under Grant Nos.61573227,61633014the Natural Science Foundation of Shandong Province of China under Grant No.2013ZRE28089+2 种基金the Research Fund for the Taishan Scholar Project of Shandong Province of ChinaSDUST Research Fund under Grant No.2015TDJH105 State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources under Grant No.LAPS16011
文摘This paper is concerned with the H_∞ control problem for a class of nonlinear stochastic Markov jump systems with time-delay and system state-, control input-and external disturbancedependent noise. Firstly, by solving a set of Hamilton-Jacobi inequalities(HJIs), the exponential mean square H_∞ controller design of delayed nonlinear stochastic Markov systems is presented. Secondly,by using fuzzy T-S model approach, the H_∞ controller can be designed via solving a set of linear matrix inequalities(LMIs) instead of HJIs. Finally, two numerical examples are provided to show the effectiveness of the proposed design methods.