14th IFAC International Workshop on Discrete Event Systems May 30 - June 1, 2018, Sorrento Coast, Italy

14th IFAC Workshop on Discrete Event Systems
May 30 - June 1, 2018, Sorrento Coast, Italy

Program at a Glance    Wednesday    Thursday    Friday    Author Index    Keyword Index  

Last updated on June 1, 2018. This conference program is tentative and subject to change

Technical Program for Wednesday May 30, 2018

To show or hide the keywords and abstract of a paper (if available), click on the paper title
Open all abstracts   Close all abstracts
WePL Altamura
The Science of Software and System Design Plenary Session
Chair: Giua, AlessandroUniv. of Cagliari, Italy
09:00-10:00, Paper WePL.1 
The Science of Software and System Design
Tripakis, StavrosUniv. of California, Berkeley
WeM01 Altamura
Supervisory Control Theory I Regular Session
Chair: Ushio, ToshimitsuOsaka Univ
Co-Chair: Moor, ThomasFriedrich-Alexander Univ. Erlangen-Nürnberg
10:30-10:50, Paper WeM01.1 
Synthesis of Bisimilarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Takai, ShigemasaOsaka Univ
10:50-11:10, Paper WeM01.2 
Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints
Sakakibara, AmiOsaka Univ
Ushio, ToshimitsuOsaka Univ
11:10-11:30, Paper WeM01.3 
Exploiting Approximations in Supervisory Control with Distinguishers
Rosa, MarceloUniv. Tecnológica Federal Do Paraná
Teixeira, MarceloFederal Univ. of Tech. - Paraná
Malik, RobiThe Univ. of Waikato
11:30-11:50, Paper WeM01.4 
Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage
Bravo, HugoUniv. Federal De Minas Gerais
Pena, Patricia NascimentoUniv. Federal De Minas Gerais
Alves, Lucas Vinícius RibeiroUniv. Federal De Minas Gerais
Takahashi, Ricardo H. C.Univ. Federal De Minas Gerais (UFMG)
11:50-12:10, Paper WeM01.5 
On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems
Liu, YingyingXidian Univ
Li, ZhiwuXidian Univ
Cai, KaiOsaka City Univ
12:10-12:30, Paper WeM01.6 
On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
Schmuck, Anne-KathrinMax Planck Inst. for Software Systems
Moor, ThomasFriedrich-Alexander Univ. Erlangen-Nürnberg
Majumdar, RupakMax Planck Inst. for Software Systems and Univ. of Cali
WeM02 Palizzi
Performance Evaluation and Optimization Regular Session
Chair: Wardi, YoraiGeorgia Inst. of Tech
Co-Chair: Adacher, LudovicaRoma Tre
10:30-10:50, Paper WeM02.1 
Stochastic Flow Models with Delays and Applications to Multi-Intersection Traffic Light Control
Chen, RuiBoston Univ
Cassandras, Christos G.Boston Univ
10:50-11:10, Paper WeM02.2 
Performability of Server Virtualized Systems under Bursty Workload
Tayachi, ZaynebUniv. of Tunis-El Manar
Escheikh, MohamedUniv. of Tunis-El Manar
Barkaoui, KamelConservatoire National Des Arts Et Metiers (CNAM)
11:10-11:30, Paper WeM02.3 
LQG Control Via Wireless Sensor Networks with Minimal Transmission Power
Soleymani, TourajTech. Univ. München
Hirche, SandraTech. Univ. of Munich
Baras, John S.Univ. of Maryland
11:30-11:50, Paper WeM02.4 
New Approach for Differential Harvest Problem: The Model Checking Way
Saddem, RimIrstea
Naud, OlivierIrstea
Godary-Dejean, KarenMontpellier Univ
Crestani, DidierLIRMM
11:50-12:10, Paper WeM02.5 
Efficient Updating of Node Importance in Dynamic Real-Life Networks
Berkhout, JoostCentrum Wiskunde & Informatica (CWI)
Heidergott, BerndVrije Univ. Amsterdam
12:10-12:30, Paper WeM02.6 
Air Robust Routes: Analysis of the Direct Costs
Adacher, LudovicaRoma Tre
Flamini, MartaUninettuno Univ
WeA101 Altamura
Diagnosis Regular Session
Chair: Giua, AlessandroUniv. of Cagliari, Italy
Co-Chair: De Santis, ElenaUniv. of L'Aquila
14:00-14:20, Paper WeA101.1 
Detectable and Undetectable Network Attack Security of Cyber-Physical Systems
Lima, Públio M.Univ. Federal Do Rio De Janeiro
Carvalho, Lilian KawakamiUniv. Federal Do Rio De Janeiro
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
14:20-14:40, Paper WeA101.2 
Complexity Reduction Techniques for Quantified Diagnosability of Stochastic Systems
Bazille, HugoINRIA Rennes
Fabre, EricIrisa / Inria
Genest, BlaiseCNRS
14:40-15:00, Paper WeA101.3 
Distributed Synchronous Diagnosability of Discrete-Event Systems
Veras, Maria ZeneideUniv. Federal Do Rio De Janeiro
Cabral, Felipe GomesUniv. Federal Do Rio De Janeiro
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
15:00-15:20, Paper WeA101.4 
Timed Pattern Diagnosis in Timed Workflows: A Model Checking Approach
Pencolé, YannickLAAS-CNRS, Univ. De Toulouse, CNRS
Subias, AudineLAAS-CNRS, INSA, Univ. of Toulouse, France
15:20-15:40, Paper WeA101.5 
Enforcing Current-State Opacity through Shuffle in Event Observations
Julio Barcelos, RaphaelUFRJ
Basilio, Joao CarlosFederal Univ. of Rio De Janeiro
15:40-16:00, Paper WeA101.6 
Distributed Computation of Vector Clocks in Petri Nets Unfolding for Test Selection
Jezequel, LoïgUniv. De Nantes
Madalinski, AgnesUniv. Austral De Chile
Schwoon, StefanENS Cachan
WeA102 Palizzi
Applications of Discrete-Event Systems I Invited Session
Chair: Cai, KaiOsaka City Univ
Co-Chair: Rutten, EricINRIA Rhône Alpes
Organizer: Cai, KaiOsaka City Univ
Organizer: Rutten, EricINRIA Rhône Alpes
14:00-14:20, Paper WeA102.1 
Symbolic Limited Lookahead Control for Best-Effort Dynamic Computing Resource Management (I)
Berthier, NicolasUniv. of Liverpool
Marchand, HerveIRISA/INRIA Rennes
Rutten, EricINRIA Rhône Alpes
14:20-14:40, Paper WeA102.2 
Exercising Symbolic Discrete Control for Designing Low-Power Hardware Circuits: An Application to Clock-Gating (I)
Özbaltan, MeteUniv. of Liverpool
Berthier, NicolasUniv. of Liverpool
14:40-15:00, Paper WeA102.3 
On-Line Optimization of Power Efficiency in 3D Multicore Processors (I)
Chen, XinweiGeorgia Tech
Xiao, HeGeorgia Inst. of Tech
Wardi, YoraiGeorgia Inst. of Tech
Yalamanchili, SudhakarGeorgia Inst. of Tech
15:00-15:20, Paper WeA102.4 
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle (I)
Krook, JonasZenuity
Zita, AntonChalmers
Kianfar, RoozbehChalmers Univ. of Tech
Mohajerani, SaharChalmers Univ. of Tech
Fabian, MartinChalmers Univ. of Tech
15:20-15:40, Paper WeA102.5 
Controller for Avoiding Collisions in Automated Guided Vehicle Systems Via Labeled Petri Nets (I)
Wan, YaxinHuaqiao Univ
Luo, JiliangHuaqiao Univ
Wu, WeiminZhejiang Univ
Huang, Yi-ShengNational Ilan Univ
Zhou, Meng ChuNew Jersey Inst. of Tech
15:40-16:00, Paper WeA102.6 
Demonstration of Indoor Location Privacy Enforcement Using Obfuscation (I)
Meira Góes, RômuloUniv. of Michigan
Rawlings, Blake C.The Univ. of Michigan
Recker, NicholasUniv. of Michigan
Willett, GregoryUniv. of Michigan
Lafortune, StephaneUniv. of Michigan
WeA201 Altamura
Detectability and Identification Problems Regular Session
Chair: Ramirez-Trevino, AntonioCINVESTAV-IPN
Co-Chair: Lesage, Jean-JacquesENS De Cachan
16:30-16:50, Paper WeA201.1 
A Relative Identification Method for Reactive Systems
Galetta, ClémentENS De Cachan
Roussel, Jean-MarcENS De Cachan
Faure, Jean-MarcENS Cachan
16:50-17:10, Paper WeA201.2 
Enhanced Discrete Event Model for System Identification with the Aim of Fault Detection
Moreira, Marcos VicenteUniv. Fed. Rio De Janeiro
Lesage, Jean-JacquesENS De Cachan
17:10-17:30, Paper WeA201.3 
Weak (approximate) Detectability of Labeled Petri Net Systems with Inhibitor Arcs
Zhang, KuizeKTH Royal Inst. of Tech
Giua, AlessandroUniv. of Cagliari, Italy
17:30-17:50, Paper WeA201.4 
Qualitative Assessment of the Exceeding Behaviour of Discovered Petri Nets
Barragan-Perez, RubenCINVESTAV Unidad Guadalajara
Lopez-Mellado, ErnestoCINVESTAV-IPN
17:50-18:10, Paper WeA201.5 
Centralized Fault Detection of Complex Uncertain Hybrid Systems
Heracleous, ConstantinosUniv. of Cyprus
Keliris, ChristodoulosUniv. of Cyprus
Panayiotou, ChristosUniv. of Cyprus
Polycarpou, Marios M.Univ. of Cyprus
WeA202 Palizzi
(Max, +)-Algebra and Quantitative Issues in Discrete Event Systems Invited Session
Chair: Komenda, JanAcad. of Sciences of Czech Republic
Co-Chair: Raisch, JoergTech. Univ. Berlin
Organizer: Komenda, JanAcad. of Sciences of Czech Republic
16:30-16:50, Paper WeA202.1 
Localization of Time Shift Failures in (max, +)-Linear Systems (I)
Le Corronc, EuriellLAAS-CNRS
Pencolé, Y.CNRS; Univ. De Toulouse; LAAS
Sahuguede, AlexandreUniv. of Toulouse, LAAS-CNRS
Paya, ClaireUniv. of Toulouse
16:50-17:10, Paper WeA202.2 
(Max, +) Automata with Partial Observations (I)
Komenda, JanAcad. of Sciences of Czech Republic
Lahaye, SébastienUniv. D'angers
Boimond, Jean-LouisUniv. of ANGERS
17:10-17:30, Paper WeA202.3 
Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids (I)
Trunk, JohannesTech. Univ. Berlin
Cottenceau, BertrandUniv. of Angers, FRANCE
Hardouin, LaurentUniv. of Angers
Raisch, JoergTech. Univ. Berlin
17:30-17:50, Paper WeA202.4 
An Efficient Method of Matrix Multiplication for Heaps of Pieces (I)
Ware, Simon IanNanyang Tech. Univ
Zhu, YutingNanyang Tech. Univ
Yang, FajunNanyang Tech. Univ
Su, RongNanyang Tech. Univ
Lin, LiyongNanyang Tech. Univ
17:50-18:10, Paper WeA202.5 
The Interaction between Scheduling and Control of Semi-Cyclic Hybrid Systems
van den Boom, Ton J. J.Delft Univ. of Tech
de Bruijn, HilcoDelft Center for Systems and Control, Delft Univ. of Tech
De Schutter, BartDelft Univ. of Tech
Ozkan, LeylaTech. Univ. of Eindhoven




Technical Content © IFAC

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2018 PaperCept, Inc.
Page generated 2018-06-01  02:58:42 PST  Terms of use