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 Thursday November 12, 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
 
ThMT1  Regular Session, Virtual Room A Add to My Program 
Petri Nets  
 
Chair: Lopez-Mellado, ErnestoCINVESTAV-IPN
Co-Chair: Toguyeni, ArmandCentrale Lille
 
08:00-08:20, Paper ThMT1.1 Add to My Program
A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems

Li, LiangXidian University
Basile, FrancescoUniversita' Degli Studi Di Salerno
Li, ZhiwuXidian University
 
08:20-08:40, Paper ThMT1.2 Add to My Program
S3PMR Deadlock Control with Partial Controllability and Observability

Cazenave, PaulEcole Centrale Lille/CRIStAL
Toguyeni, ArmandCentrale Lille
Khlif Bouassida, ManelCentrale Lille
 
08:40-09:00, Paper ThMT1.3 Add to My Program
Event-Driven Control for Reaching a Steady State in Controlled Generalized Batches Petri Nets

Liu, RuotianAix-Marseille University
Ammour, RabahAix-Marseille University
Brenner, LeonardoAix-Marseille University
Demongodin, IsabelAix-Marseille University
 
09:00-09:20, Paper ThMT1.4 Add to My Program
Modeling of Safe Time Petri Nets by Interval Weighted Automata

Komenda, JanAcademy of Sciences of Czech Republic
Lai, AiwenUniversity of Angers
Lahaye, SébastienUniversité D'Angers
Boimond, Jean-LouisUniversity of ANGERS
Godoy, Jose DamianInstitute of Mathematics, Czech Academy of Sciences
 
09:20-09:40, Paper ThMT1.5 Add to My Program
Counting Finite Transition Sequences of Block Structured Workflow Nets

Lopez-Mellado, ErnestoCINVESTAV-IPN
Moran-Soltero, XitlaliCINVESTAV Unidad Guadalajara
 
09:40-10:00, Paper ThMT1.6 Add to My Program
Identifying Petri Nets with Silent Transitions by Event Traces Classification

Alvarez-Perez, YolandaCINEVSTAV Unidad Guadalajara
Lopez-Mellado, ErnestoCINVESTAV-IPN
 
ThMT2  Invited Session, Virtual Room B Add to My Program 
Discrete-Event Control Synthesis and Verification for Smart Manufacturing
Systems
 
 
Chair: Masopust, TomasCzech Academy of Sciences and Palacky University in Olomouc
Co-Chair: de Queiroz, Max HeringUniversidade Federal De Santa Catarina
Organizer: Tilbury, Dawn M.Univ of Michigan
Organizer: Lennartson, BengtChalmers University of Technology
Organizer: Su, RongNanyang Technological University
 
08:00-08:20, Paper ThMT2.1 Add to My Program
Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers

Malik, RobiThe University of Waikato
Teixeira, MarceloFederal University of Technology - Paraná
 
