CDC2000 Estimation and Diagnosis of Discrete Event Systems

Estimation and Diagnosis of Discrete Event Systems
Home Full List of Titles 1: Proceedings of CDC2000 Discrete Event Systems Control in Communication Systems Optimal Control and Applications I Optimisation Approaches and Methods Model Predictive Control Advances in Linear Estimation Stochastic and Uncertain Systems Nonlinear Control and Applications Nonlinear Estimation and Filtering Formation Control and its Applications New Approaches to Fuzzy Control Manufacturing Systems Automotive Applications Stability Issues in Hybrid Control Recent Advances in Stochastic Networks Optimal Control and Applications II Robust Controller Design - mu, L1 and H2 Constrained and Receding Horizon Control Identification and Control around the World Markov Decision Processes Nonlinear Optimisation Observers for Nonlinear Systems Motion Planning Neural / Fuzzy Stability and Control Motor Control Control of Quantum Phenomena I Hybrid Systems Methods Control in Communication Networks Robustness and Optimisation Bumpless Transfer, Antiwindup and Saturation Adaptive Control: Linear Systems Estimation and Closed Loop Identification Control of Markov Processes Nonlinear Filtering and Control Modelling, Identification and Validation of Nonlinear Systems Differential Geometric Control Theory for Mechanical Systems Nonlinear Output Feedback Control Pneumatics and Compression Systems Control of Quantum Phenomena II Stability of Hybrid Systems Performance Analysis in Communication Networks Adaptive Control of Nonlinear Systems LMI Methods in Design Robust Control of Time Delay Systems Subspace Identification Methods Nonlinear Stochastic Filtering and Estimation Bifurcations, Chaos and Control I New Progress in Synthesis of Nonlinear Systems I Implementation Issues of Sliding Mode Control Theory Control of Mixing in Shear Flows Novel Neural Network Control Techniques for Industrial Motion Control Systems Physiological Control Systems Optimal Control of Hybrid Systems Stochastic Models for Communication Networks Control and Stabilisation of Nonlinear Systems New Directions in Robust Control Linear Systems Theory Advanced Topics in Systems Theory Estimation in Action Bifurcations, Chaos and Control II New Progress in Synthesis of Nonlinear Systems II Numerical Design and Analysis Techniques for Nonlinear Systems Analysis and Control of Underactuated Systems Sliding Mode Control I Challenges in the Application of Control to Computer Systems Estimation and Diagnosis of Discrete Event Systems Communications and Games Optimal Control Stochastic Systems Model Reduction Methodologies Identification and Subspace Methods Applications of Nonlinear Adaptive Control Advances in Nonlinear Output Feedback Design The Behavioural Approach to Systems and Control Vision Based Estimation and Control: Recent Advances and Open Problems Agile Control of Military Operations Sliding Mode Control II Model-based Fault Diagnosis of Industrial Processes Discrete Event Systems / Petri Nets System Identification and Confidence Estimation New Approaches to H-Infinity Control I Probabilistic Approaches to Robust Control Time Delay System Stabilisation Identification Methods Controlled Stochastic Processes Output Feedback of Nonlinear Systems Topics in Nonlinear Stabilisation Mobile Robots: Tracking Control Robust Control of Nonlinear Systems Power Systems Stabilisation and Control Disk Drive Control Hybrid Control Applications Discrete Time Systems New Approaches to H-Infinity Control II Linear Systems with Saturating Actuators New Theories in Distributed Parameter Systems Applications of Estimation and Identification Stochastic Control and Tuning Methodologies Control of Nonlinear Systems Iterative Learning and Control Coordinating Robot Systems Nonlinear Time Varying Systems Novel Applications of Neural Networks Aerospace Applications Switched Systems Implicit and Descriptor Systems LQG Periodic Systems and Disturbances New Horizons for Distributed Parameter Systems State Estimation Learning and Neuro-Control Nonlinear Control and Stabilisation I Tracking Vision Servoing Controllability of Nonlinear Systems Control of Flexible Systems Electro-Mechanical Systems Robust Control Methods and Applications Fault Detection and Diagnosis Optimisation and Applications Robust Stability Analysis Numerical Methods in Control Filtering in Continuous Time Stochastic Systems Interplay between Control and Signal Processing Fault Detection and Analysis Nonlinear Dynamical Systems Nonlinear Time Delay Systems Computational Issues in Nonlinear Control Disturbance Rejection Process Control Industry Applications Linear Parameter Varying Systems Linear Control Systems Dynamic and Nonlinear Programming Model Reduction Applications New Techniques for Control and Systems: Numerical Linear Algebra Estimation and Identification using Hidden Markov Models Applications of Stochastic Control Topics in Linear Design Nonlinear Control and Stabilisation II Ambulatory Robot Systems Chaotic and Oscillatory Systems Biomedical System Control Integrated Control and CPU Scheduling Linear Design Techniques Adaptive Disturbance / Noise Compensation Nonlinear Model Predictive Control Sensitivity Design, Analysis and Limitations Analysis of Linear Systems Linear Matrix Inequalities in Design Lyapunov's 2nd Method Robotics: Tracking Control Lagrangian and Hamiltonian Theory Variable Structure Control Machine Vision Signal Processing Methods in Control Applied Nonlinear Control Author Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z	On The Construction Of Modular Observers And Diagnosers For Discrete-Event Systems Authors: S. Laurie Ricker, Eric Fabre, Volume: 1, Page 2240 Paper number 1884 Abstract: A modular approach for designing observers and diagnosers for detecting faults in large distributed systems is presented. In particular, the model is based on a discrete-event system framework. The model assumes that the system is composed of distributed components that interact with each other via sets of common resources. Modularity can be achieved by imposing a total ordering on access to the common resources. Further, a component's own access to a common resource is an observable event. It is then possible to partition component behavior such that an observer of the component's behavior need not be aware of all the behavior of other components that use the same resources. Procedures for the design of such observers and the subsequent construction of diagnosers are given. CD001884.PDF (From Author) TOP On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems Authors: Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis, Volume: 1, Page 2245 Paper number 1319 Abstract: We study the effect of communication delays on the performance of a coordinated decentralized architecture for failure diagnosis of untimed discrete event systems. The architecture consists of local sites communicating with a coordinator that is responsible for diagnosing the failures occurring in the system. A protocol that realizes the architecture is defined by the diagnostic information generated at the local sites, the communication rules used by the local sites, and the decision rule used by the coordinator to infer the occurrence of failures. In Debouk et al. (Journal of Discrete Event Dynamical Systems: Theory and Applications, Mar. 2000), we have addressed the performance of a set of protocols under the assumption that messages sent from various local sites to the coordinator are received in the order in which they are sent globally. In this work we relax the abovementioned assumption. We modify the coordinator's decision rule for one of the protocols analyzed in Debouk et al. to account for the reception of out of order messages at the coordinator's site. We discover conditions on the system structure under which the modified protocol performs as well as the centralized diagnostic scheme proposed in Sampath et al. (IEEE Trans. on Automatic Control, Sep. 1995). CD001319.PDF (From Author) TOP Distributed State Reconstruction for Discrete Event Systems Authors: Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith, Volume: 1, Page 2252 Paper number 1625 Abstract: We consider a discrete event dynamic system (DEDS) obtained by the parallel composition of several subsystems, each one being a standard stochastic DEDS. The composed system is provided with true concurrency semantics that emphasize concurrent behaviors of the components. For these semantics, a trajectory appears as a partial order of events. We assume that transition firings in each component produce visible events that are collected by a local sensor. The objective is to recover the most likely global trajectory of the system given the local sequences of observations. This problem looks like standard hidden state estimation, amenable to the classical Viterbi algorithm. We propose a solution in which this global trajectory is built recursively by asynchronous agents, one per component. These agents run local Viterbi algorithms based on local states of the components plus some coordination information. Such a supervising architecture is particularly well adapted to large modular systems and is currently being applied to the distributed monitoring (and fault diagnosis) of telecommunication networks. CD001625.PDF (From Author) TOP On the Separation of Estimation and Control in Discrete-Event Systems Authors: George Barrett, Stéphane Lafortune, Volume: 1, Page 2258 Paper number 2122 Abstract: The discussion of this paper concerns both centralized and decentralized control of logical discrete-event systems. Of interest are the maximal information sets of the centralized or decentralized supervisors and the potential for control and estimation policy independence. We show that there exists a form of a centralized supervisor's maximal information sets that is independent of the supervisor's control policy. We also show that this method of separation is not generally applicable in decentralized settings. These results are consistent with the literature in stochastic control; however, supervisory control potentially presents a more simple framework in which to explore these concepts. CD002122.PDF (From Author) TOP A Petri Net Scheme for DES State Estimation Authors: Israel Rivera-Rangel, Luis Aguirre-Salas, Antonio Ramírez-Treviño, Ernesto López-Mellado, Volume: 1, Page 2260 Paper number 1769 Abstract: This paper presents new results on state estimation of discrete event systems modeled by Interpreted Petri nets. First the concepts of event-detectability and observability are introduced. Then necessary and sufficient conditions for observability of systems described by marked graphs and state machines are presented. Finally, a general scheme for state estimation is proposed. This result is illustrated using an example of a manufacturing system. CD001769.PDF (From Author) TOP Asymptotic Identification of Discrete Event Systems Authors: María Elena Meda-Campaña, Antonio Ramírez-Treviño, Luis Ernesto López-Mellado, Volume: 1, Page 2266 Paper number 1544 Abstract: This work is concerned with the analysis of the on-line identifiability of the Discrete Event Systems (DES) using Interpreted Petri Nets (IPN). A theoretical framework characterizing identifiable systems when only the input and output signals of the system are available is first addressed. Afterwards, based on this framework, an algorithm that progressively builds an IPN model of the system is presented. As a possible application of the problem herein addressed, the on-line identification problem is adapted to address the problem of DES model validation. CD001544.PDF (From Author) TOP