form only given. Hybrid systems are composed by continuous physical component and discrete control component where the system state evolves over time according to interacting law of discrete and continuous dynamics. C...
详细信息
ISBN:
(纸本)9780769550077
form only given. Hybrid systems are composed by continuous physical component and discrete control component where the system state evolves over time according to interacting law of discrete and continuous dynamics. Combinations of computation and control
The incorporation of error detection and recovery mechanisms becomes mandatory as the probability of the occurrence of transient faults increases. The detection of control flow errors has been extensively investigated...
详细信息
ISBN:
(纸本)9781479915859;9781479915835
The incorporation of error detection and recovery mechanisms becomes mandatory as the probability of the occurrence of transient faults increases. The detection of control flow errors has been extensively investigated in literature. However, only few works have been conducted towards recovery from control-flow errors. Generally, a program is re-executed after error detection. Although re-execution prevents faults from corrupting data, it does not allow the application to run to completion correctly in the presence of an error. Moreover, the overhead of re-execution increases prominently. The current study presents a pure-software method based on encoded signatures to recover from control-flow errors. Unlike general signature monitoring techniques, the proposed method targets not only interblock transitions, but also intrablock and inter-function transitions. After detecting the illegal transition, the program flow transfers back to the block where the error occurred, and the data errors caused by the error propagation are recovered. Fault injection and performance overhead experiments are performed to evaluate the proposed method. The experimental results show that most control flow errors can be recovered with relatively low performance overhead.
The control technology has been orientated towards decentralized and partially decentralized control strategies. To ensure the success of a decentralized or a partially decentralized control in practice, the first nec...
详细信息
ISBN:
(纸本)9781467360890
The control technology has been orientated towards decentralized and partially decentralized control strategies. To ensure the success of a decentralized or a partially decentralized control in practice, the first necessary step is to determine a suitable control structure. The control structure selection which is the task of selecting suitable input and output pairs for control design is therefore very important. This paper focuses on control structure selection for discrete-time MIMO bilinear systems. The generalized cross-gramian is introduced in this paper for discrete-time bilinear processes and plants. The existence of the generalized cross-gramian is studied and it is shown that if the cross-gramian exists, it can be obtained by solving a generalized Sylvester equation. To solve the generalized Sylvester equation in a computationally efficient way, an iterative method is developed and presented. The generalized cross-gramians are computed for all SISO subsystems of the discrete-time MIMO bilinear systems. These gramians are used to build the generalized Hankel Interaction Index Array which is used for control structure selection. The proposed method for control structure selection is among the few methods supporting bilinear processes and plants, enjoys the advantages of gramian based methods and it is more efficient in terms of computations compared to its counterparts.
This paper deals with the estimation of a gramian-based interaction measure from logged process data, and thereby removing the need of creating parametric models prior to the selection of the significant input-output ...
详细信息
ISBN:
(纸本)9781612848006
This paper deals with the estimation of a gramian-based interaction measure from logged process data, and thereby removing the need of creating parametric models prior to the selection of the significant input-output interconnections. Moreover, the resulting confidence regions of the estimates can be used to perform a robust control structure selection. The considered interaction measure is the Participation Matrix. Based on previous results, a new unbiased statistic is proposed, and confidence bounds for the estimate are derived. Examples and a case study are used to illustrate how the method can be applied.
Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level...
详细信息
Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a high-level domain-specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the controlstructures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored in the database. The specification language provides facilities for the traversal of the program representation and access to the associated information in the database. The program model and the analysis results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of the tools.
暂无评论