M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis, `Failure diagnosis using discrete-event models', IEEE Transactions on Control Systems Technology , 4(2), 105--124, (1996).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....approach to reduce these costs in domains, where experts model behaviour with state transition diagrams. The approach strives at enabling domain experts to construct diagnostic models in the environment they are used to, thus minimizing the need for costly external experts. Other approaches like [2,6,7,17,28,29] do also use state transition diagrams for model based diagnosis. It is still unclear how they relate to our approach. There are also interconnections to systematic requirements engineering and to FMEA which need to be further investigated. Diagnosis based on (extended) state transition diagrams ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D.C. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology 4(2) (1996), 105--124.

....distributed fault diagnosis, Reed Solomon codes. I. INTRODUCTION Fault diagnosis in large scale discrete event systems (DES) is particularly important because the presence of faults can degrade the overall performance of the systems in unpredictable and possibly devastating ways. In [1] [2], the system is represented by a finite state machine (FSM) whose behavior is modeled as a regular language; faults in this FSM are diagnosed using an appropriately designed FSM that is capable of performing detection and identification by analyzing observable activity in the given FSM. In [3] ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Control System Technology, vol. 4, pp. 105--124, Mar. 1996.

....system behavior, and analytic redundancy methods have to be applied to derive non local interaction between potential faults and observations. These techniques have been applied to a variety of schemes used in the diagnosis of discrete [deKleer and Williams, 1987] discrete event [Lunze, 1999; Sampath et al. 1996 ] and continuous systems [Gertler, 1997; Mosterman and Biswas, 1999] The traditional approach to hybrid system diagnosis has been to use a single continuous model with complex non linearities, or abstracting the continuous dynamics to a discrete event model. Complex non linearities complicate ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105--124, 1996.

....generate (a concise partial model of) all possible evolutions and then retrieve only the evolutions that explain the observation; Those that generate in one shot the evolutions explaining the observation. The first category includes some relevant works from both the automatic control area [19, 20, 7, 15] and the AI area [12, 6] Dipartimento di Elettronica per l Automazione, Universit a di Brescia, via Branze 38, 25123 Brescia, Italy, email: garatrob tin.it, lamperti ing.unibs.it, zanella ing.unibs.it Embodied in the second category are some approaches of the AI area [2, 11, 17] Since ....

.... zanella ing.unibs.it Embodied in the second category are some approaches of the AI area [2, 11, 17] Since finding out the system evolutions is a computationally expensive and, therefore, inefficient process (see, for instance, 18] about the computational difficulties of the diagnoser approach [19, 20], or the worst case computational complexity analysis in [2] or the discussion in [11] most of the approaches exploit a trade off between off line and on line computation. Focusing on the second category outlined above, the decentralized diagnoser approach [17] draws off line a local diagnoser ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis, `Failure diagnosis using discrete-event models', IEEE Transactions on Control Systems Technology, 4(2), 105--124, (1996).

....with an enhanced version of SMV [28] Experience shows that Livingstone models tend to feature a huge state space but little depth, for which the symbolic processing of SMV is very appropriate. 6 Related Work The idea of diagnosability has received a lot of attention in the framework of DES. In [24, 25], diagnosability is precisely defined and an algorithm for checking diagnosability is presented. The approach is limited to failures represented as reachability properties. Jiang and Kumar [17] generalize the approach to the case of failures described as formulae in linear temporal logics. The ....

....techniques from automata theory [16] Console, Picardi and Ribaudo [12] propose the use of a particular form of process algebras, PEPA, for the formalization and the analysis of diagnosis and diagnosability problems. In terms of expressivity, our work shares several underlying assumptions with [24, 25]. In particular, our approach considers failures that can be represented as reachability conditions. Our work is rather different from the works mentioned above, that are mostly ori ented to the definition of the theoretical framework, and do not ad dress the problems related to the practical ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, 'Failure diagnosis using discrete event models', IEEE Transactions on Control Systems, 4(2), 105 124, (March 1996).

