Discrete Event Systems

Virtual Talk Series 2023

VIRTUAL TALK SERIES 2023

The IEEE CSS TC DES is organizing a Virtual Talk Series on Discrete Event Systems throughout 2023. In order to access past talks, you will need to register on the page below under "Registration."

Date & Time:

The talks take place virtually via Zoom on the 3rd Thursday of each month in 2023 (March, July, August, December) at 13:00 UTC (Paris 14:00, New York City 8:00, Beijing 21:00). Please see the detailed schedule below.

Particularly, in January and February the VTS will feature a Virtual Workshop on Control Software Synthesis for CPS happening Wednesdays, January 18th 2023 and February 15th 2023 at 1pm UTC.


Registration:

Registration is free. For security reasons we require pre-registration. Participants will receive log-in details to the virtual zoom meeting after registration.

register now!

 


Schedule:

 

January 18 | 13:00 UTC

IEEE CSS TC DES Virtual Workshop on Control Software Synthesis for CPS (Part 1)

Talk 1: Compositional synthesis using the least-violating control framework
Presenter: Antoine Girard (L2S – CentraleSupélec, France)
Talk 2: Unified Bisimulation for Compositional Verification, Synthesis and Time Optimization.
Presenter: Bengt Lennartson (Chalmers University of Technology, Sweden)
Talk 3: Compositional verification and synthesis of interconnected control systems Presenter: Majid Zamani (University of Colorado, Boulder, United States)

For more information about the speakers and the talks please visit the workshop website: https://css-workshop-23.mpi-sws.org/talks/

Antoine Girard

CNRS, Centrale Supelec
France

Bengt Lennartson

Chalmers University of Technology
Sweden

Majid Zamani

University of Colorado, Boulder
United States
February 15 | 13:00 UTC

IEEE CSS TC DES Virtual Workshop on Control Software Synthesis for CPS (Part 2)

Talk 1: Probabilistic Hyperproperties of Markov Decision Processes: Information-Flow Properties and Beyond
Presenter: Rayna Dimitrova (CISPA Helmholtz Center for Information Security, Germany)
Talk 2: A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
Presenter: Xiang Yin (Shanghai Jiao Tong University, China)

For more information about the speakers and the talks please visit the workshop website: https://css-workshop-23.mpi-sws.org/talks/

Rayna Dimitrova

CISPA Helmholtz Center for Information Security
Germany

Xiang Yin

Shanghai Jiao Tong University
China
March 2023

Spring Break

No Event Scheduled

 
April 20 | 13:00 UTC

PhD Students Forum

Talk 1: Synthesis of Decentralised Supervisory Control via Contract Negotiation
Presenter: Ana Mainhardt (Max Planck Institute for Software Systems, Germany)
Abstract: In this talk, I will present a method for the synthesis of local supervisors for decentralised discrete event systems where subsystems may have different controllability settings for their shared events, and where the privacy of the local nonshared events plays a vital role. Our approach is based on the negotiation of contracts represented solely over these shared events and describing an agreement between the subsystems, such that they cooperate in disabling events in order to guarantee their local specifications are satisfied. We establish further conditions to ensure correct cooperation and global nonblockingness, which are locally checked and, if necessary, enforced. This way, both during synthesis and execution, the dynamics of a subsystem are only partially observed by others through the events they actually share, without the communication of exclusively local events or the use of a coordinator for their supervisors. We identify the cases where maximal permissiveness can be achieved by our approach; otherwise, it is sacrificed in order to protect privacy.


Talk 2: Max-plus algebra for scheduling and control of manufacturing systems with time-window constraints 
Presenter: Davide Zorzenon (Technische Universität Berlin, Germany)
Abstract: Time-window constraints show up in several industrial settings. Two examples are the baking and printed circuit boards industries, where both insufficient and excessive durations of some processes (e.g., yeast fermentation in the former case, metal deposition in the latter) can irreparably damage the final product. The presence of temporal upper-bound constraints makes the scheduling task in these systems particularly challenging as, counterintuitively, machines may be required to work at reduced pace to avoid constraint violations. The aim of this presentation is to discuss the application of max-plus algebraic methods for (open-loop) scheduling and (closed-loop) control of manufacturing systems with time-window constraints. I will first focus on the computation of two important performance indices: makespan and throughput. In the max-plus algebra, these quantities admit closed-form expressions, resulting in algorithms of lower computational complexity compared to standard techniques based on linear programming or graph theory. In the second part of the talk, I will address the following question: how to control the system such that no temporal constraint violations occur, despite the presence of unforeseeable delays? 

Ana Mainhardt

Max Planck Institute for Software Systems
Germany

Davide Zorzenon

Technische Universität Berlin
Germany
May 18 | 13:00 UTC

Infinite-state DES with Partial Observation: Modelling, Analysis and Control

Abstract: TBD
 

Sophie Pinchinat

University of Rennes
France
June 15 | 13:00 UTC

Set-membership State Estimation of Max-plus Linear Systems by Using Tropical Polyhedral

Abstract:

Max-plus algebra is suitable to model dynamical discrete event systems. The occurrence date of events is chosen as the state of the system. The state estimation consists in computing the occurrence date of internal events (hidden states) thanks to output measurements and previous states knowledge. The system is assumed to be uncertain, more precisely, its parameters are supposed to be random values belonging to an interval. The talk will compare the different ways to estimate the system state in this uncertain context by considering set-membership approach which can be based on interval analysis, difference bound matrices or max-plus polyhedra. It will be organized as follows : First, linear max-plus systems will be presented and the synthesis of an observer (inspired by the Luenberger observer) allowing an online estimation to be given, then its performance will be analyzed. Then, the scheme of a state filtering approach based on a prediction step and a correction step (inspired by Bayes filtering) will be introduced. Interval analysis will first be considered to implement this filtering, we will show that the set of states obtained contains the real states in a guaranteed way. It is obtained with polynomial complexity, but provides an over approximation of the states set. The difference bound matrices will be then introduced and used to obtain the reachable set (in which the prediction belongs) and the estimated set. This estimated set is the exact set in the sense that all the reachable set under the measurement constraints is depicted, but this filter is with an exponential complexity. The max-plus polyehdra is last considered, it will lead also to the exact set of possible states. It reduces the complexity especially in the prediction step. The tropical polyhedra library (TPL) will be used to implement this filter. The talk will conclude by providing examples to illustrate the results.

Laurent Hardouin

University of Angers
France
July 2023

IFAC 2023

No Event Scheduled

 
August 2023

Summer Break

No Event Scheduled

 
September 14 | 13:00 UTC

TBD

Anca Muscholl

Université Bordeaux
France
October 19 | 13:00 UTC

TBD

Cristian Mahulea

University of Zaragoza
Spain
November 16 | 13:00 UTC

TBD

Tomas Masopust

Palacky University in Olomouc
Czechia
December 2023

CDC 2023

No Event Scheduled