ویراساینس.
سند علمی

Fault Prognosis in Real-Time Discrete Event Systems ?

Ahmed Khoumsi

چکیده

This paper deals with fault prognosis, whose objective is to observe a plant and predict any behavior which does not conform to a specification. We study the prognosis of realtime discrete event systems (RTDES), where the plant and the specification are modeled by timed automata (TA). We develop a fault prognosis method inspired from a recent fault diagnosis method for RTDES. Our prognosis method is based on reformulating the real-time prognosis problem into a non-real-time form, using a transformation of TA into finite state automata where the timing constraints are captured by two types of events: Set and Exp events that correspond to activation and expiring of clocks, respectively. We develop a prognosis procedure that checks prognosability and synthesizes a prognoser. Compared to other prognosis methods, our procedure reduces the state space explosion problem and a practical prognosis architecture is proposed.

اسناد مشابه

  • Schedulability Analysis and Verification of Real-Time Discrete-Event Systems

    سند علمی۲۰۱۳Christos Stergiou

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.

  • A Max - Plus Algebra of Signals for the SupervisoryControl of Real - Time Discrete Event Systems

    سند علمی۱۹۹۸Vijay K. Garg

    In this paper, we deene a max-plus algebra of signals for the evaluation of timing behavior of discrete event systems modeled by timed event graphs. We restrict ourselves to innnite, periodic sequences for which we can compute nite representations called signals. This framework a

  • A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems

    سند علمی۲۰۰۹Abhishek Dubey

    The seminal work on theory of Supervisory control in Discrete Event Systems was pioneered by Ramadge and Wonham. Taking inspiration from this work, extensive research has been done to extend the theory to real-time. The main problem in the research related to real-time supervisor

  • A visual toolset for the design of real-time discrete-event systems

    سند علمی۱۹۹۷IEEE Trans. Contr. Sys. Techn.Jonathan S. Ostroff

    StateTime is a prototype toolset that supports the design of verified real-time discrete event systems using executable visual state descriptions (the Build tool). Visual state descriptions allow the designer to browse and understand the structure of the system. A timing hierarch

  • Supervisory Control of Real-time Discrete Event Systems under Partial Observation

    سند علمی۲۰۰۸Lucien Ouédraogo, Ahmed Khoumsi, Mustapha Nourelfath

    In this paper, we address the issue of synthesizing an optimal supervisor for real-time discrete event systems modeled by timed automata and under partial observation. Our approach is based on a method of transformation of timed automata into particular finite state automata call

  • Supervisory Control for the Conformance of Real-time Discrete Event Systems

    سند علمی۲۰۰۴Ahmed Khoumsi

    We study the problem of controlling a plant described as a real-time discrete event system by means of a supervisor, in order to ensure a conformance relation denoted tioco between the plant and the formal specification of the system.