....the process. However, these systems are deficient to deal with most of the errors because of the following reasons: Not all of the error scenarios can be predicted, 3D state of the possible errors is not included [2] Most of the systems are deficient in dealing multiple error conditions [17], Mapping the sensory domain to failure domain is not easy [13] It is not easy planning heuristics to all conditions, so they are not robust [13] Therefore, the challenge is to predict all possible error conditions as well as their likelihood of occurrence and the associated 3D state to ....

Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis C., "Failure Diagnosis using Discrete-Event Models", IEEE Transactions on Control Systems Technology, v4, n2, pp. 105-124, 1996.

....in a system. The problem of failure diagnosis has received considerable attention in the literature of reliability engineering, control, and computer science; and a wide variety of schemes have been proposed. Recently, it has also been studied in the framework of discrete event systems (DESs) [17, 18, 2, 3, 4, 22, 23, 24, 5, 8, 28, 11, 12, 21, 29, 30]. In [17, 18] the authors proposed a state based approach for diagnosis; they studied the problems of o line and on line diagnosis where the basic idea was to test and observe . Extensions of the above work can be found in [2] where the authors studied testability of DESs. In [3, 4] the ....

....for the design of the diagnoser and the observer. In [22] the authors also studied the problem of fault detection in communication networks where faults are speci ed as change and addition of arcs in the nite state machine model of the normal system, and a diagnosis method is provided. In [23, 24], a language based approach for failure diagnosis was proposed where the failures in the system are represented by some unobservable failure events, and a procedure for detection and isolation of failure events is presented. The work was further extended to timed systems in [5] and to ....

[Article contains additional citation context not shown here]

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Trans. Control Systems Technology, Vol. 4, no. 2, 105-124 March 1996.

....algorithms for checking these various notions of repeated failure diagnosability, and also present a procedure of polynomial complexity for the on line diagnosis of repeated failures. 1 Introduction Failure analysis of discrete event systems is an active area of research, see for example [9, 13, 14, 12, 3, 5, 2, 11, 10, 4, 8, 15, 6, 7]. Generally speaking, a failure is said to have occurred The research was supported in part by the U.S. Department of Energy contract W 31 109 Eng 38, and also in part by the National Science Foundation under the grant NSF ECS 9709796. 1 in a system if the system executes a behavior that ....

.... diagnoser is constructed only for those systems that are diagnosable (recall from [13] that the construction of a diagnoser is of exponential complexity) The notion of diagnosability developed in [13] was applied to failure diagnosis in HVAC (heating, ventilating, and air conditioning) systems in [14], and a distributed implementation of the diagnoser was reported in [3] The notion of failure diagnosis was extended to a notion of active failure diagnosis, where one could control the behavior of the system to better diagnose it, in [12] A template based approach to failure detection in timed ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2):105-124, March 1996.

