S
Sahika Genc
Researcher at General Electric
Publications - 56
Citations - 1183
Sahika Genc is an academic researcher from General Electric. The author has contributed to research in topics: Predictability & Formal language. The author has an hindex of 19, co-authored 56 publications receiving 1101 citations. Previous affiliations of Sahika Genc include Amazon.com & University of Michigan.
Papers
More filters
Journal ArticleDOI
Distributed Diagnosis of Place-Bordered Petri Nets
Sahika Genc,Stéphane Lafortune +1 more
TL;DR: A distributed fault diagnosis algorithm is presented which allows each module in the distributed system to diagnose its faults independently unless completion of a task requires the use of coupled components.
Journal ArticleDOI
Predictability of event occurrences in partially-observed discrete-event systems
Sahika Genc,Stéphane Lafortune +1 more
TL;DR: Two necessary and sufficient conditions for predictability of occurrences of an event in systems modeled by regular languages are presented and both conditions can be algorithmically tested.
Distributed diagnosis of discrete-event systems using Petri nets
Sahika Genc,Stéphane Lafortune +1 more
TL;DR: The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted and extended to on-line fault diagnosis of systems modeling by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of "Petri net diagnosers".
Journal ArticleDOI
Predictability of Sequence Patterns in Discrete Event Systems
TL;DR: A novel off-line algorithm to verify the property of predictability of a pattern in a partially-observed discrete-event system and an on-line algorithms to track the execution of the pattern during the operation of the system.
Patent
Method for managing alarms in a physiological monitoring system
TL;DR: A method for managing alarm events in a physiological monitoring system is described in this article, which includes validating the accuracy of alarm events by checking if the alarm events are noise events.