16th IFAC Workshop on
Discrete Event Systems
September 7-9, 2022 - Prague, Czechia
  
16th IFAC Workshop on Discrete Event Systems
September 7-9, 2022, Prague, Czechia

Last updated on August 11, 2022. This conference program is tentative and subject to change

Technical Program for Wednesday September 7, 2022

To show or hide the keywords and abstract (text summary) of a paper (if available), click on the paper title
Open all abstracts   Close all abstracts
 
WePP  Plenary Session, Auditorium Add to My Program 
Plenary I  
 
 
WePP  Home Break, Auditorium Add to My Program 
Plenary II  
 
 
WeCBP  Home Break, Auditorium Add to My Program 
Coffee Break  
 
 
WeAT1  Invited Session, A Add to My Program 
Discrete Event Systems-Based Control of Mobile Agents  
 
 
10:20-10:40, Paper WeAT1.1 Add to My Program
Some Structural Results for the Problem of Min-Time Coverage in Constricted Environments (I)

Kim, Young InGeorgia Tech
Reveliotis, Spyros A.Georgia Institute of Technology
 
10:40-11:00, Paper WeAT1.2 Add to My Program
Optimal Multi-Robot Path Planning for Cyclic Tasks Using Petri Nets (I)

Lv, PengShanghai Jiao Tong Uni
Luo, GuangqingShanghai Jiao Tong Uni
Yin, XiangShanghai Jiao Tong University
Ma, ZiyueXidian University
Li, ShaoyuanShanghai Jiao Tong Univ
 
11:00-11:20, Paper WeAT1.3 Add to My Program
Efficient Safe Control Via Deep Reinforcement Learning and Supervisory Control -- Case Study on Multi-Robot Warehouse Automation (I)

Konishi, MasahiroOsaka Metropolitan University
Sasaki, TomotakeFujitsu Limited
Cai, KaiOsaka Metropolitan University
 
11:20-11:40, Paper WeAT1.4 Add to My Program
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems (I)

Roselli, Sabino FrancescoChalmers University of Technology
Vader, RemcoEindhoven University of Technology
Fabian, MartinChalmers University of Technology
Akesson, KnutChalmers Univ of Technology
 
11:40-12:00, Paper WeAT1.5 Add to My Program
Fault Tolerance Makespan Synthesis in Multi-Process Systems Via Resource Sharing and Backtracking (I)

Chen, GangSouth China University of Technology
Lu, YuNanjing University of Science and Technolog
Su, RongNanyang Technological University
 
WeAT2  Regular Session, B Add to My Program 
Security I  
 
 
10:20-10:40, Paper WeAT2.1 Add to My Program
Sensor and Actuator Attacks in Discrete Event Systems

Zhang, QiXidian University
Seatzu, CarlaUniv. of Cagliari
Li, ZhiwuXidian University
Giua, AlessandroUniversity of Cagliari, Italy
 
10:40-11:00, Paper WeAT2.2 Add to My Program
Observer Design for Labeled Finite Automata with Inputs under Stealthy Actuators Attacks

Ammour, RabahAix-Marseille University
Amari, SaïdIUT De Saint Denis, Paris XIII University (France)
Brenner, LeonardoAix-Marseille University
Demongodin, IsabelAix-Marseille University
Lefebvre, DimitriUniv Le Havre
 
11:00-11:20, Paper WeAT2.3 Add to My Program
Tamper-Tolerant Diagnosability under Bounded or Unbounded Attacks

Yuting, LiMacau University of Science and Technology
Hadjicostis, ChristoforosUniversity of Cyprus
Wu, NaiqiMacau University of Science and Technology
 
11:20-11:40, Paper WeAT2.4 Add to My Program
Event-Based Cryptography for Automation Networks of Cyber-Physical Systems Using the Stream Cipher ChaCha20

Lima, Públio M.Universidade Federal Do Rio De Janeiro
Silva, Carlos K. P.Federal University of Rio De Janeiro
De Farias, Claudio M.Federal University of Rio De Janeiro
Carvalho, Lilian KawakamiUniversidade Federal Do Rio De Janeiro
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
 
11:40-12:00, Paper WeAT2.5 Add to My Program
Detection of Cyber-Attacks in Network Control Planes Using Hidden Markov Model

