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)

Producción científica: Conference contribution › revisión exhaustiva

1 Cita (Scopus)

Resumen

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.

Idioma original	English
Título de la publicación alojada	Proceedings of the 16th IFAC World Congress, IFAC 2005
Páginas	134-139
Número de páginas	6
DOI	https://doi.org/10.3182/20050703-6-cz-1902.01447
Estado	Published - 2005

Serie de la publicación

Nombre	IFAC Proceedings Volumes (IFAC-PapersOnline)
Volumen	16
ISSN (versión impresa)	1474-6670

Nota bibliográfica

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.

Financiación

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.

Financiadores	Número del financiador
Center for Manufacturing
National Science Foundation (NSF)	ECS-0115694
Office of Naval Research	N000140110621

ASJC Scopus subject areas

Control and Systems Engineering

Acceder al documento

10.3182/20050703-6-cz-1902.01447

Otros archivos y enlaces

Citar esto

@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",

}

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

Resumen

Serie de la publicación

Nota bibliográfica

Financiación

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto