WODES 2020 15th IFAC Workshop on Discrete Event Systems 13-15 May, Rio de Janeiro, Brazil
  
15th IFAC Workshop on Discrete Event Systems
Nov 11-13, 2020, Rio de Janeiro, Brazil

Program at a Glance    Wednesday    Thursday    Friday    Author Index    Keyword Index    My Program  

Last updated on October 28, 2020. This conference program is tentative and subject to change

Technical Program for Wednesday November 11, 2020

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
 
WeMT1  Invited Session, Virtual Room A Add to My Program 
Resilience of DES (I): Cyber Security and Opacity Related Analysis and
Control
 
 
Chair: Su, RongNanyang Technological University
Co-Chair: Giua, AlessandroUniversity of Cagliari, Italy
Organizer: Su, RongNanyang Technological University
Organizer: Lin, LiyongNanyang Technological University
Organizer: Kwong, Raymond H.Univ. of Toronto
 
08:00-08:20, Paper WeMT1.1 Add to My Program
Synthesis of Covert Actuator and Sensor Attackers As Supervisor Synthesis (I)

Lin, LiyongNanyang Technological University
Su, RongNanyang Technological University
 
08:20-08:40, Paper WeMT1.2 Add to My Program
Detection and Prevention of Cyber-Attacks in Networked Control Systems (I)

Li, YikeSouthwest Jiaotong University
Tong, YinSouthwest Jiaotong University
Giua, AlessandroUniversity of Cagliari, Italy
 
08:40-09:00, Paper WeMT1.3 Add to My Program
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets

Zhang, QiXidian University
Seatzu, CarlaUniv. of Cagliari
Li, ZhiwuXidian University
Giua, AlessandroUniversity of Cagliari, Italy
 
09:00-09:20, Paper WeMT1.4 Add to My Program
Revisiting Strong Detectability of Networked Discrete-Event Systems (I)

Zhang, KuizeKTH Royal Institute of Technology
Feng, LeiKTH Royal Institute of Technology
 
09:20-09:40, Paper WeMT1.5 Add to My Program
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction (I)

Mohajerani, SaharChalmers University of Technology
Meira-Góes, RômuloUniversity of Michigan
Lafortune, StephaneUniv. of Michigan
 
09:40-10:00, Paper WeMT1.6 Add to My Program
Mitigation of Classes of Attacks Using a Probabilistic Discrete Event System Framework (I)

Wang, ZeUniversity of Toronto
Meira-Góes, RômuloUniversity of Michigan
Lafortune, StephaneUniv. of Michigan
Kwong, Raymond H.Univ. of Toronto
 
WeMT2  Regular Session, Virtual Room B Add to My Program 
Max-Plus Algebra  
 
Chair: Maia, Carlos AndreyUniversidade Federal De Minas Gerais (UFMG)
Co-Chair: Tao, YuegangHebei University of Technology
 
08:00-08:20, Paper WeMT2.1 Add to My Program
Max-Plus Matrix Method for Correctness Verification of Communication Protocols

Wang, CailuBeijing Institute of Technology
Tao, YuegangHebei University of Technology
Tan, JianguoHandan Institute of Environmental Protection
 
08:20-08:40, Paper WeMT2.2 Add to My Program
Global Robustness with Q-Step Delay for Max-Plus Linear Systems

Yin, YingxuanHebei University of Technology
Tao, YuegangHebei University of Technology
Wang, CailuBeijing Institute of Technology
Tan, JianguoHandan Institute of Environmental Protection
 
08:40-09:00, Paper WeMT2.3 Add to My Program
A Compositional Model for Multi-Rate Max-Plus Linear Systems

Elahi, HosseinEindhoven University of Technology
Geilen, MarcEindhoven University of Technology
Basten, TwanEindhoven University of Technology
 
09:00-09:20, Paper WeMT2.4 Add to My Program
Just-In-Time Balancing of Feedback Assembly Lines Via Constrained-Linear Tropical Model

Guimarães, LuízaUniversidade Federal De Minas Gerais
Maia, Carlos AndreyUniversidade Federal De Minas Gerais (UFMG)
 
09:20-09:40, Paper WeMT2.5 Add to My Program
Framework for Studying Stability of Switching Max-Plus Linear Systems

Gupta, AbhimanyuDelft University of Technology
van den Boom, Ton J. J.Delft Univ. of Tech
van der Woude, JacobDelft University of Technology
De Schutter, BartDelft University of Technology
 
09:40-10:00, Paper WeMT2.6 Add to My Program
Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets

Triska, LukasUniversität Erlangen-Nürnberg
Moor, ThomasFriedrich-Alexander Universität Erlangen-Nürnberg
 
WeOPl  Plenary Session, Virtual Auditorium Add to My Program 
Opening Ceremony  
 
Chair: Ramirez-Trevino, AntonioCINVESTAV-IPN
Co-Chair: Basilio, Joao CarlosFederal University of Rio De Janeiro
 
WePPl  Plenary Session, Virtual Auditorium Add to My Program 
Privacy and Security in Discrete Event Systems (Prof. Christophoros
Hadjicostis)
 
 
Chair: Lafortune, StephaneUniv. of Michigan
 
