DES Controller Synthesis and Fault Tolerant Control A Survey of Recent Advances

This report surveys recent advances in computer aided synthesis of controllers for discrete event systems. The report aims at providing an overview of the most successful symbolic synthesis approaches developed within the area of supervisory control. In addition, it describes approaches to fault tolerant control developed within control theory, diagnosis, and planning.

[1]  T. S. Perraju,et al.  Specifying fault tolerance in mission critical systems , 1996, Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).

[2]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[3]  Jong-Tae Lim,et al.  Synthesis of fault-tolerant supervisor for automated manufacturing systems: a case study on photolithographic process , 1998, IEEE Trans. Robotics Autom..

[4]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

[5]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[6]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[7]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[8]  Bengt Lennartson,et al.  Efficient application of symbolic tools for resource booking problems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[9]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[10]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[11]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[12]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[13]  Mark Abramson,et al.  Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.

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

[15]  Paolo Traverso,et al.  Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains , 1998, AAAI/IAAI.

[16]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[17]  Marco Roveri,et al.  Conformant Planning via Symbolic Model Checking , 2000, J. Artif. Intell. Res..

[18]  Edmund M. Clarke,et al.  Symbolic Model Checking with Partitioned Transistion Relations , 1991, VLSI.

[19]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[20]  Herbert Wehlan,et al.  Systematic Design Of A Protective Controller In Process Industries By Means Of The Boolean Different , 1996 .

[21]  Alan S. Willsky,et al.  Output stabilizability of discrete-event dynamic systems , 1991 .

[22]  Manuela M. Veloso,et al.  OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains , 2000, J. Artif. Intell. Res..

[23]  Brian C. Williams,et al.  A Reactive Model-based Programming Language for Robotic Space Explorers , 2001 .

[24]  M. Veloso,et al.  OBDD-Based Optimistic and Strong Cyclic Adversarial Planning , 2014 .

[25]  Peter Jeffrey Godwin Ramadge,et al.  Control and supervision of discrete event processes , 1983 .

[26]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[27]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[28]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[29]  W. M. Wonham,et al.  STCT: An Efficient Algorithm for Supervisory Control Design , 2002 .

[30]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[31]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[32]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[33]  Howard Wong-Toi,et al.  Symbolic Synthesis of Supervisory Controllers , 1992, 1992 American Control Conference.

[34]  Fausto Giunchiglia,et al.  Planning via Model Checking: A Decision Procedure for AR , 1997, ECP.

[35]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[36]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[37]  Enrico Tronci.  Automatic synthesis of controllers from formal specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[38]  Wang Yi,et al.  A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.

[39]  Alan J. Hu,et al.  Techniques for efficient formal verification using binary decision diagrams , 1995 .

[40]  Randal E. Bryant,et al.  Efficient implementation of a BDD package , 1991, DAC '90.

[41]  Mario Dal Cin,et al.  Verifying fault-tolerant behavior of state machines , 1997, Proceedings 1997 High-Assurance Engineering Workshop.

[42]  Bruce H. Krogh,et al.  Formal verification of PLC programs , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[43]  Reid G. Simmons,et al.  Real-Time Search in Non-Deterministic Domains , 1995, IJCAI.

[44]  Kwang-Hyun Cho,et al.  A Study on Stability Analysis of Discrete Event Dynamic Systems , 1997 .

[45]  A. Michel,et al.  Lyapunov Stability of a Class of Discrete Event Systems , 1991 .

[46]  Jong-Tae Lim,et al.  Multiagent supervisory control for antifault propagation in serial production systems , 2001, IEEE Trans. Ind. Electron..

[47]  Angelika Mader,et al.  Model checking embedded system designs , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[48]  Blai Bonet,et al.  Planning as Heuristic Search: New Results , 1999, ECP.

[49]  Paolo Traverso,et al.  Strong Planning in Non-Deterministic Domains Via Model Checking , 1998, AIPS.

[50]  W. M. Wonham,et al.  Decentralized fault diagnosis for discrete-event systems , 2000 .

[51]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[52]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[53]  Manuela M. Veloso,et al.  SetA*: an efficient BDD-based heuristic search algorithm , 2002, AAAI/IAAI.

[54]  E. Gat.  Integrating Planning and Reacting Architecture for Controlling , 1999 .

[55]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[56]  Jong-Tae Lim,et al.  Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell , 1999, IEEE Trans. Robotics Autom..