CDC2000 Discrete Event Systems / Petri Nets

Discrete Event Systems / Petri Nets
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 a Minimally Restrictive Supervisory Policy that Enforces Liveness in Partially Controlled Free Choice Petri Nets Authors: Ramavarapu S. Sreenivas, Volume: 1, Page 2651 Paper number 1711 Abstract: A Petri Net (PN) is said to be live if it is possible to fire any transition from every reachable marking, although not necessarily immediately. Under appropriate conditions, a non-live PN can be made live via supervision. Under this paradigm an external-agent, the supervisor, prevents the firing of certain transitions at each reachable marking so as to enforce liveness. A PN is partially controlled if the supervisor can prevent the firing of only a subset of transitions. A Free Choice Petri net (FCPN) is a PN where every arc from a place to a transition is either the unique output arc from that place, or, it is the unique input arc to the transition. In this paper we show for each partially controlled FCPN that can be made live via supervision, any marking that is reachable under a policy that enforces liveness should cover (with respect to the standard partial ordering of vectors) a member of a specific, finite set of minimal-markings. Assuming this set is readily available, this observation is used to (i) test the existence, and (ii) to synthesize a minimally restrictive supervisory policy that enforces liveness in a partially controllable FCPN. We suggest investigations into the computation of this specific, finite set of minimal markings as a future research topic. CD001711.PDF (From Author) TOP On the Transformation of Maximally Permissive Marking-Based Liveness Enforcing Supervisors into Monitor Supervisors Authors: Kevin X. He, Michael D. Lemmon, Volume: 1, Page 2657 Paper number 1795 Abstract: A marking-based Petri net supervisor restricts a Petri net's behavior by disabling controllable transitions. Monitors are control places that enforce generalized mutual exclusion constraints. A long standing question concerns the relationship between marking-based supervisors and monitors. There are necessary and sufficient conditions for the existence of maximally permissive marking based supervisors enforcing liveness, but associated monitor solutions may not be maximally permissive. This paper proves that for a bounded Petri net, a maximally permissive liveness enforcing marking based supervisor can always be transformed into a monitor supervisor. Specific conditions are identified that characterize when the resulting monitor supervisor will or will not be maximally permissive. Several examples are used to illustrate these results. CD001795.PDF (From Author) TOP A Polynomial-Complexity Deadlock Avoidance Policy for Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings Authors: Jonghun Park, Spyros A. Reveliotis, Volume: 1, Page 2663 Paper number 1772 Abstract: The need for effective and efficient deadlock avoidance policies (DAP's) is ever increasing due to the higher demand for system automation. This paper considers the deadlock avoidance problem for the class of Conjunctive/Disjunctive (sequential) resource allocation systems (C/D-RAS), in which multiple resource acquisitions and flexible routings are allowed. A new siphon-based characterization of deadlocks arising in C/D-RAS is developed, and subsequently, this characterization facilitates the development of a polynomial complexity deadlock avoidance policy for the considered RAS class. The developed policy can be perceived as a generalization of RUN DAP, originally developed for sequential RAS with unit resource allocations and no routing flexibility. The proposed approach is demonstrated by an example. CD001772.PDF (From Author) TOP Firing Speeds Estimation For Continuous Petri Nets Authors: Dimitri Lefebvre, Volume: 1, Page 2670 Paper number 1042 Abstract: Production frequencies provide useful information for analysis and faults diagnosis of manufacturing systems. However, such frequencies are not always measurable. In this case they can be estimated from the observation of other variables. This work deals with the production frequencies estimation for systems that are modelled by continuous Petri nets. The buffers contents are measured on-line and the production frequencies estimation results from the inversion of the Petri net model. The exact and approximated solutions of the estimation problem are described. Accuracy of the estimation is related to the measurement error and to the Petri net structure. When the estimation provides several solutions, results are proposed to complete the Petri net such that a unique solution is obtained. CD001042.PDF (From Author) TOP Observability Properties of Petri Nets Authors: Alessandro Giua, Carla Seatzu, Volume: 1, Page 2676 Paper number 2180 Abstract: In this paper we discuss the problem of estimating the marking of a Place/Transition net based on event observation. We assume that the net structure is known while the initial marking is unknown. We define several observability properties and show how they can be proved. In particular we set up a hierarchy considering the possibility that the above properties are satisfied by a net N starting from an initial marking M_0, by a net N starting from any initial marking M reachable from an initial marking M_0, or by a net N starting from any marking in N^m, where m is the number of places of the net. CD002180.PDF (From Author) TOP Inhibitor Arc Based State Avoidance Controller for Non-Convex Forbidden State Problems in Petri Nets Authors: Young Cheol Cho, Wook Hyun Kwon, Volume: 1, Page 2682 Paper number 1911 Abstract: A state avoidance controller with inhibitor arcs called ``IA-controller" is proposed for non-convex forbidden state problems in Petri nets. The forbidden condition is transformed into non-convex marking constraints in controlled PNs. Simple formulas for IA-controllers are developed to avoid the non-convex marking condition. By extending enabling rule of controllable transitions, the IA-controller can realize OR-logics, which is impossible in ordinary PN structure-type controllers. The significance of IA-controller is that the controller can be easily implemented in the plant model. In addition, IA-controllers are synthesized in a modular way in order to solve multiple forbidden conditions. CD001911.PDF (From Author) TOP