A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system d...A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system during the time delay of fault detection and diagnosis (FDD) and fault accommodation (FA), which can be regarded as the first line of defence against sensor faults. Simulation results of a three-tank system with sensor fault are given to show the efficiency of the method.展开更多
Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them...Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.展开更多
In this paper, we present a predictive prefetching mechanism that is based on probability graph approach to perform prefetching between different levels in a parallel hybrid storage system. The fundamental concept of ...In this paper, we present a predictive prefetching mechanism that is based on probability graph approach to perform prefetching between different levels in a parallel hybrid storage system. The fundamental concept of our approach is to invoke parallel hybrid storage system’s parallelism and prefetch data among multiple storage levels (e.g. solid state disks, and hard disk drives) in parallel with the application’s on-demand I/O reading requests. In this study, we show that a predictive prefetching across multiple storage levels is an efficient technique for placing near future needed data blocks in the uppermost levels near the application. Our PPHSS approach extends previous ideas of predictive prefetching in two ways: (1) our approach reduces applications’ execution elapsed time by keeping data blocks that are predicted to be accessed in the near future cached in the uppermost level;(2) we propose a parallel data fetching scheme in which multiple fetching mechanisms (i.e. predictive prefetching and application’s on-demand data requests) can work in parallel;where the first one fetches data blocks among the different levels of the hybrid storage systems (i.e. low-level (slow) to high-level (fast) storage devices) and the other one fetches the data from the storage system to the application. Our PPHSS strategy integrated with the predictive prefetching mechanism significantly reduces overall I/O access time in a hybrid storage system. Finally, we developed a simulator to evaluate the performance of the proposed predictive prefetching scheme in the context of hybrid storage systems. Our results show that our PPHSS can improve system performance by 4% across real-world I/O traces without the need of using large size caches.展开更多
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracte...Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.展开更多
基金Supported by National Natural Science Foundation of P.R.China (60574083)Key Laboratory of Process Industry Automation, Ministry of Education of P.R.China (PAL200514)Innovation Scientific Fund of Nanjing University of Aeronautics and Astronautics (Y0508-031)
文摘A model-based fault tolerant control approach for hybrid linear dynamic systems is proposed in this paper. The proposed method, taking advantage of reliable control, can maintain the performance of the faulty system during the time delay of fault detection and diagnosis (FDD) and fault accommodation (FA), which can be regarded as the first line of defence against sensor faults. Simulation results of a three-tank system with sensor fault are given to show the efficiency of the method.
基金supported by the Deanship of Scientific Research(DSR)King Abdulaziz University,Jeddah(23-135-35-HiCi)
文摘Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.
文摘In this paper, we present a predictive prefetching mechanism that is based on probability graph approach to perform prefetching between different levels in a parallel hybrid storage system. The fundamental concept of our approach is to invoke parallel hybrid storage system’s parallelism and prefetch data among multiple storage levels (e.g. solid state disks, and hard disk drives) in parallel with the application’s on-demand I/O reading requests. In this study, we show that a predictive prefetching across multiple storage levels is an efficient technique for placing near future needed data blocks in the uppermost levels near the application. Our PPHSS approach extends previous ideas of predictive prefetching in two ways: (1) our approach reduces applications’ execution elapsed time by keeping data blocks that are predicted to be accessed in the near future cached in the uppermost level;(2) we propose a parallel data fetching scheme in which multiple fetching mechanisms (i.e. predictive prefetching and application’s on-demand data requests) can work in parallel;where the first one fetches data blocks among the different levels of the hybrid storage systems (i.e. low-level (slow) to high-level (fast) storage devices) and the other one fetches the data from the storage system to the application. Our PPHSS strategy integrated with the predictive prefetching mechanism significantly reduces overall I/O access time in a hybrid storage system. Finally, we developed a simulator to evaluate the performance of the proposed predictive prefetching scheme in the context of hybrid storage systems. Our results show that our PPHSS can improve system performance by 4% across real-world I/O traces without the need of using large size caches.
文摘Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.