User Tools

Site Tools


wonham:supervisory_control_news

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
wonham:supervisory_control_news [Thursday, 04 November 2010 : 19:52:01]
noe.campos
wonham:supervisory_control_news [Thursday, 04 November 2010 : 20:11:15] (current)
noe.campos
Line 1: Line 1:
 +====== 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 [[h.w.a.m.v.rooy@tue.nl|me]].)
 +
 +
 +
 +
 +===== Proceedings =====
 +[[\\wtbfiler\Systems Engineering\Appl\Wodes2008\README.html|WODES '08]] - 9th International Workshop on Discrete Event Systems (LIMITED ACCESS ONLY!)
 +
 +
 +[[\\wtbfiler\Systems Engineering\POOL\SYSID09\SYSID09.pdf|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, [[http://​www.eecs.umich.edu/​~stephane/​book.html|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: {{:​wonham:​xptct121.zip|tct}} {{:​wonham:​xpttct20080701.zip|ttct}} - Linux version: {{:​wonham:​ltct_20060701.tgz|ltct}}
 +  * Ma/​Wonham'​s **sts** tool: {{wonham:​sts.tgz|Windows/​Linux experimental version}}
 +  * Wong/​Wonham'​s **observer** tool: {{wonham:​observer.zip|Windows program to compute observers}}
 +  * [[http://​www.supremica.org|Supremica]],​ a Java implementation of a tool for Wonham'​s theory. ​
 +  * [[tools|Visualisation]] tools for state spaces
 +  * [[tools|svctools]] Python tools available for working with state machines
 +  * A simple [[#​example]] of how to use the python tools
 +  * [[http://​www.eecs.umich.edu/​umdes/​toolboxes.html|DESUMA]] Graphical front end for the UMDES library developed at the University of Michigan.
 +  * [[http://​www.ece.queensu.ca/​hpages/​labs/​discrete/​software.html|IDES]] Tool for drawing automata, limited support for supervisory control operations. (Queen'​s University in Kingston, Ontario)
 +  * [[http://​www.s2.chalmers.se/​software/​desco/​|DESCO]] an automaton/​Petri net editor with some limited DES algorithms. Preceder of (and integrated with) Supremica. (Chalmers University of Technology)
 +  * [[http://​www.rt.eei.uni-erlangen.de/​FGdes/​faudes/​index.php|libfaudes]] LGPL, C++ library for manupulation of automata including RW control (Friedrich-Alexander University, Erlangen-Nürnberg)
 +  * [[http://​www.gdl.cinvestav.mx/​sspc/​html/​intro_1_eng.htm|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)
 +  * [[http://​www.engr.uky.edu/​~kumar/​|UKDES]] Discrete Event Systems Software
 +
 +  * [[http://​altarica.labri.fr/​Tools/​synthesis/​|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)
 +
 +  * [[http://​en.wikipedia.org/​wiki/​List_of_state_machine_CAD_tools]]
 +
 +  * [[http://​www.mcternan.me.uk/​mscgen/​|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 ====
 +  * [[State Tree Structure Simulator]] (Frank Zeelen)
 +  * [[gantt.py]] - a Python script for drawing Gantt charts with Gnuplot (Michiel Stoets)
 +  * [[ProcessDotFilesV12]] - a Python script for translating the output of the STS tool (BDD'​s) to fsm-files (can be used in Diagraphica)
 +
 +
 +
 +===== Useful links =====
 +  * [[http://​www.control.utoronto.ca/​people/​profs/​wonham/​wonham.html|W.M.Wonham'​s Homepage]]
 +  * [[http://​www.supremica.org/​|Supremica]] website
 +  * [[http://​www.dsi.uniroma1.it/​~tronci/​|Enrico Tronci'​s Homepage]]
wonham/supervisory_control_news.txt · Last modified: Thursday, 04 November 2010 : 20:11:15 by noe.campos