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." Recordings and slides of past talks available here 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 Email Bengt Lennartson Chalmers University of Technology Sweden Email Website Majid Zamani University of Colorado, Boulder United States Email Website 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 Email Website 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 Email November 16 | 13:00 UTC TBD Tomas Masopust Palacky University in Olomouc Czechia Email December 2023 CDC 2023 No Event Scheduled