scispace - formally typeset
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

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

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

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.