Probabilistic verification of a biodiesel production system using statistical model checking

D.D. Riley and X. Koutsoukos

Mathematical and Computer Modelling of Dynamical Systems, 2014, vol. 20, issue 5, 452-469

Abstract: Biochemical system designers are increasingly using formal modelling, simulation, and verification methods to improve the understanding of complex systems. Probabilistic models can incorporate realistic stochastic dynamics, but creating and analysing probabilistic models in a formal way is challenging. In this work, we present a stochastic model of biodiesel production that incorporates an inexpensive test of fuel quality, and we validate the model using statistical model checking, which can be used to evaluate simple or complex temporal properties efficiently. We also describe probabilistic simulation and analysis techniques for stochastic hybrid system (SHS) models to demonstrate the properties of our model. We introduce a variety of properties for various configurations of the reactor as well as results of testing our model against the properties.

Date: 2014
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/13873954.2013.832333 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:nmcmxx:v:20:y:2014:i:5:p:452-469

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/NMCM20

DOI: 10.1080/13873954.2013.832333

Access Statistics for this article

Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch

More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().