Desgeorges, LoicUniversité De Lorraine
Georges, Jean-PhilippeUniversity of Lorraine
Divoux, ThierryUniversité De Lorraine - CNRS
 
WeLP  Home Break, Auditorium Add to My Program 
Lunch  
 
 
WeBT1  Regular Session, A Add to My Program 
Applications I  
 
 
14:10-14:30, Paper WeBT1.1 Add to My Program
Parallel Motion Execution and Path Rerouting for a Team of Mobile Robots (I)

Hustiu, SofiaTechnical University Gheorghe Asachi, Iasi
Mahulea, CristianUniversity of Zaragoza
Kloetzer, MariusTechnical University of Iasi
 
14:30-14:50, Paper WeBT1.2 Add to My Program
Supervisory Control of Roadside Units

Verbakel, Jeroen JohannesEindhoven University of Technology
Vos de Wael, Marc Erik WatirezaEindhoven University of Technology
van de Mortel-Fronczak, JoannaEindhoven University of Technology
Fokkink, WanVrije Universiteit Amsterdam
Rooda, J.E.Eindhoven Univ of Technology
 
14:50-15:10, Paper WeBT1.3 Add to My Program
Multi-Level Control for Mobile Robot Systems (I)

Roszkowska, ElzbietaWroclaw University of Science and Technology
Makowski Czerski, PiotrWroclaw University of Science and Technology
Janiec, LukaszWroclaw University of Science and Technology
 
15:10-15:30, Paper WeBT1.4 Add to My Program
Lessons Learned in the Application of Formal Methods to the Design of a Storm Surge Barrier Control System

Goorden, Martijn AngeloAalborg University
van de Mortel-Fronczak, JoannaEindhoven University of Technology
van Eldik, KoenRijkswaterstaat
Fokkink, WanVrije Universiteit Amsterdam
Rooda, J.E.Eindhoven Univ of Technology
 
15:30-15:50, Paper WeBT1.5 Add to My Program
Malicious Origin of Deadlocks in Flexible Manufacturing Systems

Beaudet, AmauryINSA Lyon, Laboratoire Ampère
Zamai, EricInstitut National Des Sciences Appliquées
Escudero, CédricUniv. Grenoble Alpes, CNRS, Grenoble INP Univ. Grenoble Alpes, G
Dumitrescu, EmilINSA De Lyon
 
WeBT2  Regular Session, B Add to My Program 
Security II  
 
 
14:10-14:30, Paper WeBT2.1 Add to My Program
On Verification of Weak and Strong K-Step Opacity for Discrete-Event Systems

Balun, JiříFaculty of Science, Palacky University in Olomouc
Masopust, TomasFaculty of Science, Palacky University in Olomouc
 
14:30-14:50, Paper WeBT2.2 Add to My Program
Mutual Opacity between Multiple Adversaries

Sharpe, CrystalMount Allison University
Ricker, LaurieMount Allison University
Marchand, HerveIRISA/INRIA Rennes
 
14:50-15:10, Paper WeBT2.3 Add to My Program
Attackable Detectability of Partially-Observed Discrete-Event Systems under Sensor Attack

Chen, QinruiXidian Uviversity
Su, RongNanyang Technological University
Li, ZhiwuXidian University
 
15:10-15:30, Paper WeBT2.4 Add to My Program
A Security Testbed for Networked DES Control Systems

Alves, Michel Rodrigo das ChagasFederal University of Minas Gerais
Rudie, KarenQueen's Univ
Pena, Patricia NascimentoUniversidade Federal De Minas Gerais
 
15:30-15:50, Paper WeBT2.5 Add to My Program
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems

Cui, BohanShanghai Jiao Tong Uni
Yin, XiangShanghai Jiao Tong University
Li, ShaoyuanShanghai Jiao Tong Univ
Giua, AlessandroUniversity of Cagliari, Italy
 
WeCT1  Home Break, A Add to My Program 
Journal I  
 
 
WeCT2  Home Break, B Add to My Program 
Journal Session II  
 

 
 

 
 

 

Technical Content © IFAC

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2022 PaperCept, Inc.
Page generated 2022-08-11  08:00:36 PST  Terms of use