Concepedia

Tae-Sic Yoo

TY

34

Publications

1.6K

Citations

19

H-Index

2001

Active since

Affiliations

Idaho National Laboratory(Current)

University of Michigan

University of Idaho

Argonne National Laboratory

University of Utah

Tae-Sic Yoo is an author at Idaho National Laboratory specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationProbabilityVerificationAutomated ReasoningComputational ComplexityEnergy Storage

Publications per year

2001–2023

34

Publications

34

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

Tae-Sic Yoo, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2002 · 406 citations

Engineering, Verification, Computer-aided Verification +18

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

Tae-Sic Yoo, Stéphane Lafortune · Discrete Event Dynamic Systems · 2002 · 245 citations · Full text

Decentralized Supervisory Control, Engineering, Discrete Event System +8

Diagnosis of Discrete Event Systems Using Decentralized Architectures

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

Event-driven Architecture, Engineering, Discrete Event System +4

Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence

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

Normative Multi-agent System, Conditional Coobservability, Decentralized Supervisory Control +15

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

Tae-Sic Yoo, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2002 · 91 citations

Observed Discrete-event Systems, Engineering, Computational Complexity +22

Rows per page

1–5 of 34