Fault recovering taskblocks and control synthesis for a class of condition systems

Jeff Ashley; Lawrence E. Holloway; Nathalie Dangoumau

doi:10.3182/20050703-6-cz-1902.01447

Fault recovering taskblocks and control synthesis for a class of condition systems

Jeff Ashley
, Lawrence E. Holloway
, Nathalie Dangoumau

Institute for Sustainable Manufacturing (ISM)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

in this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate whether some target specification is achievable by utilizing existing control synthesis techniques.

Original language	English
Title of host publication	Proceedings of the 16th IFAC World Congress, IFAC 2005
Pages	134-139
Number of pages	6
DOIs	https://doi.org/10.3182/20050703-6-cz-1902.01447
State	Published - 2005

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Volume	16
ISSN (Print)	1474-6670

Bibliographical note

Funding Information:
This work has been supported in part by the National Science Foundation grant ECS-0115694, Office of Naval Research N000140110621, and the Center for Manufacturing at the University of Kentucky.

Funding

This work has been supported in part by the National Science Foundation grant ECS-0115694, Office of Naval Research N000140110621, and the Center for Manufacturing at the University of Kentucky.

Funders	Funder number
Center for Manufacturing
National Science Foundation (NSF)	ECS-0115694
Office of Naval Research	N000140110621

Keywords

Control system synthesis
Discrete-event systems
Fault diagnosis
Fault-tolerant systems
Intelligent manufacturing systems
Petri-nets

ASJC Scopus subject areas

Control and Systems Engineering

Access to Document

10.3182/20050703-6-cz-1902.01447

Cite this

@inproceedings{9532d13876de4c08bbf3a7ec6ebbb404,

title = "Fault recovering taskblocks and control synthesis for a class of condition systems",

abstract = "in this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate whether some target specification is achievable by utilizing existing control synthesis techniques.",

keywords = "Control system synthesis, Discrete-event systems, Fault diagnosis, Fault-tolerant systems, Intelligent manufacturing systems, Petri-nets",

author = "Jeff Ashley and Holloway, \{Lawrence E.\} and Nathalie Dangoumau",

note = "Funding Information: This work has been supported in part by the National Science Foundation grant ECS-0115694, Office of Naval Research N000140110621, and the Center for Manufacturing at the University of Kentucky.",

year = "2005",

doi = "10.3182/20050703-6-cz-1902.01447",

language = "English",

isbn = "008045108X",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

pages = "134--139",

booktitle = "Proceedings of the 16th IFAC World Congress, IFAC 2005",

}

Fault recovering taskblocks and control synthesis for a class of condition systems. / Ashley, Jeff; Holloway, Lawrence E.; Dangoumau, Nathalie.
Proceedings of the 16th IFAC World Congress, IFAC 2005. 2005. p. 134-139 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 16).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fault recovering taskblocks and control synthesis for a class of condition systems

AU - Ashley, Jeff

AU - Holloway, Lawrence E.

AU - Dangoumau, Nathalie

N1 - Funding Information: This work has been supported in part by the National Science Foundation grant ECS-0115694, Office of Naval Research N000140110621, and the Center for Manufacturing at the University of Kentucky.

PY - 2005

Y1 - 2005

N2 - in this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate whether some target specification is achievable by utilizing existing control synthesis techniques.

AB - in this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate whether some target specification is achievable by utilizing existing control synthesis techniques.

KW - Control system synthesis

KW - Discrete-event systems

KW - Fault diagnosis

KW - Fault-tolerant systems

KW - Intelligent manufacturing systems

KW - Petri-nets

UR - https://www.scopus.com/pages/publications/79960738390

UR - https://www.scopus.com/pages/publications/79960738390#tab=citedBy

U2 - 10.3182/20050703-6-cz-1902.01447

DO - 10.3182/20050703-6-cz-1902.01447

M3 - Conference contribution

AN - SCOPUS:79960738390

SN - 008045108X

SN - 9780080451084

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 134

EP - 139

BT - Proceedings of the 16th IFAC World Congress, IFAC 2005

ER -

Fault recovering taskblocks and control synthesis for a class of condition systems

Abstract

Publication series

Bibliographical note

Funding

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this