08:20-08:40, Paper ThMT2.2 Add to My Program
An O(n^2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems

Wu, LihuaSouth China Agricultural University
Cai, KaiOsaka City University
Zhang, RenyuanNorthwestern Polytechnical University
Liu, YingyingXidian Univercity
 
08:40-09:00, Paper ThMT2.3 Add to My Program
Supervisory Control of Time-Interval Discrete Event Systems (I)

Brandin, Bertil A.Advanced Remanufacturing and Technology Center (ARTC) of A*STAR
Su, RongNanyang Technological University
Lin, LiyongNanyang Technological University
 
09:00-09:20, Paper ThMT2.4 Add to My Program
Guard Extraction for Modeling and Control of a Collaborative Assembly Station (I)

Dahl, MartinChalmers University of Technology
Bengtsson, KristoferSekvensa AB
Fabian, MartinChalmers University of Technology
Falkman, PetterAutomation Research Group
 
09:20-09:40, Paper ThMT2.5 Add to My Program
Synthesis and Implementation of Supervisory Control for Manufacturing Systems under Processing Uncertainties and Time Constraints (I)

Szpak, RodrigoInstituto Federal De Santa Catarina
de Queiroz, Max HeringUniversidade Federal De Santa Catarina
Cury, Jose E. R.Univ. Fed. S. Catarina
 
09:40-10:00, Paper ThMT2.6 Add to My Program
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems: The General Case (I)

Reveliotis, Spyros A.Georgia Institute of Technology
Masopust, TomasCzech Academy of Sciences
 
ThBMPl  Home Break, Virtual Lounge Add to My Program 
Home Break ThA  
 
 
ThPPl  Plenary Session, Virtual Auditorium Add to My Program 
Tracking Control Based on the Newton-Raphson Method: From DEDS to
Continous-Time Systems (Prof. Yorai Wardi)
 
 
Chair: Cong, XuyaSchool of Electro-Mechanical Engineering, Xidian University
 
ThBAPl  Home Break, Virtual Lounge Add to My Program 
Home Break ThB  
 
 
ThAT1  Regular Session, Virtual Room A Add to My Program 
Diagnosis  
 
Chair: Carvalho, Lilian KawakamiUniversidade Federal Do Rio De Janeiro
Co-Chair: Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
 
12:00-12:20, Paper ThAT1.1 Add to My Program
New Predictability Verification Tests for Discrete-Event Systems Modeled by Finite State Automata

Julio Barcelos, RaphaelUFRJ
Basilio, Joao CarlosFederal University of Rio De Janeiro
 
12:20-12:40, Paper ThAT1.2 Add to My Program
K-Loss Robust Diagnosability of Discrete-Event Systems

Oliveira, ViniciusFederal University of Rio De Janeiro
Cabral, Felipe GomesUniversidade Federal De Santa Catarina
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
 
12:40-13:00, Paper ThAT1.3 Add to My Program
Is LTL Model-Checking Effective for Diagnosability Verification?

Monteiro Tuxi, ThiagoIME(Instituto Militar De Engenharia)
Carvalho, Lilian KawakamiUniversidade Federal Do Rio De Janeiro
Nunes, Eduardo Vieira LeaoCOPPE - Federal Univ. of Rio De Janeiro
Carrilho da Cunha, Antonio EduardoInstituto Militar De Engenharia
 
13:00-13:20, Paper ThAT1.4 Add to My Program
On Verification of Strong Periodic D-Detectability for Discrete Event Systems

Balun, JiříPalacký University in Olomouc
Masopust, TomasCzech Academy of Sciences and Palacky University in Olomouc
 
13:20-13:40, Paper ThAT1.5 Add to My Program
How to Use Model Checking for Diagnosing Fault Patterns in Petri Nets

Bakalara, JohanneLAAS-CNRS
Pencolé, YannickLAAS-CNRS, Université De Toulouse, CNRS
Subias, AudineLAAS-CNRS, INSA, University of Toulouse, France
 
13:40-14:00, Paper ThAT1.6 Add to My Program
A Hierarchical Approach for Discrete-Event Model Identification Incorporating Expert Knowledge

de Souza, Ryan Pitanga CletoFederal University of Rio De Janeiro
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
Lesage, Jean-JacquesENS De Cachan
 
14:00-14:20, Paper ThAT1.7 Add to My Program
A Proposal for an Active Diagnoser for Safe Fault-Tolerant Control of Discrete Event Systems

Grando Moreira, BenjaminUDESC
Leal, André BittencourtSanta Catarina State University – UDESC
 
ThAT2  Regular Session, Virtual Room B Add to My Program 
Supervisory Control  
 
Chair: Komenda, JanAcademy of Sciences of Czech Republic
Co-Chair: Carrilho da Cunha, Antonio EduardoInstituto Militar De Engenharia
 
12:00-12:20, Paper ThAT2.1 Add to My Program
Efficient Validation of Supervisory Controllers Using Symmetry Reduction

Moormann, LarsUniversity of Technology Eindhoven
Goorden, Martijn AngeloEindhoven University of Technology
van de Mortel-Fronczak, JoannaEindhoven University of Technology
Fokkink, WanVrije Universiteit Amsterdam
Maessen, Patrick JeremyDutch Ministry of Infrastructure
Rooda, J.E.Eindhoven Univ of Technology
 
12:20-12:40, Paper ThAT2.2 Add to My Program
Active Learning of Modular Plant Models

Farooqui, Ashfaq HussainChalmers University of Technology
Hagebring, FredrikChalmers University of Technology
Fabian, MartinChalmers University of Technology
 
12:40-13:00, Paper ThAT2.3 Add to My Program
Conditions for Hierarchical Supervisory Control under Partial Observation

Komenda, JanAcademy of Sciences of Czech Republic
Masopust, TomasCzech Academy of Sciences and Palacky University in Olomouc
 
13:00-13:20, Paper ThAT2.4 Add to My Program
Transformational Supervisor Synthesis for Evolving Systems

Thuijsman, SanderEindhoven University of Technology
Reniers, MichelTU/e
 
13:20-13:40, Paper ThAT2.5 Add to My Program
Moving Target Defense Based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks

Meira-Góes, RômuloUniversity of Michigan
Lafortune, StephaneUniv. of Michigan
 
13:40-14:00, Paper ThAT2.6 Add to My Program
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning

Hagebring, FredrikChalmers University of Technology
Farooqui, Ashfaq HussainChalmers University of Technology
Fabian, MartinChalmers University of Technology
 
14:00-14:20, Paper ThAT2.7 Add to My Program
Case Study of Hierarchical Interface-Based Supervisory Control for a Mechatronic Platform

Cohen Calixto, IgorInstituto Militar De Engenharia
Carrilho da Cunha, Antonio EduardoInstituto Militar De Engenharia

 
 

 
 

 

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