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!
cited_by
cites
container_end_page 13C2
container_issue
container_start_page 13C2
container_title
container_volume 2
creator Gray, W.S.
Patilkulkarni, S.
Gonzalez, O.R.
description 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_str_mv 10.1109/DASC.2002.1053008
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1053008</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1053008</ieee_id><sourcerecordid>1053008</sourcerecordid><originalsourceid>FETCH-ieee_primary_10530083</originalsourceid><addsrcrecordid>eNp9jr0KwjAUhQMiKNoHEJe8gPWm6e_gIFVxt3tJ21usJKbcVKVvbwdnDwe-A99yGNsI8IWAbH863nI_AAh8AZEESGfMy5IUpspExkm2YJ5zD5gSRiIN4yU7FPajqHH8PlbUNdzYBrXjtuWEtX0jqUojr63pXwPSNJ4DWc3d6AY0bs3mrdIOvR9XbHs5F_l11yFi2VNnFI3l74z8b7-vYzjw</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Towards hybrid models of recoverable computer control systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Gray, W.S. ; Patilkulkarni, S. ; Gonzalez, O.R.</creator><creatorcontrib>Gray, W.S. ; Patilkulkarni, S. ; Gonzalez, O.R.</creatorcontrib><description>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.</description><identifier>ISBN: 9780780373679</identifier><identifier>ISBN: 0780373677</identifier><identifier>DOI: 10.1109/DASC.2002.1053008</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer errors ; Control system synthesis ; Control systems ; Error correction ; Fault tolerance ; Fault tolerant systems ; Microprocessors ; Robust stability ; Safety ; Stability analysis</subject><ispartof>Proceedings. The 21st Digital Avionics Systems Conference, 2002, Vol.2, p.13C2-13C2</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1053008$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1053008$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Gray, W.S.</creatorcontrib><creatorcontrib>Patilkulkarni, S.</creatorcontrib><creatorcontrib>Gonzalez, O.R.</creatorcontrib><title>Towards hybrid models of recoverable computer control systems</title><title>Proceedings. The 21st Digital Avionics Systems Conference</title><addtitle>DASC</addtitle><description>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.</description><subject>Computer errors</subject><subject>Control system synthesis</subject><subject>Control systems</subject><subject>Error correction</subject><subject>Fault tolerance</subject><subject>Fault tolerant systems</subject><subject>Microprocessors</subject><subject>Robust stability</subject><subject>Safety</subject><subject>Stability analysis</subject><isbn>9780780373679</isbn><isbn>0780373677</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2002</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNp9jr0KwjAUhQMiKNoHEJe8gPWm6e_gIFVxt3tJ21usJKbcVKVvbwdnDwe-A99yGNsI8IWAbH863nI_AAh8AZEESGfMy5IUpspExkm2YJ5zD5gSRiIN4yU7FPajqHH8PlbUNdzYBrXjtuWEtX0jqUojr63pXwPSNJ4DWc3d6AY0bs3mrdIOvR9XbHs5F_l11yFi2VNnFI3l74z8b7-vYzjw</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Gray, W.S.</creator><creator>Patilkulkarni, S.</creator><creator>Gonzalez, O.R.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>2002</creationdate><title>Towards hybrid models of recoverable computer control systems</title><author>Gray, W.S. ; Patilkulkarni, S. ; Gonzalez, O.R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-ieee_primary_10530083</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Computer errors</topic><topic>Control system synthesis</topic><topic>Control systems</topic><topic>Error correction</topic><topic>Fault tolerance</topic><topic>Fault tolerant systems</topic><topic>Microprocessors</topic><topic>Robust stability</topic><topic>Safety</topic><topic>Stability analysis</topic><toplevel>online_resources</toplevel><creatorcontrib>Gray, W.S.</creatorcontrib><creatorcontrib>Patilkulkarni, S.</creatorcontrib><creatorcontrib>Gonzalez, O.R.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Explore</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Gray, W.S.</au><au>Patilkulkarni, S.</au><au>Gonzalez, O.R.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Towards hybrid models of recoverable computer control systems</atitle><btitle>Proceedings. The 21st Digital Avionics Systems Conference</btitle><stitle>DASC</stitle><date>2002</date><risdate>2002</risdate><volume>2</volume><spage>13C2</spage><epage>13C2</epage><pages>13C2-13C2</pages><isbn>9780780373679</isbn><isbn>0780373677</isbn><abstract>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.</abstract><pub>IEEE</pub><doi>10.1109/DASC.2002.1053008</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780780373679
ispartof Proceedings. The 21st Digital Avionics Systems Conference, 2002, Vol.2, p.13C2-13C2
issn
language eng
recordid cdi_ieee_primary_1053008
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer errors
Control system synthesis
Control systems
Error correction
Fault tolerance
Fault tolerant systems
Microprocessors
Robust stability
Safety
Stability analysis
title Towards hybrid models of recoverable computer control systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-02T18%3A07%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Towards%20hybrid%20models%20of%20recoverable%20computer%20control%20systems&rft.btitle=Proceedings.%20The%2021st%20Digital%20Avionics%20Systems%20Conference&rft.au=Gray,%20W.S.&rft.date=2002&rft.volume=2&rft.spage=13C2&rft.epage=13C2&rft.pages=13C2-13C2&rft.isbn=9780780373679&rft.isbn_list=0780373677&rft_id=info:doi/10.1109/DASC.2002.1053008&rft_dat=%3Cieee_6IE%3E1053008%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-ieee_primary_10530083%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1053008&rfr_iscdi=true