Towards hybrid models of recoverable computer control systems

In this paper a modeling framework is introduced for describing how complex recovery algorithms used to implement safety critical control systems on a recoverable computer can affect the stability and performance characteristics of the closed-loop system. The model has a hybrid structure consisting...

Full description

Saved in:
Bibliographic Details
Main Authors: Gray, W.S., Patilkulkarni, S., Gonzalez, O.R.
Format: Conference Proceeding
Language:English
Subjects:
Computer errors
Control system synthesis
Control systems
Error correction
Fault tolerance
Fault tolerant systems
Microprocessors
Robust stability
Safety
Stability analysis
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper a modeling framework is introduced for describing how complex recovery algorithms used to implement safety critical control systems on a recoverable computer can affect the stability and performance characteristics of the closed-loop system. The model has a hybrid structure consisting of three distinct parts: a Markovian exosystem, a finite-state machine, and a jump-linear dynamical system. It is shown in some detail how such a model could be used to characterize rollback recovery algorithms. Two specific examples are given where mean-square stability is determined as a function of upset persistency and various algorithm parameters.
DOI:10.1109/DASC.2002.1053008