User Tools

Site Tools


wonham:supervisory_control_news

Supervisory Control Sharepoint

This page may be regarded as a common reference point for all of you who are doing their (final) assignment or research in the field of supervisory control, be it theoretical or practical. It should be a sharepoint for information like articles, software tools, links to useful information, etc.

BibTex entries are allowed. Just enter them between the <bibtex> and <\bibtex> delimiters.

You are encouraged to contribute to this page. (If you need upload privileges, just email me.)

Proceedings

WODES '08 - 9th International Workshop on Discrete Event Systems (LIMITED ACCESS ONLY!)

SYSID09 - 15th IFAC Symposium on Systems Identification (LIMITED ACCESS ONLY!)

Articles

<bibtex> @ARTICLE{Sko08,

 author = {M.Skoldstam, K.Akesson, and M.Fabian},
 title = {Supervisory Control applied to automata extended with variables - Revisited},
 file = {:wonham:efa_report_r001_2008.pdf},
 address = {Chalmers University of Technology, Goeteborg, Sweden},
 year = 2008

} @ARTICLE{Fen07,

 author = {L. Feng and W.M. Wonham},
 title = {Computational Efficient Supervisor Design: Abstraction and Modularity},
 file = {:wonham:modularity_final.pdf},
 address = {University of Toronto, Toronto, Canada},
 year = 2007

} @ARTICLE{Fen07a,

 author = {L. Feng and W.M. Wonham},
 title = {Supervisory Control Architecture for Discrete-Event Systems},
 file = {:wonham:control_architecture_feng_wonham.pdf},
 address = {University of Toronto, Toronto, Canada},
 year = 2007

} @ARTICLE{Ake04,

 author = {K. Akeson and M. Fabian and H. Flordahl and A. Vahidi},
 title = {Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors},
 file = {:wonham:supremica.pdf},
 address = {Chalmers University of Technology, Sweden},
 year = 2004

} @ARTICLE{Ake07,

 author = {K. Akeson and M. Fabian and H. Flordahl},
 title = {Supremica in a Nutshell - Draft},
 url = {http://www.supremica.org/media/SupremicaNutshell.pdf},
 address = {Chalmers University of Technology, Sweden},
 year = 2007

}

@unpublished{grigorov_hierarchical_,

title = {Hierarchical control of discrete-event systems},
author = {L. Grigorov},
      url = {http://www.cs.queensu.ca/home/grigorov/depth.pdf},
      note = {Queen's University, Kingston, Canada},
      year=2005

}

@ARTICLE{And97,

 author = {H.R. Andersen},
 title = {An Introduction to Binary Decision Diagrams},
 url = {http://www.cs.unb.ca/profs/gdueck/courses/cs4835/bdd97.pdf},
 address = {Technical University of Denmark},
 year = 1997

} @article{SanMac:95b,

       AUTHOR    = {Sanchez, A. and Macchietto, S.},
       TITLE     = {Design of Procedural Controllers for Chemical Processes},
       YEAR      = 1995,
       JOURNAL   = "Computers and Chemical Engineering",
       PAGES     = {S381--S386},
       VOLUME    = 19

} @article{ACSM:96,

       AUTHOR    = {Alsop, N. and Camillocci, L. and Sanchez, A. and Macchietto, S.},
       TITLE     = {Synthesis of Procedural Controllers - Application to a batch plant},
       YEAR      = 1996,
       JOURNAL   = {Computers and Chemical Engineering},
       PAGES     = {S1481--S1486},
       VOLUME    = 20

} @inproceedings{LanSan:97,

       AUTHOR    = {Lano, K. and Sanchez, A.},
       TITLE     = {Design of Reactive Control Systems for Event-Driven Operations},
       BOOKTITLE = {FME´97: Industrial Applications and Strengthened Foundations of Formal Methods. 4th. Intl. Symposium. Graz, Austria. Sept. 15-19},
       JOURNAL   = {Lecture Notes in Computer Sciences},
       VOLUME    = 1313,                
       PAGES     = {142--161},
       YEAR      = 1997, 
       EDITOR    = {J. Fitzgerald and C.B. Jones and  P. Lucas Eds}

} @article{SRAM:98,

       AUTHOR  = {Sanchez, A. and Rotstein, G. and Alsop, N. and Macchietto, S.},
       TITLE   = {Synthesis and implementation of procedural controllers for event—driven operations},
       JOURNAL = {AIChE Journal},
       PAGES   = {1753--1775},
       VOLUME  = 45,
       NUMBER  = 8,
       YEAR    = 1999

} @article{SaDoRa:07,

       AUTHOR  = {Sanchez, A. and Douriet, J. and Ramirez, E.},
       TITLE   = {Synthesis of a Class of Discrete-event Controllers for Large Manufacturing Systems},
       JOURNAL = {IEEE Trans. Systems, Man and Cybernetics. Part C: Applications and Reviews},
       VOLUME  = 37, 
       NUMBER  = 4,
       PAGES   = {662--669},
       YEAR    = 2007

}

@article{SAJHN:10,

  AUTHOR = {Sanchez, A. and Aranda-Bricaire, E. and Jaimes, F. and Hernandez, E. and Nava, A.},
  TITLE = {Synthesis of product-driven coordination controllers for a class of discrete-event manufacturing systems},
  JOURNAL = {Robotics and Computer Aided Manufacturing},
  VOLUME = 26,
  PAGES = {361--369},
  YEAR = 2010

}

@inproceedings{SanMac:93b,

       AUTHOR    = {Sanchez, A. and Macchietto, S.},
       TITLE     = {Synthesis of Operating Procedures using DES Theory},
       YEAR      = 1993,
       PAGES     = {2542--2546},
       BOOKTITLE = {ACC93}

}

@inproceedings{SaRoMa:95,

       AUTHOR    = {Sanchez, A. and Rotstein, G. E. and Macchietto, S.},
       TITLE     = {Synthesis of Procedural Controllers for Batch Chemical Processes},
       BOOKTITLE = {Proc. DYCORD+'95. 4th IFAC Symposium on Dynamics and Control of Chemical Reactors, Distillation Columns and Batch Processes},        
       LOCATION = {Helsingor, Denmark},
       MONTH = {June},
       PAGES     = {415--420},
       YEAR      = 1995

}

@inproceedings{AlSaMa:96,

       AUTHOR  = {Alsop, N. and Sanchez, A.  and Macchietto, S.},
       TITLE   = {Modular procedural control of chemical processes},
       BOOKTITLE = {Preprints  UKACC International Conference in Control 96. 2--5  Sept.},
       LOCATION = {Exeter, U.K.},
       PAGES   = {722--727},
       YEAR    = 1996

}

@inproceedings{MRSM:98,

AUTHOR = {Marikar, M. and Rotstein, G. E. and Sanchez, A. and Macchietto, S.},
TITLE = {Computer Aided Analysis and Synthesis of Procedural Controllers},
LOCATION = {Cagliary, Italy},
YEAR = 1998,
PAGES = {420--425},
BOOKTITLE = {IEE-WODES 98}

}

@inproceedings{SaGoMi:02,

AUTHOR = {Sanchez, A. and Gonzalez, R. E. and Michel, A.},
TITLE = {A Framework for Consistency Analysis of Safety Properties and its Use in The Synthesis of Discrete-event Controllers for Process Systems},
BOOKTITLE = {Proc. European Symposium on Computer Aided Process Engineering-12 (ESCAPE-12). 26-29 May},
YEAR = 2002,
LOCATION = {The Hague, The Netherlands},
PUBLISHER = {Elsevier},
SERIES = {Computer-aided Chemical Engineering}, 
VOLUMEN = 10

}

@inproceedings{SRDG:03,

       AUTHOR    = {Sanchez, A. and Reza, J. and Douriet, J. and Gonzalez, R. E.},
       TITLE     = {A Comparison of Synthesis Tools for Supervisory Controllers},
       BOOKTITLE = {Proc. of European Control Conference},
       MONTH     = {September},
       YEAR      = 2003

}

@inproceedings{SRDG:04,

       AUTHOR    = {Sanchez, A. and Reza, J. and Douriet, J. and Gonzalez, R. E.},
       TITLE     = {Symbolic Synthesis of a Class of Discrete-Event Controllers for Process Systems},
       BOOKTITLE = {Proc. of ESCAPE 14},
       PAGES     = {991--995},
       MONTH     = {May},
       YEAR      = 2004

}

@inproceedings{SZBMR:05,

       AUTHOR    = {Sanchez, A. and Zatarain, O. and Blanco, A. and Morales, A. and Rodriguez, A.},
       TITLE     = {Formal Synthesis of a Class of Discrete-Event Controllers for Large Scale Process Systems. A Case Study},
       BOOKTITLE = {Enpromer},
       MONTH     = {August},
       LOCATION = {Rio de Janeiro, Brazil},
       YEAR      = 2005

}

@inproceedings{SaArHe:06,

AUTHOR = {Sanchez, A. and Aranda-Bricaire, E. and Hernandez, E.},
TITLE = {Design of Coordination Controllers for a Class of Discrete-Event Manufacturing Systems}, 
BOOKTITLE = {Proc. INCOM 2006 12th  IFAC Symposium on Information Control Problems in Manufacturing. 17-19 May},
LOCATION = {St. Etienne, France},
YEAR = 2006

}

@inproceedings{SaLlGo:07,

AUTHOR = {Sanchez, A. and Llamas, L. and Gonzalez, R. E.},
TITLE = {Projection-based Coordination Control of Automated Manufacturing Systems},
BOOKTITLE = {Proc. of  4th International Conference on Electrical and Electronics Engineering (ICEEE 2007), September 5-7},
PAGES = {181--184},
LOCATION = {México D.F.},
YEAR = 2007

}

@inproceedings{LoSaGo:07,

AUTHOR = {Lopez, J. A. and Sanchez, A. and  Gonzalez, R. E.},
TITLE = {A mu-Calculus Approach for the Synthesis of Discrete-Event Supervisors with Safety Specifications},
BOOKTITLE = {Proc. of  4th International Conference on Electrical and Electronics Engineering (ICEEE 2007) September 5-7}, 
PAGES = 173--176,  
YEAR = 2007,
LOCATION = {México D.F.}

}

@inproceedings{HeArSa:10,

AUTHOR = {Hernandez, E. and Aranda-Bricaire, E. and Sanchez, A.}, 
TITLE = {Hands-on Exercise of Supervisory Control for Discrete-Event Manufacturing Systems},
BOOKTITLE = {Proc. XIV Latin-American Congress on Automatic Control},
LOCATION = {Santiago de Chile 24-27 Aug},
YEAR = 2010

}

@book{San:96,

       AUTHOR    = {A. Sanchez},
       TITLE     = {Formal Specification and Synthesis of Procedural Controllers for Process Systems},
       PUBLISHER = {Lecture Notes on Control and Information Sciences},
       VOLUME    =  212,
       EDITORIAL = {Springer--Verlag},
       YEAR      = 1996

}

</bibtex>

Reports

Cassandras and Lafortune, Introduction to Discrete Event Systems

<bibtex> @Book{Won08,

author = 	 {W.M. Wonham},
title = 	 {Supervisory Control of Discrete Event Systems.},
publisher = 	 {Systems Control Group, University of Toronto, Canada},
file =         {:wonham:wonham_scdes2010.pdf},
year = 	 2010

}

@thesis{For10,

author =     {S.T.J. Forschelen},
title =      {Supervisory control of theme park vehicles.},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_forschelen.pdf},
year =       2010

}

@thesis{Thi09,

author =     {P.A.H. Thijs},
title =      {Modular supervisors applied on a Patient Support System.},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_-_peter_thijs.pdf},
year =       2009

}

@thesis{Thi09a,

author =     {P.A.H. Thijs},
title =      {Modular supervisors applied on a Patient Support System - Appendix B.},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_-_peter_thijs_-_appendix_b.pdf},
year =       2009

}

@thesis{Swa08,

author =     {D.K.L.M. Swagemakers},
title =      {Nonblocking supervisory control of the Vertex machine},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_swagemakers.pdf},
year =       2008

}

@thesis{Pee08,

author =     {M. Peeters},
title =      {Performance in Supervisory Control Theory},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:thesis_peeters.pdf},
year =       2008

}

