IDEAS home Printed from https://ideas.repec.org/a/taf/nmcmxx/v20y2014i5p452-469.html
   My bibliography  Save this article

Probabilistic verification of a biodiesel production system using statistical model checking

Author

Listed:
  • D.D. Riley
  • X. Koutsoukos

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.

Suggested Citation

  • D.D. Riley & X. Koutsoukos, 2014. "Probabilistic verification of a biodiesel production system using statistical model checking," Mathematical and Computer Modelling of Dynamical Systems, Taylor & Francis Journals, vol. 20(5), pages 452-469, September.
    • Handle: RePEc:taf:nmcmxx:v:20:y:2014:i:5:p:452-469
    DOI: 10.1080/13873954.2013.832333
    as

    Download full text from publisher

    File URL: http://hdl.handle.net/10.1080/13873954.2013.832333
    Download Restriction: Access to full text is restricted to subscribers.
    File URL: https://libkey.io/10.1080/13873954.2013.832333?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Fernando, Sandun & Karra, Prashanth & Hernandez, Rafael & Jha, Saroj Kumar, 2007. "Effect of incompletely converted soybean oil on biodiesel quality," Energy, Elsevier, vol. 32(5), pages 844-851.
    2. Paul Glasserman & Philip Heidelberger & Perwez Shahabuddin & Tim Zajic, 1999. "Multilevel Splitting for Estimating Rare Event Probabilities," Operations Research, INFORMS, vol. 47(4), pages 585-600, August.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Fabian Dickmann & Nikolaus Schweizer, 2014. "Faster Comparison of Stopping Times by Nested Conditional Monte Carlo," Papers 1402.0243, arXiv.org.
    2. Peng-Lim, Boey & Ganesan, Shangeetha & Maniam, Gaanty Pragas & Khairuddean, Melati, 2012. "Sequential conversion of high free fatty acid oils into biodiesel using a new catalyst system," Energy, Elsevier, vol. 46(1), pages 132-139.
    3. Al-Jammal, Noor & Al-Hamamre, Zayed & Alnaief, Mohammad, 2016. "Manufacturing of zeolite based catalyst from zeolite tuft for biodiesel production from waste sunflower oil," Renewable Energy, Elsevier, vol. 93(C), pages 449-459.
    4. Kontosakos, Vasileios E. & Mendonca, Keegan & Pantelous, Athanasios A. & Zuev, Konstantin M., 2021. "Pricing discretely-monitored double barrier options with small probabilities of execution," European Journal of Operational Research, Elsevier, vol. 290(1), pages 313-330.
    5. Mahmudul, H.M. & Hagos, F.Y. & Mamat, R. & Adam, A. Abdul & Ishak, W.F.W. & Alenezi, R., 2017. "Production, characterization and performance of biodiesel as an alternative fuel in diesel engines – A review," Renewable and Sustainable Energy Reviews, Elsevier, vol. 72(C), pages 497-509.
    6. Azeem, Muhammad Waqar & Hanif, Muhammad Asif & Al-Sabahi, Jamal Nasar & Khan, Asif Ali & Naz, Saima & Ijaz, Aliya, 2016. "Production of biodiesel from low priced, renewable and abundant date seed oil," Renewable Energy, Elsevier, vol. 86(C), pages 124-132.
    7. James Hodgson & Adam M. Johansen & Murray Pollock, 2022. "Unbiased Simulation of Rare Events in Continuous Time," Methodology and Computing in Applied Probability, Springer, vol. 24(3), pages 2123-2148, September.
    8. Pierre L'Ecuyer & Christian Lécot & Bruno Tuffin, 2008. "A Randomized Quasi-Monte Carlo Simulation Method for Markov Chains," Operations Research, INFORMS, vol. 56(4), pages 958-975, August.
    9. Abdullah, A.Z. & Salamatinia, B. & Mootabadi, H. & Bhatia, S., 2009. "Current status and policies on biodiesel industry in Malaysia as the world's leading producer of palm oil," Energy Policy, Elsevier, vol. 37(12), pages 5440-5448, December.
    10. Reddy, M. Sarveshwar & Sharma, Nikhil & Agarwal, Avinash Kumar, 2016. "Effect of straight vegetable oil blends and biodiesel blends on wear of mechanical fuel injection equipment of a constant speed diesel engine," Renewable Energy, Elsevier, vol. 99(C), pages 1008-1018.
    11. Kleijnen, Jack P.C. & Ridder, A.A.N. & Rubinstein, R.Y., 2010. "Variance Reduction Techniques in Monte Carlo Methods," Other publications TiSEM 87680d1a-53c1-4107-ada4-7, Tilburg University, School of Economics and Management.
    12. Zhu, Yixin & Xu, Jianchu & Mortimer, Peter E., 2011. "The influence of seed and oil storage on the acid levels of rubber seed oil, derived from Hevea brasiliensis grown in Xishuangbanna, China," Energy, Elsevier, vol. 36(8), pages 5403-5408.
    13. Kaynar, Bahar & Ridder, Ad, 2010. "The cross-entropy method with patching for rare-event simulation of large Markov chains," European Journal of Operational Research, Elsevier, vol. 207(3), pages 1380-1397, December.
    14. Zdravko I. Botev & Pierre L'Ecuyer & Gerardo Rubino & Richard Simard & Bruno Tuffin, 2013. "Static Network Reliability Estimation via Generalized Splitting," INFORMS Journal on Computing, INFORMS, vol. 25(1), pages 56-71, February.
    15. Tan, K.T. & Lee, K.T. & Mohamed, A.R., 2011. "Potential of waste palm cooking oil for catalyst-free biodiesel production," Energy, Elsevier, vol. 36(4), pages 2085-2088.
    16. Zdravko I. Botev & Pierre L’Ecuyer, 2020. "Sampling Conditionally on a Rare Event via Generalized Splitting," INFORMS Journal on Computing, INFORMS, vol. 32(4), pages 986-995, October.
    17. Tito Homem-de-Mello, 2007. "A Study on the Cross-Entropy Method for Rare-Event Probability Estimation," INFORMS Journal on Computing, INFORMS, vol. 19(3), pages 381-394, August.
    18. Bhatia, Shashi Kant & Bhatia, Ravi Kant & Yang, Yung-Hun, 2017. "An overview of microdiesel — A sustainable future source of renewable energy," Renewable and Sustainable Energy Reviews, Elsevier, vol. 79(C), pages 1078-1090.
    19. Thomas Dean & Paul Dupuis, 2011. "The design and analysis of a generalized RESTART/DPR algorithm for rare event simulation," Annals of Operations Research, Springer, vol. 189(1), pages 63-102, September.
    20. Hao Ma & Henk A. P. Blom, 2022. "Random Assignment Versus Fixed Assignment in Multilevel Importance Splitting for Estimating Stochastic Reach Probabilities," Methodology and Computing in Applied Probability, Springer, vol. 24(4), pages 2313-2338, December.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:taf:nmcmxx:v:20:y:2014:i:5:p:452-469. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Longhurst (email available below). General contact details of provider: http://www.tandfonline.com/NMCM20 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.