RW30-CDC2017

From Lafortune Wiki
RW30-CDC2017
Jump to: navigation, search
(Goals)
(Control Systems Magazine Article)
 
(11 intermediate revisions by 2 users not shown)
Line 14: Line 14:
 
* [https://users.ics.aalto.fi/stavros/index.shtml Stavros Tripakis] (Aalto University, Finland)
 
* [https://users.ics.aalto.fi/stavros/index.shtml Stavros Tripakis] (Aalto University, Finland)
  
===List of Speakers===
+
===List of Speakers (and their slides)===
  
# [http://ee.princeton.edu/people/faculty/peter-j-ramadge Peter Ramadge] (Princeton University, USA)
+
# Stéphane Lafortune, on behalf of the organizers -- Slides:  [[Media:Lafortune-Rudie-Tripakis.pdf]]
# [http://sites.bu.edu/hyness/calin/ Calin Belta] (Boston University, USA)
+
# [http://ee.princeton.edu/people/faculty/peter-j-ramadge Peter Ramadge] (Princeton University, USA) -- Slides:  Not yet available
# [https://sites.google.com/site/kaikai627/ Kai Cai] (Osaka City University, Japan)
+
# [http://sites.bu.edu/hyness/calin/ Calin Belta] (Boston University, USA) -- Slides:  [[Media:Belta.pdf]]
# [https://tc.ifac-control.org/1/3/members/jose-eduardo-ribeiro-cury José Cury] (Federal University of Santa Catarina, Brazil)
+
# [https://sites.google.com/site/kaikai627/ Kai Cai] (Osaka City University, Japan) -- Slides:  [[Media:Cai.pdf]]
# [http://www.chalmers.se/en/staff/Pages/martin-fabian.aspx Martin Fabian] (Chalmers University, Sweden)
+
# [https://tc.ifac-control.org/1/3/members/jose-eduardo-ribeiro-cury José Cury] (Federal University of Santa Catarina, Brazil) -- Slides:  [[Media:Cury.pdf]]
# [http://www.diee.unica.it/giua/ Alessandro Giua] (University of Cagliari, Italy)
+
# [http://www.chalmers.se/en/staff/Pages/martin-fabian.aspx Martin Fabian] (Chalmers University, Sweden) -- Slides:  [[Media:Fabian.pdf]]
# [http://people.rennes.inria.fr/Herve.Marchand/ Hervé Marchand] (INRIA, France)
+
# [http://www.diee.unica.it/giua/ Alessandro Giua] (University of Cagliari, Italy) -- Slides:  [[Media:Giua.pdf]]
# [http://www.cds.caltech.edu/~murray/wiki/Main_Page Richard Murray] (Caltech, USA)
+
# [http://people.rennes.inria.fr/Herve.Marchand/ Hervé Marchand] (INRIA, France) -- Slides:  [[Media:Marchand.pdf]]
# [http://web.eecs.umich.edu/~necmiye/ Necmiye Ozay] (University of Michigan, USA)
+
# [http://www.cds.caltech.edu/~murray/wiki/Main_Page Richard Murray] (Caltech, USA) -- Slides:  [[Media:Murray.pdf]]
# [http://www.georgejpappas.org/ George Pappas] (University of Pennsylvania, USA)
+
# [http://web.eecs.umich.edu/~necmiye/ Necmiye Ozay] (University of Michigan, USA) -- Slides:  [[Media:Ozay.pdf]]
# [https://people.eecs.berkeley.edu/~sseshia Sanjit Seshia] (University of California at Berkeley, USA)
+
# [http://www.georgejpappas.org/ George Pappas] (University of Pennsylvania, USA) -- Slides:  [[Media:Pappas.pdf]]
 +
# [https://people.eecs.berkeley.edu/~sseshia Sanjit Seshia] (University of California at Berkeley, USA) -- Slides:  [[Media:Seshia.pdf]]
 +
# [http://www.control.toronto.edu/~wonham/wonham.html  W. Murray Wonham] (University of Toronto, Canada) -- Slides (presented by Kai Cai):  [[Media:Wonham.pdf]]
  
 
===Schedule===
 
===Schedule===
Line 53: Line 55:
 
===Introduction and Motivation===
 
===Introduction and Motivation===
  
2017 marks the 30-year anniversary of the publication of the two seminal papers of Ramadge and Wonham on supervisory control of discrete event systems, in the January and May issues of the ''SIAM Journal on Control and Optimization'' (SICOPT) in 1987:
+
2017 marked the 30-year anniversary of the publication of the two seminal papers of Ramadge and Wonham on supervisory control of discrete event systems, in the January and May issues of the ''SIAM Journal on Control and Optimization'' (SICOPT) in 1987:
  
 
* [RW1] P.J. Ramadge and W.M. Wonham, "Supervisory Control of a Class of Discrete Event Processes", ''SIAM J. Control Optim.'', 25(1), 206-230.
 
* [RW1] P.J. Ramadge and W.M. Wonham, "Supervisory Control of a Class of Discrete Event Processes", ''SIAM J. Control Optim.'', 25(1), 206-230.
Line 81: Line 83:
 
At the same time, it gave our community an opportunity to reflect on seminal papers published 30 years ago that defined a new sub-discipline in control science and engineering.
 
At the same time, it gave our community an opportunity to reflect on seminal papers published 30 years ago that defined a new sub-discipline in control science and engineering.
  
===Intended Audience===
+
===Audience===
  
The speakers will give talks that will be accessible to a wide audience of CDC attendees.
+
The speakers gave talks that were accessible to a wide audience.
The objective will be to combine the ''retrospective'' theme with the ''future perspectives'' theme, in presentations that will have tutorial value.
+
The objective was to combine the ''retrospective'' theme with the ''future perspectives'' theme, in presentations that have tutorial value.
Given the emergence of cyber-physical systems as an important area of research and given that there are typically multiple CDC sessions on discrete event systems, formal methods in control, and hybrid systems, we expect that a large number of CDC attendees, in particular students, will be interested in this workshop.
+
Given the emergence of cyber-physical systems as an important area of research and given that there are typically multiple CDC sessions on discrete event systems, formal methods in control, and hybrid systems, a large number of CDC attendees, in particular students, were interested in this workshop.
  
 
===Registration===
 
===Registration===
  
Please register for this workshop via the link at the [http://cdc2017.ieeecss.org/registration.php Registration] page on the [http://cdc2017.ieeecss.org/index.php CDC 2017] website.
+
Registration for this workshop was done via the link at the [http://cdc2017.ieeecss.org/registration.php Registration] page on the [http://cdc2017.ieeecss.org/index.php CDC 2017] website.
  
''We look forward to seeing you in Melbourne!
+
===Photos===
''
+
<gallery>
 +
File:Group.jpg|From left to right: Kai Cai, HervŽé Marchand, Sanjit Seshia, Peter Ramadge, StŽéphane Lafortune, George Pappas, Richard Murray, JosŽé Cury, Calin Belta, Necmiye Ozay, Martin Fabian, Alessandro Giua
 +
File:Belta.jpg|Calin Belta
 +
File:Cai-Wonham.jpg|Kai Cai presenting Murray Wonham's slides
 +
File:Cai.jpg|Kai Cai
 +
File:Cury.jpg|JosŽé Cury
 +
File:Fabian.jpg|Martin Fabian
 +
File:Giua.jpg|Alessandro Giua
 +
File:Marchand.jpg|HervŽé Marchand
 +
File:Murray.jpg|Richard Murray
 +
File:Ozay.jpg|Necmiye Ozay
 +
File:Pappas.jpg|George Pappas
 +
File:Ramadge-1.jpg|Peter Ramadge
 +
File:Ramadge-2.jpg|Peter Ramadge
 +
File:Seshia.jpg|Sanjit Seshia
 +
</gallery>
 +
Credits for photos: Yiding Ji, anonymous
 +
 
 +
 
 +
===IEEE Control Systems Article===
 +
 
 +
Link to IEEE Control Systems [https://ieeexplore.ieee.org/document/8412338/ conference report] on this workshop.
 +
 
 +
===Acknowledgements===
 +
 
 +
''We thank all the workshop participants for making this a memorable event!''

Latest revision as of 13:19, July 24, 2018

30 years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives

Full-Day Workshop at the 56th IEEE Conference on Decision and Control (CDC), on Monday December 11, 2017

Contents

This workshop took place on December 11, 2017, and was a great success. This wiki is being maintained as a public archive of this event.

Organizers

List of Speakers (and their slides)

  1. Stéphane Lafortune, on behalf of the organizers -- Slides: Media:Lafortune-Rudie-Tripakis.pdf
  2. Peter Ramadge (Princeton University, USA) -- Slides: Not yet available
  3. Calin Belta (Boston University, USA) -- Slides: Media:Belta.pdf
  4. Kai Cai (Osaka City University, Japan) -- Slides: Media:Cai.pdf
  5. José Cury (Federal University of Santa Catarina, Brazil) -- Slides: Media:Cury.pdf
  6. Martin Fabian (Chalmers University, Sweden) -- Slides: Media:Fabian.pdf
  7. Alessandro Giua (University of Cagliari, Italy) -- Slides: Media:Giua.pdf
  8. Hervé Marchand (INRIA, France) -- Slides: Media:Marchand.pdf
  9. Richard Murray (Caltech, USA) -- Slides: Media:Murray.pdf
  10. Necmiye Ozay (University of Michigan, USA) -- Slides: Media:Ozay.pdf
  11. George Pappas (University of Pennsylvania, USA) -- Slides: Media:Pappas.pdf
  12. Sanjit Seshia (University of California at Berkeley, USA) -- Slides: Media:Seshia.pdf
  13. W. Murray Wonham (University of Toronto, Canada) -- Slides (presented by Kai Cai): Media:Wonham.pdf

Schedule

Workshop Location: University of Melbourne Law School, Level 6, Room 608, Law Building, 185 Pelham St, Carlton VIC 3053

Introduction and Motivation

2017 marked the 30-year anniversary of the publication of the two seminal papers of Ramadge and Wonham on supervisory control of discrete event systems, in the January and May issues of the SIAM Journal on Control and Optimization (SICOPT) in 1987:

These two papers launched the area of supervisory control of discrete event systems within the control engineering community. Their general framework based on regular languages and their finite automata representations provided powerful foundations for the development of this supervisory control theory by a worldwide community of researchers in control engineering, including continued contributions by Ramadge and Wonham with their students and collaborators. Nowadays, supervisory control à la Ramadge-Wonham is a broad theory that covers partially-observed systems, a variety of control architectures that exploit horizontal and vertical modularity, and extensions to timed systems. Indeed, [RW1] has over 3,300 citations according to Google Scholar, with yearly citations in the range of 121-171 since 2003. Supervisory control à la Ramadge-Wonham remains an active area of research, and several real-world applications have recently been demonstrated in domains ranging from electric vehicles in theme parks to patient support systems in MRI scanners, among others.

More recently, the area of formal methods in control has gained prominence in the control community, primarily in the context of cyber-physical systems that are abstracted as discrete transition systems subject to specifications expressed in temporal logic. The terminology "formal methods" comes from the computer science literature and it encompasses a set of mathematically-formal techniques that have been developed for the verification of hardware and software systems, and more recently for the synthesis of systems or programs that interact with their environment, or reactive systems. Reactive synthesis, as this latter problem is called, is fundamentally a problem of feedback control.

The Ramadge-Wonham theory of supervisory control is itself a formal method in control, for the case of specifications that can be expressed as regular languages, the same modeling paradigm as the uncontrolled system. In that sense, it is complementary to works on reactive synthesis that handle certain classes of specifications expressed using various fragments of temporal logics.

Goals

The goal of the workshop was to offer a retrospective of the Ramadge-Wonham theory of supervisory control and to present some of its recent developments and applications. In addition, the workshop connected the Ramadge-Wonham theory with the emerging area of formal methods in control and more generally with the work in reactive synthesis in computer science. To this end, the list of speakers comprised researchers associated primarily with the area of supervisory control of discrete event systems and researchers associated primarily with the area of formal methods in control.

This workshop was very timely given the emergence of autonomous systems, especially in the context of cyber-physical systems, where stringent requirements of correctness and safety are placed on the higher-level supervisory control layer. At the same time, it gave our community an opportunity to reflect on seminal papers published 30 years ago that defined a new sub-discipline in control science and engineering.

Audience

The speakers gave talks that were accessible to a wide audience. The objective was to combine the retrospective theme with the future perspectives theme, in presentations that have tutorial value. Given the emergence of cyber-physical systems as an important area of research and given that there are typically multiple CDC sessions on discrete event systems, formal methods in control, and hybrid systems, a large number of CDC attendees, in particular students, were interested in this workshop.

Registration

Registration for this workshop was done via the link at the Registration page on the CDC 2017 website.

Photos

Credits for photos: Yiding Ji, anonymous


IEEE Control Systems Article

Link to IEEE Control Systems conference report on this workshop.

Acknowledgements

We thank all the workshop participants for making this a memorable event!

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools