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 Friday November 13, 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
 
FrMT1  Invited Session, Virtual Room A Add to My Program 
Resilience of DES (II): About the Impacts of Time in Analysis and Control
of Discrete Event Systems
 
 
Chair: Reniers, MichelTU/e
Co-Chair: Takai, ShigemasaOsaka University
Organizer: Su, RongNanyang Technological University
Organizer: Lin, LiyongNanyang Technological University
Organizer: Reniers, MichelTU/e
 
08:00-08:20, Paper FrMT1.1 Add to My Program
Weak Diagnosability of Discrete Event Systems (I)

Cao, LinTongji University
Shu, ShaolongTongji University
Lin, FengWayne State Univ
Chen, QijunTongji Univ
Liu, ChengjuTongji University
 
08:20-08:40, Paper FrMT1.2 Add to My Program
A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures (I)

Takai, ShigemasaOsaka University
 
08:40-09:00, Paper FrMT1.3 Add to My Program
Critical Observability of Partially Observed Petri Nets (I)

Cong, XuyaSchool of Electro-Mechanical Engineering, Xidian University
Fanti, Maria PiaPolytechnic of Bari
Mangini, Agostino MarcelloPolitecnico Di Bari
Li, ZhiwuXidian University
 
09:00-09:20, Paper FrMT1.4 Add to My Program
Nonblocking Supervisory Control of Timed Automata Using Forcible Events (I)

Rashidinejad, AidaEindhoven University of Technology
van der Graaf, PatrickEindhoven University of Technology
Reniers, MichelTU/e
Fabian, MartinChalmers University of Technology
 
09:20-09:40, Paper FrMT1.5 Add to My Program
On the Equilibrium Sets of Topologically Equal Conflict Timed Continuous Petri Nets

Arzola, CésarUniversidad De Zaragoza
Ramirez-Trevino, AntonioCINVESTAV-IPN
Silva, ManuelUniversidad De Zaragoza
 
09:40-10:00, Paper FrMT1.6 Add to My Program
Real Time Scheduler for Multiprocessor Systems Based on Continuous Control Using Timed Continuous Petri Nets

Rubio Anguiano, Laura ElenaCINVESTAV Guadlajara
Ramirez-Trevino, AntonioCINVESTAV-IPN
Briz, José LuisUniversidad De Zaragoza
Chils Trabanco, AbelUniversidad De Zaragoza
 
FrMT2  Invited Session, Virtual Room B Add to My Program 
Optimal Control and Scheduling of Resource Allocation Systems  
 
Chair: Cassandras, Christos G.Boston Univ
Co-Chair: Yin, XiangShanghai Jiao Tong University
Organizer: Liu, GaiYunXidian University
Organizer: Barkaoui, KamelConservatoire National Des Arts Et Metiers (CNAM)
 
08:00-08:20, Paper FrMT2.1 Add to My Program
Depth-First Search Approach for Language-Based Opacity Verification Using Petri Nets (I)

Saadaoui, IkramMacau University of Science and Technology
Li, ZhiwuXidian University
Wu, NaiqiMacau University of Science and Technology
Khalgui, MohamedMartin Luther University
 
08:20-08:40, Paper FrMT2.2 Add to My Program
Robot Waiting Time Analysis and Its Impact on Wafer Delay Time of Single-Arm Cluster Tools (I)

Xiong, WenqingMacau University of Science and Technology
Qiao, YanMacau University of Science and Technology
Wu, NaiqiMacau University of Science and Technology
Bai, LipingMacau University of Science and Technology
Chen, MingxinJinan Optoelectronics Company, Ltd
Hsieh, PinHuiJinan Optoelectronics Company, Ltd
Yin, LiMacau University of Science and Technology
 
08:40-09:00, Paper FrMT2.3 Add to My Program
Local Mean Payoff Supervisory Control under Partial Observation

Ji, YidingBoston University
Yin, XiangShanghai Jiao Tong University
Xiao, WeiBoston University
 
09:00-09:20, Paper FrMT2.4 Add to My Program
Optimal Control of Timed Event Graphs with Resource Sharing and Output-Reference Update

Schafaschek, GermanoTU Berlin
Moradi, SoraiaTechnische Universität Berlin
Hardouin, LaurentUniversitiy of Angers
Raisch, JoergTechnische Universitaet Berlin
 
09:20-09:40, Paper FrMT2.5 Add to My Program
Formal Analysis of Emergency Department Staffing Based on Stochastic Timed Petri Net Models (I)

Wang, JiacunMonmouth Univ
Wang, JunNanjing University of Science and Technology
Zeng, QintianShandong University of Science and Techonology
Liu, GaiYunXidian University
 
09:40-10:00, Paper FrMT2.6 Add to My Program
Optimization of Ride Sharing Systems Using Event-Driven Receding Horizon Control

Chen, RuiBoston University
Cassandras, Christos G.Boston Univ
 
FrBMPl  Home Break, Virtual Lounge Add to My Program 
Home Break FrA  
 
 
FrPPl  Plenary Session, Virtual Auditorium Add to My Program 
Modeling and Control of Networked Discrete-Event Systems (Prof. Feng Lin)  
 
Chair: Lennartson, BengtChalmers University of Technology
 
