Control of Parameterized Discrete Event Systems

This paper investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. This study is motivated by a weakness in current synthesis methods that do not scale well to huge systems. For systems consisting of similar processes under total or partial observation, conditions are given to deduce properties of a system of n processes (arbitrary size) from properties of a system of n0 processes (bounded size), with n ≥ n0. Furthermore, it is shown how to infer a control policy for the former from the latter’s, while taking into account interconnections between processes.

[1]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[2]  Raoguang Song,et al.  Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[4]  Walter Murray Wonham,et al.  Efficient implementation of fairness in discrete-event systems using queues , 2005, IEEE Transactions on Automatic Control.

[5]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[7]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[8]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[9]  Shigemasa Takai,et al.  M -controllable subpredicates arising in state feed back control of discrete event systems , 1997 .

[10]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

[11]  Yong Li,et al.  Control of Vector Discrete-Event Systems , 1993 .

[12]  J.E.R. Cury,et al.  Testing Modularity of Local Supervisors: An Approach Based on Abstractions , 2006, 2006 8th International Workshop on Discrete Event Systems.

[13]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

[14]  Bruno Buchberger,et al.  Computer Aided Systems Theory — EUROCAST 2001 , 2001, Lecture Notes in Computer Science.

[15]  Amir Pnueli,et al.  Automatic Deductive Verification with Invisible Invariants , 2001, TACAS.

[16]  Richard St.-Denis.  Designing reactive systems: integration of abstraction techniques into a synthesis procedure , 2002, J. Syst. Softw..

[17]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[18]  Stéphane Lafortune,et al.  Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines , 1998, Discret. Event Dyn. Syst..

[19]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[20]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[21]  Shigemasa Takai,et al.  Static-state feedback control of discrete-event systems under partial observation , 1995, IEEE Trans. Autom. Control..

[22]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[23]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[24]  Rolf Drechsler,et al.  Binary decision diagrams in theory and practice , 2001, International Journal on Software Tools for Technology Transfer.

[25]  Marc Frappier,et al.  Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[26]  Jules Desharnais,et al.  Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation , 2005, CDC 2005.

[27]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[28]  Fred B. Schneider,et al.  A Logical Approach to Discrete Math , 1993, Texts and Monographs in Computer Science.

[29]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.

[30]  René Boel,et al.  Discrete event systems : analysis and control , 2000 .

[31]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[32]  B. Gaudin,et al.  Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models , 2006, 2006 8th International Workshop on Discrete Event Systems.

[33]  Michel Barbeau,et al.  Synthesis of Controllers of Processes Modeled as Colored Petri Nets , 1999, Discret. Event Dyn. Syst..

[34]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[35]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[36]  Sylvie Thiébaux,et al.  Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress) , 2006, MoChArt@CONCUR/SPIN.

[37]  Paul C. Attie,et al.  Synthesis of concurrent systems with many similar processes , 1998, TOPL.

[38]  Shigemasa Takai,et al.  Characterization of all M-controllable subpredicates of a given predicate , 1998 .

[39]  Michel Barbeau,et al.  An Efficient Algorithm for Controller Synthesis under Full Observation , 1997, J. Algorithms.

[40]  José Eduardo Ribeiro Cury,et al.  Exploiting symmetry in the synthesis of supervisors for discrete event systems , 2001, IEEE Trans. Autom. Control..

[41]  Nejib Ben Hadj-Alouane,et al.  Variable lookahead supervisory control with state information , 1994 .

[42]  Vijay K. Garg,et al.  Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..

[43]  J.G. Thistle,et al.  Analysis of Arbitrarily Large Networks of Discrete-Event Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[44]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[45]  Vineet Kahlon,et al.  Reducing Model Checking of the Many to the Few , 2000, CADE.

[46]  A. Prasad Sistla,et al.  Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach , 1997, TOPL.

[47]  J. H. Schuppen,et al.  Modular Supervisory Control with General Indecomposable Specification Languages , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[48]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[49]  Moshe Kam,et al.  Online supervisor synthesis for partially observed discrete-event systems , 1998 .

[50]  Feng Lin,et al.  On-line control of partially observed discrete event systems , 1994, Discret. Event Dyn. Syst..

[51]  Marc Frappier,et al.  Towards a Computer-Aided Design of Reactive Systems , 2001, EUROCAST.

[52]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.