APICe » Theses » Class » ChemicalPRISM

Simulazione e Verifica di Sistemi Biochimici in PRISM 


I sistemi biochimici sono un esempio notevole di sistema difficile da analizzare: recenti applicazioni a contesti di bioinformatica e sistemi software autoorganizzante rendono questo problema cruciale. Lo strumento PRISM è lo standard di fatto per l'analisi/simulazione/verifica di sistemi stocastici tempo-continui. In questa tesi si deve analizzare in dettaglio la possibilità di applicare questo strumento ai sistemi biochimici, valutando la possibilità/necessità di adottare opportune tecniche di ottimizzazione, e considerando la letterature esistente sull'argomento.


Mirko Viroli (Supervisor)
Matteo Casadei (Co-supervisors)