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 Thursday September 8, 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
 
ThPPl  Plenary Session, Auditorium Add to My Program 
Plenary III  
 
 
ThCBPl  Home Break, Auditorium Add to My Program 
Coffee Break  
 
 
ThCBPl  Home Break, Auditorium Add to My Program 
Coffee_Break  
 
 
ThAT1  Regular Session, A Add to My Program 
Supervisory Control Theory  
 
 
10:30-10:50, Paper ThAT1.1 Add to My Program
Abstraction Based Supervisory Control for Non-Regular ∗-Languages

Triska, LukasUniversität Erlangen-Nürnberg
Moor, ThomasFriedrich-Alexander Universität Erlangen-Nürnberg
 
10:50-11:10, Paper ThAT1.2 Add to My Program
A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems

Rosa, MarceloUniversidade Federal De Santa Catarina
Cury, Jose E. R.Univ. Fed. S. Catarina
Baldissera, FabioUniversidade Federal De Santa Catarina
 
11:10-11:30, Paper ThAT1.3 Add to My Program
On Synthesizing Tolerable and Permissive Controllers for Labeled Transition Systems

Meira-Góes, RômuloUniversity of Michigan
Kang, EunsukCarnegie Mellon University
Lafortune, StephaneUniv. of Michigan
Tripakis, StavrosNortheastern University
 
11:30-11:50, Paper ThAT1.4 Add to My Program
Assume-Guarantee Synthesis of Decentralised Supervisory Control

Mainhardt, Ana MariaMPI-SWS
Schmuck, Anne-KathrinMax Planck Institute for Software Systems
 
11:50-12:10, Paper ThAT1.5 Add to My Program
Supervisory Control with Absent-State Explanations for Coloured Finite Automata

Reniers, MichelTU/e
Dingemans, CalvinEindhoven University of Technology
 
12:10-12:30, Paper ThAT1.6 Add to My Program
PNBA: A Software for Marking Estimation and Reconfiguration in Petri Nets Using Basis Marking Analysis

Zou, MinqiangXidian University
Tong, YinSouthwest Jiaotong University
Ma, ZiyueXidian University
 
ThAT2  Invited Session, B Add to My Program 
(Max, +)-Algebra  
 
 
10:30-10:50, Paper ThAT2.1 Add to My Program
Optimal Output Feedback Control of Timed Event Graphs Including Disturbances in a Resource Sharing Environment (I)

Goltz, PhilippTechnische Universität Berlin
Schafaschek, GermanoTU Berlin
Hardouin, LaurentUniversitiy of Angers
Raisch, JoergTechnische Universitaet Berlin
 
10:50-11:10, Paper ThAT2.2 Add to My Program
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks (I)

Zorzenon, DavideTechnical University Berlin
Komenda, JanAcademy of Sciences of Czech Republic
Raisch, JoergTechnische Universitaet Berlin
 
11:10-11:30, Paper ThAT2.3 Add to My Program
A Novel Approach to the Modeling and Control of Timed Event Graphs with Partial Synchronization (I)

Schafaschek, GermanoTU Berlin
Hardouin, LaurentUniversitiy of Angers
Raisch, JoergTechnische Universitaet Berlin
 
11:30-11:50, Paper ThAT2.4 Add to My Program
Modeling of Safe Timed Petri Nets by Two-Level (max, +) Automata

Komenda, JanAcademy of Sciences of Czech Republic
Zorzenon, DavideTechnical University Berlin
Balun, JiříFaculty of Science, Palacky University in Olomouc
 
11:50-12:10, Paper ThAT2.5 Add to My Program
Implementation of Procedures for Optimal Control of Timed Event Graphs with Resource Sharing (I)

Zorzenon, DavideTechnical University Berlin
Schafaschek, GermanoTU Berlin
Tirpák, DominikTechnische Universität Berlin
Moradi, SoraiaTechnische Universität Berlin
Hardouin, LaurentUniversitiy of Angers
Raisch, JoergTechnische Universitaet Berlin
 
12:10-12:30, Paper ThAT2.6 Add to My Program
Efficient State-Estimation of Uncertain Max-Plus Linear Systems with High Observation Noise (I)

Espindola-Winck, GuilhermeUniversité D'Angers
Ferreira Cândido, Renato MarkeleUniversidade Estadual De Campinas
Hardouin, LaurentUniversitiy of Angers
Lhommeau, MehdiUniversité d'Angers - Polytech Angers
 
ThLPl  Home Break, Auditorium Add to My Program 
Lunch  
 
 
ThBT1  Regular Session, A Add to My Program 
Verification I  
 
 
13:30-13:50, Paper ThBT1.1 Add to My Program
Compositional Verification of Non-Blockingness with Prioritised Events

Tang, YihengFriedrich-Alexander Universität-Erlangen-Nürnberg
Moor, ThomasFriedrich-Alexander Universität Erlangen-Nürnberg
 
13:50-14:10, Paper ThBT1.2 Add to My Program
Verification of Reliable Inference-Diagnosability for Decentralized Diagnosis with Single-Level Inference

Hamada, TakumiOsaka University
Takai, ShigemasaOsaka University
 
14:10-14:30, Paper ThBT1.3 Add to My Program
Resilience in Discrete Event Systems

Fabre, EricINRIA / IRISA / Univ Rennes
 
14:30-14:50, Paper ThBT1.4 Add to My Program
Transformational Nonblocking Verification

Thuijsman, SanderEindhoven University of Technology
Reniers, MichelTU/e
Cai, KaiOsaka City University
 
