SynCoP

SynCoP 2015

2nd International Workshop on Synthesis of Complex Parameters

Saturday 11th of April 2015, London, UK

London

Program

The workshop took place on Saturday 11th April 2015 in London, UK.

The proceedings have been published as OASIcs Vol. 44. The entire volume can also be downloaded as a single PDF file here.

SynCoP took place in the Mile End campus of Queen Mary University of London, in the Bancroft building (building #31 in the campus map). Lunches and coffee breaks will be in the Octagon (#19a in the map), which is part of the Queens' building (#19). Additional information can be found on the ETAPS workshops page.

9h20 - 9h35
Welcome address (Étienne André) [slides]
9h35 - 10h30
Invited talk: Parosh Abdulla (chair: Goran Frehse)
View Abstraction – A Tutorial (joint work with Fréderic Haziza and Lukáš Holík) [slides (keynote)] [slides (PDF)]
10h30 - 11h
coffee break
11h - 12h30
Session 1 (chair: Parosh Abdulla)
Benoit Delahaye. Consistency for Parametric Interval Markov Chains [slides]
Adrien Le Coent, Florian De Vuyst, Christian Rey, Ludovic Chamoin and Laurent Fribourg. Guaranteed control of switched control systems using model order reduction and state-space bisection [slides]
Laurent Fribourg, Ulrich Kühne and Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
12h30 - 14h
Lunch break
14h - 15h
Invited talk: Marta Kwiatkowska (chair: Étienne André)
Parameter synthesis for probabilistic real-time systems [slides]
15h - 16h
session 2 (chair: Marta Kwiatkowska)
Bharath Siva Kumar Tati and Markus Siegle. Parameter and Controller Synthesis for Markov Chains with Actions and State Labels [slides]
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian T. Ringsmose, Kim G. Larsen and Radu Mardare. Parametric Verification of Weighted Systems [slides]
16h - 16h30
coffee break
16h30 - 17h
session 3 (chair: Kim Larsen)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot and Olivier Mullier. Tuning PI controller in nonlinear uncertain closed-loop systems with interval analysis [slides]
17h - 18h30
Informal presentations (chair: Kim Larsen)
Nicolas David, Claude Jard, Didier Lime, and Olivier H. Roux. Discrete Parameters in Petri Nets (accepted at Petri Nets 2015) [slides]
Hoang Gia Nguyen. Enhanced Distributed Behavioral Cartography of Timed Automata (accepted at ICFEM 2015) [slides]
Alessandro Cimatti, Alberto Griggio, Sergio Mover and Stefano Tonetta. Parameter Synthesis with IC3 (presented at FMCAD 2013) [slides]
18h30
Final remarks [slides]
19h -
SynCoP dinner
At Verdi’s, 237 Mile End, London, UK E1 4AA