SynCoP 2014
1st International Workshop on Synthesis of Continuous Parameters
April 6th 2014, Grenoble, France
Aim
SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. A parameter could be, e.g., a delay in a real-time system, or a reaction rate in a biological cell model.
Topics of the workshop
The scientific subject of the workshop covers (but is not limited to) the following areas:
- parameter synthesis,
- parametric model checking,
- robustness analysis,
- formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic automata,
- applications to major areas of computer science and control engineering.
Venue
SynCoP 2014 is a satellite of the ETAPS 2014 conference taking place in Grenoble, France.
Invited Speakers
- Alexandre Donzé, Faculty of Electrical Engineering and Computer Science, UC Berkeley, USA
- Didier Lime, IRCCyN / École Centrale de Nantes, France
Chairs
- Étienne André, LIPN, Université Paris 13, Sorbonne Paris Cité, France
- Goran Frehse, Université Joseph Fourier Grenoble 1 – Verimag, France
Program Committee
- Eugene Asarin, Paris, France
- Alessandro Cimatti, Trento, Italy
- Alexandre Donzé, Berkeley, USA
- Georgios Fainekos, Arizona, USA
- Laurent Fribourg, Cachan, France
- Antoine Girard, Grenoble, France
- Kim Larsen, Ålborg, Denmark
- Yang Liu (刘杨), Singapore
- Olivier H. Roux, Nantes, France
- Sriram Sankaranarayanan, Boulder, USA
- Mariëlle Stoelinga , Twente, Netherlands
- Ashish Tiwari, USA
- Farn Wang (王凡), Taipei, Taiwan
Submitted by Anonymous
on
1st International Workshop on Synthesis of Continuous Parameters
April 6th 2014, Grenoble, France
Aim
SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. A parameter could be, e.g., a delay in a real-time system, or a reaction rate in a biological cell model.
Topics of the workshop
The scientific subject of the workshop covers (but is not limited to) the following areas:
- parameter synthesis,
- parametric model checking,
- robustness analysis,
- formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic automata,
- applications to major areas of computer science and control engineering.
Venue
SynCoP 2014 is a satellite of the ETAPS 2014 conference taking place in Grenoble, France.
Invited Speakers
- Alexandre Donzé, Faculty of Electrical Engineering and Computer Science, UC Berkeley, USA
- Didier Lime, IRCCyN / École Centrale de Nantes, France
Chairs
- Étienne André, LIPN, Université Paris 13, Sorbonne Paris Cité, France
- Goran Frehse, Université Joseph Fourier Grenoble 1 – Verimag, France
Program Committee
- Eugene Asarin, Paris, France
- Alessandro Cimatti, Trento, Italy
- Alexandre Donzé, Berkeley, USA
- Georgios Fainekos, Arizona, USA
- Laurent Fribourg, Cachan, France
- Antoine Girard, Grenoble, France
- Kim Larsen, Ålborg, Denmark
- Yang Liu (刘杨), Singapore
- Olivier H. Roux, Nantes, France
- Sriram Sankaranarayanan, Boulder, USA
- Mariëlle Stoelinga , Twente, Netherlands
- Ashish Tiwari, USA
- Farn Wang (王凡), Taipei, Taiwan
Submitted by Anonymous
on