14:50-15:10, Paper ThBT1.5 Add to My Program
Verifiers for the Detection of Timed Patterns in Discrete Event Systems

Lefebvre, DimitriUniv Le Havre
Li, ZhiwuXidian University
Liang, YeXidian University
 
15:10-15:30, Paper ThBT1.6 Add to My Program
Eventual Strong Detectability of Labeled Weighted Automata Over Monoids

Zhang, TianchenTechnical University of Berlin
Zhang, KuizeUniversity of Surrey
 
ThBT2  Regular Session, B Add to My Program 
Timed Discrete-Event Systems  
 
 
13:30-13:50, Paper ThBT2.1 Add to My Program
Active Diagnosis Algorithm for the Localization of Time Failures in (Max, +)-Linear Systems

Velasquez, IbisLAAS-CNRS, Université De Toulouse
Le Corronc, EuriellLAAS-CNRS
Pencolé, YannickLAAS-CNRS, Université De Toulouse, CNRS
 
13:50-14:10, Paper ThBT2.2 Add to My Program
Expressiveness and Analysis of Delayable Timed Petri Net

Parrot, RémiNantes Université, École Centrale De Nantes
Boucheneb, HanifaEcole Polytechnique De Montreal
Briday, MikaëlNantes Université, École Centrale De Nantes, LS2N
Roux, Olivier H.LS2N / École Centrale De Nantes
 
14:10-14:30, Paper ThBT2.3 Add to My Program
Weight-Deterministic Max-Plus Automata

Lahaye, SébastienUniversité D'Angers
Lai, AiwenXiamen University
Komenda, JanAcademy of Sciences of Czech Republic
 
14:30-14:50, Paper ThBT2.4 Add to My Program
Critical Pairs Based Diagnosability Analysis of Timed Fault in Time Petri Nets

Coquand, CamilleCNRS, LAAS, Univ De Toulouse, INSA, LAAS, F-31400 Toulouse
Subias, AudineLAAS-CNRS, INSA, University of Toulouse, France
Pencolé, YannickLAAS-CNRS, Université De Toulouse, CNRS
Lubat, EricINSA of Toulouse
 
14:50-15:10, Paper ThBT2.5 Add to My Program
A Matlab Toolbox Implementing MSCG Computation

Basile, FrancescoUniversita' Degli Studi Di Salerno
Ferrara, LuigiUniversità Degli Studi Di Salerno
 
ThCT1  Regular Session, A Add to My Program 
Verification II  
 
 
16:00-16:20, Paper ThCT1.1 Add to My Program
Distributed Identification of Discrete-Event Systems with the Aim of Fault Detection

Castro, José GuilhermeFederal University of Rio De Janeiro
Viana, GustavoUniversidade Federal Do Rio De Janeiro
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
 
16:20-16:40, Paper ThCT1.2 Add to My Program
Quotient Petri Nets

Ramirez-Trevino, AntonioCINVESTAV-IPN
Vazquez, Carlos RenatoTecnologico De Monterrey
Paniagua, IanCINVESTAV Unidad Guadalajara
Vazquez, GerardoCINVESTAV Unidad Guadalajara
 
16:40-17:00, Paper ThCT1.3 Add to My Program
On Liveness Analysis in Mono-T-Semiflow Petri Nets Based on Choice-Join Pairs

García-Adame, RaúlCinvestav Unidada Guadalajara
Ramirez-Trevino, AntonioCINVESTAV-IPN
Vazquez, Carlos RenatoITESM Campus Guadalajara
Navarro-Gutiérrez, ManuelTecnologico De Monterrey
 
17:00-17:20, Paper ThCT1.4 Add to My Program
Online Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets Using Labeled Priority Petri Nets

de Freitas, BraianFederal University of Rio De Janeiro
Basilio, Joao CarlosFederal University of Rio De Janeiro
 
17:20-17:40, Paper ThCT1.5 Add to My Program
Machine Learning Based Approach for Online Fault Diagnosis of Discrete Event System

Saddem Ramla, RamlaUniversite De Reims Crestic
Baptiste, DylanUniversité De Reims Champagne-Ardenne
 
ThCT2  Regular Session, B Add to My Program 
Applications II  
 
 
16:00-16:20, Paper ThCT2.1 Add to My Program
Reductions and Abstractions for Optimization of Modular Timed Automata (I)

Lennartson, BengtChalmers University of Technology
 
16:20-16:40, Paper ThCT2.2 Add to My Program
Job Shop Sequencing in Manufacturing Plants by Timed Coloured Petri Nets and Particle Swarm Optimization

Volpe, GaetanoPolytechnic University of Bari
Fanti, Maria PiaPolytechnic of Bari
Mangini, Agostino MarcelloPolitecnico Di Bari
 
16:40-17:00, Paper ThCT2.3 Add to My Program
Modeling and Security Verification of State-Based Smart Contracts

Mohajerani, SaharChalmers University of Technology
Ahrendt, WolfgangChalmers University of Technology
Fabian, MartinChalmers University of Technology
 
17:00-17:20, Paper ThCT2.4 Add to My Program
Derivation and Hardware-In-The-Loop Testing for a Road Tunnel Controller

Moormann, LarsUniversity of Technology Eindhoven
Hofkamp, AlbertEindhoven University of Technology
van de Mortel-Fronczak, JoannaEindhoven University of Technology
Fokkink, WanVrije Universiteit Amsterdam
Rooda, J.E.Eindhoven Univ of Technology

 
 

 
 

 

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