....knowledge or repair objective. These present new contributions to the research on model based diagnosis and reasoning about action. We contrast our contributions to related work. In the area of diagnosis of dynamical systems, there has been research both within the control theory community (e.g. [SSLST96]) on the diagnosis of discrete event systems using finite state automata, and within the AI community. Most of this work is fairly recent, and can be differentiated with respect to the expressive power of the language used to model the domain (e.g. propositional first order, ramifications, ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.

....OBDD form, allowing the symbolic evaluation of the analysis algorithms. Although it is not the purpose of this discussion, it is worthwhile to note that DES (or relational) models preserve composability and can be constructed in a modular fashion using either component oriented modeling approach [13] or process oriented modeling approach [14] Integrated Safety, Reliability and Diagnosability Analysis Using OBDDs The primary difficulty in safety, diagnosability, and reliability analysis is combinatorial explosion. For example, the generation of a fault tree from the behavioral model ....

Sampath, M. et al., "Failure Diagnosis Using DiscreteEvent Models," IEEE Transactions on Control Systems Technology. Vol. 4, No. 2, pp. 105-124, March, 1996.

....knowledge or repair objective. These present new contributions to the research on model based diagnosis and reasoning about action. We contrast our contributions to related work. In the area of diagnosis of dynamical systems, there has been research both within the control theory community (e.g. [SSLST96]) on the diagnosis of discrete event systems using nite state automata, and within the AI community. Most of this work is fairly recent, and can be di erentiated with respect to the expressive power of the language used to model the domain (e.g. propositional rst order, rami cations, ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.

....deserves much more research. One issue is the control under partial observations as carried out in [32] or in a slightly different domain the control of implicit non deterministic polynomial dynamical systems. Some other perspectives concern the synthesis of fault tolerance controllers like in [42, 43] or the synthesis of controllers with control objectives expressed as properties that depend on the behavior of numerical variables. Acknowledgment This research is supported in part by EdF (Electricit e de France) undercontract number M 64 7C8321 E5 11. The authors would like to thank Albert ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. Technical Report CGR-94-03, Dept. of Electrical Engineering and Computer Science, University of Michigan, USA, May 1994.

....machining sequences required is controlled. Supervisory control has also been applied for designing supervisors in automated highway systems vehicle communication protocols [7, 17] in protocol conversion [10] in feature interaction in telephony [16] in failure diagnosis of HVAC systems in [15]. In this paper we describe a simple educational test bed built from LEGO blocks that simulates an automated car assembly line. The objective is to demonstrate a formal way of designing a controller for a discrete event plant by applying the theory of supervisory control. This miniature assembly ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2):105-124, March 1996.

....investigate how more complex properties concerning diagnosis and diagnosability can be defined and verified within our framework, taking advantage of the possibility of using any equation for representing the observations. To the best of our knowledge, similar approaches have been considered in (Sampath et al. 1995; 1996; Roz e 1997) In (Sampath et al. 1995) the behavior of system components is modeled with automata and the system description is obtained through automata composition. This kind of description is indeed similar to the LTS described in a previous section; a major difference is that the authors of ....

Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Trans. on Contr.

....eld deserves much more research. One issue is the control under partial observations as carried out in [32] or in a slightly dioeerent domain the control of implicit non deterministic polynomial dynamical systems. Some other perspectives concern the synthesis of fault tolerance controllers like in [42, 43] or the synthesis of controllers with control objectives expressed as properties that depend on the behavior of numerical variables. Acknowledgment This research is supported in part by EdF (Electricit# de France) undercontract number M 64 7C8321 E5 11. The authors would like to thank Albert ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. Technical Report CGR-94-03, Dept. of Electrical Engineering and Computer Science, University of Michigan, USA, May 1994.

....to address some of the computational issues that arise in handling the complex dynamics that occur in fault transients, with some preliminary work on building multiple observers for hybrid systems [19] Diagnosis of discrete event systems has also been studied within the FDI community (e. g, [22, 15]) Fabre et al. 10] have employed stochastic Petri nets based on a Hidden Markov Model probabilistic scheme for alarm analysis. Unfortunately, it is not clear how to systematically derive such representations from the physical system models that we work with. 6 Summary In this paper we ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.

....investigate how more complex properties concerning diagnosis and diagnosability can be defined and verified within our framework, taking advantage of the possibility of using any equation for representing the observations. To the best of our knowledge, similar approaches have been considered in [18, 19, 16]. In [18] the behavior of system components is modeled with automata and the system description is obtained through automata composition. This kind of description is indeed similar to the LTS described in a previous section; a major difference is that the authors of [18] describe components as ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, `Failure diagnosis using discrete event models', IEEE Tr. on Contr. Sys. Tech., 4(2), 105--124, (1996).

.... extension of the methodology to dynamic and timevarying systems remains an active research area, see, e.g. 19, 11, 12] The formal language approach Sampath et al. has proposed a formal language framework for diagnosis and analysis of diagnosability properties of untimed discrete event systems [44, 45, 42]. The approach is closely related to the Ramadge Wonham framework for supervisional control of DES [39] The method has mainly been applied to HVAC systems (heating, ventilation and air condition) but is applicable to all systems that at some level can be meaningfully modeled as discrete event ....

....is that the modeling is kept more local to the components thus reducing the modeling complexity. Chapter 4 A modeling example 4.1 Introduction This entire chapter is devoted to the detailed modeling of a simple valve pump system for the purpose of diagnosis. The example has been taken from [45], where it is treated in a formal language framework. The system is shown in figure 4.1 and consists of a valve, a pump, a sensor that indicates presence or absence of flow, and a controller. In the figure, the controller PSfrag replacements h u 1 u 2 r d FT FC Figure 4.1: Flowchart of a ....

[Article contains additional citation context not shown here]

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Tenektzis. Failure diagnosis using discrete event models. Technical Report CGR-94-03, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA, May 1994.

....failure detection and isolation. The concept of testability is also introduced and studied. An active on line diagnosis problem has been studied in [12] In this case, input test sequences for fault diagnosis are computed. Furthermore, the notion of on line diagnosability is introduced. In [16] [17] passive on line diagnosis is studied using an event based framework: based on observed events, inference is made about the occurrence of (unobservable) failure events. Two different notions of diagnosability are defined and examined. This framework has been extended to utilize information about ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technology, vol. 4, no. 2, pp. 105-124, 1996.

....of template languages for fault monitoring in [9] Within Research supported in part by Office of Naval Research grant 442427 25828 and CALTRANS PATH MOU 331. the context of automata and language theoretic models, centralized diagnostic design for discrete event systems was investigated in [12, 13]. The results presented in this paper are also in the context of a language theoretic discrete event formalism and generalize some of the results in [12] The system for which diagnostics is to be designed is called the plant. Diagnostic design for a distributed plant entails the design of ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE TCST, 4, March 1996.

....may be one of the following: commands issued by the controller, sensor readings occurring after the execution of those above commands, and changes in sensor readings. The unobservable events may be failure events or other events that cause changes in the system state not recorded by sensors (see [15, 16]) Let f denote the set of failure events which are to be diagnosed. We assume, without loss of generality, that f uo , since an observable failure event can be trivially diagnosed. Our objective is to identify the occurrence, if any, of the failure events, given that in the traces ....

....the events in o are observed. In this regard, we partition the set of failure events into disjoint nonempty 2 sets corresponding to di erent failure types f = f1 [ f2 [ fj : 2) Let f denote this partition. For the motivation of such a partition, the reader is referred to [1, 16]. Hereafter, when we write a failure of type F i has occurred, we will mean that some event of the set f i has occurred. 2.2 Notation The empty trace is denoted by . Let s denote the pre x closure of any trace s 2 . We de ne jjsjj to be the length of trace s. Whenever we say that there ....

[Article contains additional citation context not shown here]

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Contr. Syst. Tech., 4(2):105-124, March 1996.

....in a diagnosable system is identi ed. Checking whether a given system sensor combination results in a diagnosable system is often time and memory consuming and may require a signi cant computational e ort. This is the case for the failure diagnosis methodology for discrete event systems studied in [1, 2, 3, 4] which was the original motivation for this work. Therefore, it is important to determine a sequence of tests that minimizes the computational e ort required to determine a least (sensor) costly system sensor combination that is diagnosable. Related sensor selection problems for discrete event ....

....A2 may not always be true. Assumption A3 is reasonable under the stipulation that all sensors have comparable information gathering ability with regard to failures in F . Finally, Assumption A4 is true in several instances. For example, it holds when the test for diagnosability employed in [1, 2, 3, 4] is used. 3 Solution 3.1 Preliminaries We can visualize Problem P as a decision problem on a network as follows. The nodes of the network are elements of 2 , the power set of . Thus, each node represents a combination of sensors. Two nodes A and B are connected by a link if and only if ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, \Failure diagnosis using discreteevent models," IEEE Trans. Contr. Syst. Tech., vol. 4, no. 2, pp. 105-124, March 1996.

....if within a finite delay, the occurrence of any failure can be detected using the history of observable events (we refer the reader to [1] for the formal definition) The diagnoser is a deterministic FSM built from the system model G. This machine is at the core of the diagnostic methodology of [1, 7, 8]. It is used to analyze the diagnosability properties of G and to perform diagnostic when it observes, on line, the behavior of the system. We define first the set of failure labels Delta f = fF 1 ; F 2 ; F j g where j Pi f j = j, and the complete set of possible labels, Delta = fNg [ 2 ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Contr. Syst. Tech., 4(2):105--124, March 1996.

....if within a finite delay, the occurrence of any failure can be detected using the history of observable events (we refer the reader to [1] for the formal definition) The diagnoser is a deterministic FSM built from the system model G. This machine is at the core of the diagnostic methodology of [1, 7, 8]. It is used to analyze the diagnosability properties of G and to perform diagnostic when it observes on line the behavior of the system. We define first the set of failure labels Delta f = fF 1 ; F 2 ; F j g where j Pi f j = j, and the complete set of possible labels Delta = fNg [ 2 ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Contr. Syst. Tech., 4(2):105--124, March 1996.

....event system (DES) approaches, model based reasoning and expert systems methods, have been proposed to approach this problem. For a brief description of these methods and additional references, the interested reader is referred to [2] and the introduction of [1] and the references therein. In [1, 3, 4], the authors propose a language based approach for failure diagnosis of DES. In their framework, a language is said to be diagnosable with respect to a set of observable events and a failure partition if within a finite delay, the occurrence of any failure can be detected using the history of ....

....finite state machine (FSM) The diagnoser, another deterministic FSM built from the system model, is at the core of the diagnostic methodology: it is used to analyze the diagnosability properties off line, and to perform diagnostic when it observes on line the behavior of the system. The work in [1, 3, 4] and almost all of the failure diagnosis approaches in the literature have been developed for systems where the information used for fault diagnosis is centralized. A notable exception is [5] where the authors present a distributed fault monitoring method, time templates. Time templates ....

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discreteevent models. IEEE Trans. Contr. Syst. Tech., 4(2):105--124, March 1996.

....may be one of the following: commands issued by the controller, sensor readings occurring after the execution of those above commands, and changes in sensor readings. The unobservable events may be failure events or other events that cause changes in the system state not recorded by sensors (see [15, 16]) Let Sigma f Sigma denote the set of failure events which are to be diagnosed. We assume, without loss of generality, that Sigma f Sigma uo , since an observable failure event can be trivially diagnosed. Our objective is to identify the occurrence, if any, of the failure events, given ....

.... Sigma o are observed. In this regard, we partition the set of failure events into disjoint sets corresponding to different failure types Sigma f = Sigma f1 [ Sigma f2 [ Sigma fj : 2) Let Pi f denote this partition. For the motivation of such a partition, the reader is referred to [1, 16]. Hereafter, when we write a failure of type F i has occurred, we will mean that some event of the set Sigma f i has occurred. 2.2 Notation The empty trace is denoted by ffl. Let s denote the prefix closure of any trace s 2 Sigma . We denote by L=s the post language of L after s, i.e. L=s ....

[Article contains additional citation context not shown here]

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Contr. Syst. Tech., 4(2):105--124, March 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis, `Failure diagnosis using discrete-event models', IEEE Transactions on Control Systems Technology , 4(2), 105--124, (1996).

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, `Failure diagnosis using discrete event models', IEEE Transactions on Control Systems Technology, 4(2), 105--124, (1996).

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, `Failure diagnosis using discrete-event models', IEEE Trans. Control Systems Technology, 4(2), 105--124, 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discreteevent models. IEEE Trans. Control Systems Technology, 4(2):105--124, 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, `Failure diagnosis using discrete event models', IEEE Transactions on Control Systems Technology, 4(2), 105--124, (1996).

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, 4(2):105--123, 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Control System Technology, 4(2):105--124, 1996.

No context found.

M. Sampath, S. Singupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. Control Systems Technology, 4:105-- 124, 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. Technical report, Department of Electrical Engineerig and Computer Science, The University of Michigan, Ann Arbor, USA, May 1994.

No context found.

M. Sampaath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control System Technology, 4#2#:105#124, March 1996.

No context found.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC