Download PDFOpen PDF in browser

Perspectives on Constraints, Process Algebras, and Hybrid Systems

8 pagesPublished: May 15, 2012

Abstract

Building on a technique for associating Hybrid Systems (HS) to stochastic programs written in a stochastic extension of Concurrent Constraint Programming (sCCP), we will discuss several aspects of performing such association. In particular, as we proved an sCCP program can be mapped in a HS varying in a lattice at a level depending on the amount of actions to be simulated continuously, we will discuss what are the problems involved in a semi-automatic choice of such level. Decidability, semantic, and efficiency issues will be taken into account, with special emphasis on their links with biological applications. We will also discuss about the role of constraints and of the constraint store is this construction.

Keyphrases: hybrid systems, stochastic concurrent constraint programming, systems biology

In: Agostino Dovier, Alessandro Dal Palù and Sebastian Will (editors). WCB10. Workshop on Constraint Based Methods for Bioinformatics, vol 4, pages 59-66.

BibTeX entry
@inproceedings{WCB10:Perspectives_Constraints_Process_Algebras,
  author    = {Luca Bortolussi and Alberto Policriti},
  title     = {Perspectives on Constraints, Process Algebras, and Hybrid Systems},
  booktitle = {WCB10. Workshop on Constraint Based Methods for Bioinformatics},
  editor    = {Agostino Dovier and Alessandro Dal Palù and Sebastian Will},
  series    = {EPiC Series in Computing},
  volume    = {4},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/zhrZ},
  doi       = {10.29007/whn1},
  pages     = {59-66},
  year      = {2012}}
Download PDFOpen PDF in browser