Proceedings of the 1st international workshop on synthesis of continuous parameters, SynCoP'14, Grenoble, France, April 6, 2014

DOI10.4204/EPTCS.145MaRDI QIDQ5219920zbMATH OpenOpenAlexFDO

Authors

Publication date 13 March 2020

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.7841, http://eptcs.web.cse.unsw.edu.au/content.cgi?SynCoP2014

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: This volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 2014, as a satellite event of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS'14). 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. Synthesis problems for such parameters arise for real-time, hybrid or probabilistic systems in a large variety application domains. A parameter could be, e.g., a delay in a real-time system, or a reaction rate in a biological cell model. The objective of the synthesis problem is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. This volume contains seven contributions: two invited talks and five regular papers.

Recommendations

• Parameter Synthesis for Timed Kripke Structures
• Parameter synthesis through temporal logic specifications
• Compositional parameter synthesis
• Synthesis in pMDPs: a tale of 1001 parameters
• Editorial: Special issue on synthesis

Cited in

(4)

• Editorial: Special issue on synthesis
• Parameter synthesis for polynomial biological models
• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
• Parameter synthesis through temporal logic specifications

This page was built for publication: Proceedings of the 1st international workshop on synthesis of continuous parameters, SynCoP'14, Grenoble, France, April 6, 2014

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219920)