Tae-Sic Yoo

A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

Tae-Sic Yoo, Stéphane Lafortune
Discrete Event Dynamic Systems
2002

We consider a generalized form of the conventional decentralized control architecture for discrete-event systems where the control actions of a set of supervisors can bè`fused'' using both union and… (More)

Polynomial-time verification of diagnosability of partially observed discrete-event systems

Tae-Sic Yoo, Stéphane Lafortune
IEEE Trans. Automat. Contr.
2002

The problem of verifying the properties of diagnosability and I-diagnosability is considered. We present new polynomial-time algorithms for deciding diagnosability and I-diagnosability. These… (More)

Diagnosis of Discrete Event Systems Using Decentralized Architectures

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Discrete Event Dynamic Systems
2007

Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one centralized site. This… (More)

Decentralized supervisory control with conditional decisions: supervisor existence

Tae-Sic Yoo, Stéphane Lafortune
IEEE Transactions on Automatic Control
2004

Most of the results on decentralized supervisory control are based on supervisors that make unconditional decisions: "enable" and "disable." In this paper, we introduce and study the properties of… (More)

Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions

Yin Wang, Tae-Sic Yoo, S. Lafortune
Proceedings of the 44th IEEE Conference on…
2005

The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This… (More)

Diagnosis of behaviors of interest in partially-observed discrete-event systems

Tae-Sic Yoo, Humberto E. Garcia
Systems & Control Letters
2008

NP-completeness of sensor selection problems arising in partially observed discrete-event systems

Tae-Sic Yoo, Stéphane Lafortune
IEEE Trans. Automat. Contr.
2002

Diagnosability of stochastic discrete-event systems under unreliable observations

David Thorsley, Tae-Sic Yoo, H. E. Garcia
2008 American Control Conference
2008

We investigate diagnosability of stochastic discrete-event systems where the observation of certain events is unreliable, that is, there are non-zero probabilities of the misdetection and… (More)

Model-based detection of routing events in discrete flow networks

A theoretical framework and its practical implications for formulating and implementing model-based monitoring of discrete flow networks are discussed. Possible flows of items are described as… (More)

Deciding co-observability is PSPACE-complete

Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune
IEEE Trans. Automat. Contr.
2003

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences