CDC2000 Discrete Event Systems

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	New Results on Decentralized Supervisory Control of Discrete-Event Systems Authors: Tae-Sic Yoo, Stéphane Lafortune, Volume: 1, Page 1 Paper number 1321 Abstract: We present new results on decentralized supervisory control of discrete-event systems. We generalize the control architecture by allowing combinations of ``fusion by intersection'' and ``fusion by union'' for the control actions issued by the individual (local) supervisors. The algebraic properties of co-observability in the context of this general architecture are presented. We show that appropriate combinations of fusion rules with corresponding decoupled local decision rules guarantee the safety of the closed-loop behavior with respect to a given specification that is not co-observable. We characterize an ``optimal'' combination of fusion rules among those combinations guaranteeing the safety of the closed-loop behavior. In addition, a simple supervisor synthesis technique generating the infimal prefix-closed controllable and co-observable superlanguage is presented. CD001321.PDF (From Author) TOP On-Line Decentralized Supervisory Control Of Discrete Event Systems Authors: Shigemasa Takai, Toshimitsu Ushio, Volume: 1, Page 7 Paper number 9030 Abstract: In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. In addition, we present lower bounds of the languages generated by the closed loop systems. CD009030.PDF (From Author) TOP Distributed Knowledge For Communication In Decentralized Discrete-Event Systems Authors: S. Laurie Ricker, Karen Rudie, Volume: 1, Page 9 Paper number 1414 Abstract: An extension to a formal model for reasoning about knowledge and communication in discrete-event systems is presented. The model is based on a modal logic where propositions describe the knowledge that agents in the system possess. Decentralized discrete-event control problems, where agents must communicate in order to effect control, are examined. Previously the identification of a state where agents should communicate was expressed solely in terms of properties of a formal language. The updated knowledge model presented here yields equivalent propositional logic expressions so that agents can determine where to communicate based on their "knowledge" of the system. The key relevant logic proposition corresponds to a check on whether a group of agents, if they pooled their knowledge, would possess sufficient information about the legality of a given event sequence. The new formulation is applied to a previously-solved example. CD001414.PDF (From Author) TOP Modular Synthesis Of Efficient Schedules In A Timed Discrete Event Plant Authors: Rene K. Boel, Francisco J. Montoya, Volume: 1, Page 16 Paper number 2046 Abstract: This paper treats optimal scheduling in large timed discrete event systems as a supervisory control problem. Scheduling tasks in a steel plant is treated as a realistically sized case study. A sequence of tasks must be completed as soon as possible, while satisfying all the constraints in the model. These different constraints are specified via different components in a modular plant representation. Components can be represented as timed Petri nets, leading to a graph of interacting modules. The acyclic nature of the graph consisting of the most critical components is exploited in order to find a heuristic but fast way of searching through the very large set of feasible orderings. CD002046.PDF (From Author) TOP Effective Control Synthesis For Discrete Event Systems Under Partial Observations Authors: Mohamed Hichem Lamouchi, John G. Thistle, Volume: 1, Page 22 Paper number 1748 Abstract: A procedure is given for the effective solution of an infinite-string supervisory control problem under partial observations, for the case where the plant and specification languages are represented by finite (omega)-automata (automata on infinite strings), and the observation mask by a finite Moore automaton. This solves an (omega)-language version of the standard centralized supervisory control problem under partial observations. It is shown that a natural extension to decentralized control is undecidable, even if the plant, the specification languages and the masks are represented by finite automata. This undecidability result carries over to the finite-string case. CD001748.PDF (From Author) TOP On the Relationship Between Finite State Machine and Causal Network Representations for Discrete Event System Modeling: Initial Results Authors: Gregory Provan, Yi-Liang Chen, Volume: 1, Page 29 Paper number 2120 Abstract: This paper shows the relationship between two discrete event system representations, finite state machines and causal networks. Finite state machine models have been used extensively for the supervisory control of logical (and timed, with some extension) discrete event systems. On the other hand, Causal Networks have been applied mainly to the diagnosis of discrete event systems. Recent advances in finite-state-machine-based diagnosis and causal-network-based control have prompted an interest in understanding the relationship between these two representations. We describe initial findings concerning the mappings between these two representations for modeling synchronous system components, and discuss the implications of their relationships. We demonstrate the relationship using an example of a factory conveyor system. CD002120.PDF (From Author) TOP Supervisory Control For Rectangular Hybrid Automata Authors: Michael P. Spathopoulos, Volume: 1, Page 35 Paper number 1684 Abstract: We consider the problem of supervisory control for compact rectangular automata with uniform rectangular activity i.e. initialised. The supervisory controller is state feedback and can disable only discrete-event transitions in order to solve the non-blocking forbidden state problem. The non-blocking problem is defined under both strong and weak conditions.For the latter maximally permissive solutions that are computable on a finite quotient space characterised by language equivalence are derived. CD001684.PDF (From Author) TOP