WeAT1  Invited Session, Virtual Room A Add to My Program 
Applications of Discrete-Event Systems  
 
Chair: Lefebvre, DimitriUniv Le Havre
Co-Chair: Mahulea, CristianUniversity of Zaragoza
Organizer: Cai, KaiOsaka City University
Organizer: Rutten, EricINRIA Rhône Alpes
 
12:00-12:20, Paper WeAT1.1 Add to My Program
Synthesis of Supervisors for a PID-Controlled Industrial Process and Implementation on Foundation Fieldbus (I)

de Oliveira, Rafael GarletInstituto Federal Catarinense
de Queiroz, Max HeringUniversidade Federal De Santa Catarina
Cury, Jose E. R.Univ. Fed. S. Catarina
 
12:20-12:40, Paper WeAT1.2 Add to My Program
Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory (I)

Sarsur, DanielUniversidade Federal De Minas Gerais
Pena, Patricia NascimentoUniversidade Federal De Minas Gerais
Takahashi, Ricardo H. C.Universidade Federal De Minas Gerais (UFMG)
 
12:40-13:00, Paper WeAT1.3 Add to My Program
Probabilistic Verification of Attack Detection Using Logical Observer

Lefebvre, DimitriUniv Le Havre
Seatzu, CarlaUniv. of Cagliari
Hadjicostis, ChristoforosUniversity of Cyprus
Giua, AlessandroUniversity of Cagliari, Italy
 
13:00-13:20, Paper WeAT1.4 Add to My Program
Multi-Robot Path Planning with Boolean Specifications and Collision Avoidance

Mahulea, CristianUniversity of Zaragoza
Kloetzer, MariusTechnical University of Iasi
Lesage, Jean-JacquesENS De Cachan
 
13:20-13:40, Paper WeAT1.5 Add to My Program
A Compositional Approach to Abstraction for Planning Problems

Vilela, JulianaUniversity of Detroit Mercy
Hill, RichardUniversity of Detroit Mercy
 
13:40-14:00, Paper WeAT1.6 Add to My Program
Supervisory Control in Construction Robotics: In the Quest for Scalability and Permissiveness

Rosa, MarceloUniversidade Federal De Santa Catarina
Cury, Jose E. R.Univ. Fed. S. Catarina
Baldissera, FabioUniversidade Federal De Santa Catarina
 
WeAT2  Invited Session, Virtual Room B Add to My Program 
Discrete-Event Modeling and Tools for Decision Support in Smart
Manufacturing Systems
 
 
Chair: Basile, FrancescoUniversita' Degli Studi Di Salerno
Organizer: Tilbury, Dawn M.Univ of Michigan
Organizer: Lennartson, BengtChalmers University of Technology
Organizer: Su, RongNanyang Technological University
 
12:00-12:20, Paper WeAT2.1 Add to My Program
Fault-Tolerant Cooperative Control of Networked Discrete-Event Systems (I)

Zgorzelski, MarkusRuhr-Universität Bochum
Lunze, JanRuhr-Universität Bochum
 
12:20-12:40, Paper WeAT2.2 Add to My Program
Makespan Optimization Using Timed Petri Nets and Mixed Integer Linear Programming Problem (I)

Di Marino, EmilianoUniversità Degli Studi Di Salerno
Su, RongNanyang Technological University
Basile, FrancescoUniversita' Degli Studi Di Salerno
 
12:40-13:00, Paper WeAT2.3 Add to My Program
Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems (I)

Kovalenko, IlyaUniversity of Michigan
Tilbury, Dawn M.Univ of Michigan
Barton, KiraUniversity of Michigan
 
13:00-13:20, Paper WeAT2.4 Add to My Program
Discrete Event System Control in Max-Plus Algebra : Application to Manufacturing Systems

Freitas Oliveira, GabrielUniversity of Angers
Ferreira Cândido, Renato MarkeleUniversidade Estadual De Campinas
Gonçalves, Vinicius MarianoUniversidade Federal De Minas Gerais
Maia, Carlos AndreyUniversidade Federal De Minas Gerais (UFMG)
Cottenceau, BertrandUniv of Angers, FRANCE
Hardouin, LaurentUniversitiy of Angers
 
13:20-13:40, Paper WeAT2.5 Add to My Program
Supervisory Control Synthesis for Safety PLCs

Reijnen, FerdieEindhoven University of Technology
Erens, Toby RyanCentral Information Services, Rijkswaterstaat, Delft, the Nether
van de Mortel-Fronczak, JoannaEindhoven University of Technology
Rooda, J.E.Eindhoven Univ of Technology
 
13:40-14:00, Paper WeAT2.6 Add to My Program
Communication-Free Multi-Agent Coordination in an Unknown Environment

Kulchyk, JeremyQueen's University
Schonewille, BryonyQueen's University
Ean, RichardQueen's University
Rudie, KarenQueen's Univ

 
 

 
 

 

Technical Content © IFAC

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2020 PaperCept, Inc.
Page generated 2020-10-28  00:19:01 PST  Terms of use