@thesis{Hoe08,

author =     {L.J.E. Hoefnagels},
title =      {Supervisory machine control based on State Tree Structures for the paint factory model},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_s_thesis_-_nard_hoefnagels_420519_.pdf},
year =       2008

}

@thesis{Rob08,

author =     {R.J.Y. Roberts},
title =      {Synthesis of supervisory control based on logic specifications},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_s_thesis_se420525_-_r.j.y._roberts.pdf},
year =       2008

}

@report{Roo07,

author =     {H.W.A.M. van Rooy},
title =      {The Paint Factory Reference Manual.},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:pf_referencemanual.pdf},
year =       2007

}

@thesis{Ham07,

author =     {J. Hamer},
title =      {Model Based Engineering of a Paint Factory with SCT},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_se420492_-_j.hamer.pdf},
year =       2007,

}

@thesis{Tri07,

author =     {J.M.J. Triepels},
title =      {Model Based Engineering of a Paint Factory with UPPAAL},
address =    {Systems Engineering Group, Eindhoven University of Technology},
file =       {:wonham:master_thesis_jeroen_triepels.pdf},
year =       2007

}

</bibtex>

Software tools

(Some of these links are no longer alive, please FIXME )

  • Wonham's tct tool: Windows versions: tct ttct - Linux version: ltct
  • Ma/Wonham's sts tool: Windows/Linux experimental version
  • Wong/Wonham's observer tool: Windows program to compute observers
  • Supremica, a Java implementation of a tool for Wonham's theory.
  • Visualisation tools for state spaces
  • svctools Python tools available for working with state machines
  • A simple example of how to use the python tools
  • DESUMA Graphical front end for the UMDES library developed at the University of Michigan.
  • IDES Tool for drawing automata, limited support for supervisory control operations. (Queen's University in Kingston, Ontario)
  • DESCO an automaton/Petri net editor with some limited DES algorithms. Preceder of (and integrated with) Supremica. (Chalmers University of Technology)
  • libfaudes LGPL, C++ library for manupulation of automata including RW control (Friedrich-Alexander University, Erlangen-Nürnberg)
  • SSPC is an experimental tool for symbolic synthesis of closed-loop behavior of discrete-event systems that can be realized by automata-based controllers (Cinvestav, Mexico)
  • UKDES Discrete Event Systems Software
  • Synthesis is a tool used to synthesize controllers for discrete event systems. Synthesis operates in a wider framework than the one used Ramadge and Wonham. Here we consider infinite behaviors as well as finite ones; moreover, the user can specify some kind of dynamic controllability. (Laboratoire Bordelais de Recherche en Informatique)
  • Mscgen is a small character based (no windows!) program that parses Message Sequence Chart descriptions and produces PNG, EPS or server side image maps (ismaps) as the output.

Software Prototypes

wonham/supervisory_control_news.txt · Last modified: Thursday, 04 November 2010 : 20:11:15 by noe.campos