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 Friday June 1, 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
 
FrPL Altamura
Partially Observed Discrete-Event Systems: From State Estimation to
Intrusion Detection
Plenary Session
Chair: Hadjicostis, ChristoforosUniv. of Cyprus
 
08:50-09:50, Paper FrPL.1 
Partially Observed Discrete-Event Systems: From State Estimation to Intrusion Detection
Seatzu, CarlaUniv. of Cagliari
 
FrM01 Altamura
Supervisory Control Theory II Regular Session
Chair: Fabian, MartinChalmers Univ. of Tech
Co-Chair: Marchand, HerveIRISA/INRIA Rennes
 
10:20-10:40, Paper FrM01.1 
Supervisor Localization of Discrete-Event Systems with Infinite Behavior
Zhang, RenyuanNorthwestern Pol. Univ
Cai, KaiOsaka City Univ
 
10:40-11:00, Paper FrM01.2 
An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
Chavarin-Aguirre, PedroCINVESTAV Unidad Guadalajara
Lopez-Mellado, ErnestoCINVESTAV-IPN
Lesage, Jean-JacquesENS De Cachan
 
11:00-11:20, Paper FrM01.3 
Design of Monitor-Based Supervisors in Labelled Petri Nets
Ma, ZiyueXidian Univ
He, ZhouShaanxi Univ. of Science and Tech
Li, ZhiwuXidian Univ
Giua, AlessandroUniv. of Cagliari, Italy
 
11:20-11:40, Paper FrM01.4 
Component-Wise Supervisory Controller Synthesis in a Client/Server Architecture
Loose, RobinEindhoven Univ. of Tech
van der Sanden, BramEindhoven Univ. of Tech
Reniers, MichelTU/e
Schiffelers, Ramon R.H.Eindhoven Univ. of Tech
 
11:40-12:00, Paper FrM01.5 
Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours
Moor, ThomasFriedrich-Alexander Univ. Erlangen-Nürnberg
Götz, StefanFriedrich-Alexander Univ. Erlangen-Nürnberg
 
12:00-12:20, Paper FrM01.6 
Insertion Functions with Memory for Opacity Enforcement
Keroglou, ChristoforosUniv. of Michigan, Ann Arbor
Ricker, LaurieMount Allison Univ
Lafortune, StephaneUniv. of Michigan
 
FrM02 Palizzi
Verification, Validation, Test Regular Session
Chair: Lennartson, BengtChalmers Univ. of Tech
Co-Chair: Barkaoui, KamelCNAM
 
10:20-10:40, Paper FrM02.1 
Visible Bisimulation Equivalence — a Unified Abstraction for Temporal Logic Verification
Lennartson, BengtChalmers Univ. of Tech
Noori-Hosseini, MonaChalmers Univ. of Tech
 
10:40-11:00, Paper FrM02.2 
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Claessen, KoenChalmers Univ. of Tech
Smallbone, NicholasChalmers Univ. of Tech
Eddeland, JohanVolvo Car Corp
Ramezani, ZahraChalmers Univ. of Tech
Akesson, KnutChalmers Univ. of Tech
 
11:00-11:20, Paper FrM02.3 
Counterexample Computation in Compositional Nonblocking Verification
Malik, RobiThe Univ. of Waikato
Ware, Simon IanNanyang Tech. Univ
 
11:20-11:40, Paper FrM02.4 
Structural Concolic Testing for Sequential Function Chart
Simon, HendrikRWTH Aachen
Triefenbach, LucasRWTH Aachen
Kowalewski, StefanRWTH Aachen Univ
 
11:40-12:00, Paper FrM02.5 
Compositional Verification of PLC Software Using Horn Clauses and Mode Abstraction
Bohlender, DimitriRWTH Aachen Univ
Kowalewski, StefanRWTH Aachen Univ
 
12:00-12:20, Paper FrM02.6 
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Noori-Hosseini, MonaChalmers Univ. of Tech
Lennartson, BengtChalmers Univ. of Tech
Hadjicostis, ChristoforosUniv. of Cyprus
 
FrA101 Altamura
Supervisory Control Theory III Regular Session
Chair: Akesson, KnutChalmers Univ. of Tech
Co-Chair: Marchand, HerveIRISA/INRIA Rennes
 
13:50-14:10, Paper FrA101.1 
A Signal-Interpreted Approach to the Supervisory Control Theory - Extension to Partially Controllable Signals
Desgeorges, LoicTech. Univ. of Munich
Provost, JulienTech. Univ. of Munich
 
14:10-14:30, Paper FrA101.2 
A New Approach to Tracking Control of Networked Discrete-Event Systems
Zgorzelski, MarkusRuhr-Univ. Bochum
Lunze, JanRuhr-Univ. Bochum
 
14:30-14:50, Paper FrA101.3 
Supervisory Control of Timed Discrete Event Systems Subject to Communication Delays and Non-FIFO Observations
Rashidinejad, AidaEindhoven Univ. of Tech
Reniers, MichelTU/e
Feng, LeiKTH Royal Inst. of Tech
 
14:50-15:10, Paper FrA101.4 
Opacity with Powerful Attackers
Loic, HélouetINRIA
Marchand, HerveIRISA/INRIA Rennes
Ricker, LaurieMount Allison Univ
 
FrA102 Palizzi
Modelling Tools Regular Session
Chair: Silva, ManuelUniv. De Zaragoza
Co-Chair: Mangini, Agostino MarcelloPol. Di Bari
 
13:50-14:10, Paper FrA102.1 
Minimizing Deterministic Timed Finite State Machines
Bresolin, DavideUniv. of Padova
Tvardovskii, AleksandrNational Res. State Univ
Yevtushenko, NinaInst. for System Programming of the Russian Acad. of Scien
Villa, TizianoUniv. Di Verona
Gromov, MaximTomsk State Univ
 
14:10-14:30, Paper FrA102.2 
Towards Evolving Petri Nets: A Symmetric Nets-Based Framework
Capra, LorenzoUniv. of Milan
Camilli, MatteoUniv. Degli Studi Di Milano
 
14:30-14:50, Paper FrA102.3 
Local Refinement of L-Complete Approximations for Supervisory Control of Hybrid Systems
Yang, Jung-MinKyungpook National Univ
Moor, ThomasFriedrich-Alexander Univ. Erlangen-Nürnberg
Raisch, JoergTech. Univ. Berlin
 
14:50-15:10, Paper FrA102.4 
On Monotonicity and Continuity: Computing Problematic Configurations in Timed Continuous Petri Nets
Navarro, ManuelCINVESTAV
Ramirez-Trevino, AntonioCINVESTAV-IPN
Silva, ManuelUniv. De Zaragoza

 
 

 
 

 

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