FrBAPl  Home Break, Virtual Lounge Add to My Program 
Home Break FrB  
 
 
FrAT1  Regular Session, Virtual Room A Add to My Program 
Applications of Discrete Event Systems (II)  
 
Chair: Fabian, MartinChalmers University of Technology
Co-Chair: Pena, Patricia NascimentoUniversidade Federal De Minas Gerais
 
12:00-12:20, Paper FrAT1.1 Add to My Program
Multiple Objective Functions for Falsification of Cyber-Physical Systems

Ramezani, ZahraChalmers University of Technology
Eddeland, JohanVolvo Car Corporation
Claessen, KoenChalmers University of Technology
Fabian, MartinChalmers University of Technology
Akesson, KnutChalmers Univ of Technology
 
12:20-12:40, Paper FrAT1.2 Add to My Program
Supervisory Control of Distributed Power Generation Systems with Petri Net-Based Customization

Maschio, DierliUniversidade Tecnológica Federal Do Paraná
Mumbelli, JoceleideUniversidade Tecnológica Federal Do Paraná
Bonafin, Ana CarolinaUniversidade Federal De Santa Catarina
Teixeira, MarceloFederal University of Technology - Paraná
 
12:40-13:00, Paper FrAT1.3 Add to My Program
DSM-Based Variable Ordering Heuristic for Reduced Computational Effort of Symbolic Supervisor Synthesis

Lousberg, SamEindhoven University of Technology
Thuijsman, SanderEindhoven University of Technology
Reniers, MichelTU/e
 
13:00-13:20, Paper FrAT1.4 Add to My Program
Quantifying Model Quality for Supervisory Control Synthesis - an Experimental Study

Goorden, Martijn AngeloEindhoven University of Technology
Reniers, MichelTU/e
van de Mortel-Fronczak, JoannaEindhoven University of Technology
 
13:20-13:40, Paper FrAT1.5 Add to My Program
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle

Krook, JonasZenuity
Kianfar, RoozbehChalmers University of Technology
Fabian, MartinChalmers University of Technology
 
13:40-14:00, Paper FrAT1.6 Add to My Program
Reconfiguration of Discrete Event Systems Using Synchronizing Words

Alves, Lucas Vinícius RibeiroUniversidade Federal De Minas Gerais
Pena, Patricia NascimentoUniversidade Federal De Minas Gerais
 
FrAT2  Regular Session, Virtual Room B Add to My Program 
Performance Evaluation and Optimization  
 
Chair: Raisch, JoergTechnische Universitaet Berlin
Co-Chair: Lima Fleck, JuliaPontifical Catholic University of Rio De Janeiro
 
12:00-12:20, Paper FrAT2.1 Add to My Program
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems

Mufid, Muhammad Syifa'ulUniversity of Oxford
Adzkiya, DiekyInstitut Teknologi Sepuluh Nopember
Abate, AlessandroUniversity of Oxford
 
12:20-12:40, Paper FrAT2.2 Add to My Program
From Supervisory Control to PLC Code: A Way to Speed-Up Constructive/Virtual Commissioning of Manufacturing Systems

Basile, FrancescoUniversita' Degli Studi Di Salerno
Ferrara, LuigiUniversità Degli Studi Di Salerno
 
12:40-13:00, Paper FrAT2.3 Add to My Program
Distributed Scheduling of Charging for On-Demand Electric Vehicle Fleets

Bistritz, IlaiStanford
Klein, MosheTel Aviv University
Bambos, NicholasStanford
Maimon, OdedTel Aviv University
Rajagopal, RamStanford University
 
13:00-13:20, Paper FrAT2.4 Add to My Program
A Stochastic Programming Approach for Offshore Flight Scheduling

Bastos, Yan BarbozaPontifícia Universidade Católica Do Rio De Janeiro
Lima Fleck, JuliaPontifical Catholic University of Rio De Janeiro
Martinelli, RafaelPontifícia Universidade Católica Do Rio De Janeiro
 
13:20-13:40, Paper FrAT2.5 Add to My Program
Reinforcement Learning with Temporal Logic Constraints

Lennartson, BengtChalmers University of Technology
Jia, Qing-ShanTsinghua University
 
13:40-14:00, Paper FrAT2.6 Add to My Program
SMT-Based Verification of Temporal Properties for Component-Based Software Systems

Jonk, RubenEindhoven University of Technology
Voeten, JeroenEindhoven University of Technology
Geilen, MarcEindhoven University of Technology
Basten, TwanEindhoven University of Technology
Schiffelers, Ramon R.H.Eindhoven Univ of Technology
 
14:00-14:20, Paper FrAT2.7 Add to My Program
Observer for Weighted Timed Event Graphs

Trunk, JohannesTechnische Universität Berlin
Schafaschek, GermanoTU Berlin
Cottenceau, BertrandUniv of Angers, FRANCE
Hardouin, LaurentUniversitiy of Angers
Raisch, JoergTechnische Universitaet Berlin
 
FrCPl  Plenary Session, Virtual Auditorium Add to My Program 
Closing and Award Ceremony  
 
Chair: Ramirez-Trevino, AntonioCINVESTAV-IPN
Co-Chair: Basilio, Joao CarlosFederal University of Rio De Janeiro

 
 

 
 

 

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