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. 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.
    2. 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.
    3. 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.
    4. 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.
    5. 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.
    6. 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.
    7. 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.
    8. 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.
    9. Paredes, R. & Dueñas-Osorio, L. & Meel, K.S. & Vardi, M.Y., 2019. "Principled network reliability approximation: A counting-based approach," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    10. Soares Dias, Ana Paula & Bernardo, Joana & Felizardo, Pedro & Neiva Correia, Maria Joana, 2012. "Biodiesel production over thermal activated cerium modified Mg-Al hydrotalcites," Energy, Elsevier, vol. 41(1), pages 344-353.
    11. Singh, B. & Korstad, John & Sharma, Y.C., 2012. "A critical review on corrosion of compression ignition (CI) engine parts by biodiesel and biodiesel blends and its inhibition," Renewable and Sustainable Energy Reviews, Elsevier, vol. 16(5), pages 3401-3408.
    12. Keskin, Ahmet, 2018. "Two-step methyl ester production and characterization from the broiler rendering fat: The optimization of the first step," Renewable Energy, Elsevier, vol. 122(C), pages 216-224.
    13. Fazal, M.A. & Haseeb, A.S.M.A. & Masjuki, H.H., 2011. "Biodiesel feasibility study: An evaluation of material compatibility; performance; emission and engine durability," Renewable and Sustainable Energy Reviews, Elsevier, vol. 15(2), pages 1314-1324, February.
    14. Zhu, Qing-li & Shao, Rong & Dong, Rui & Yun, Zhi, 2014. "An integrated approach for obtaining biodiesel, sterols, gossypol, and raffinose from cottonseed on a biorefinery concept," Energy, Elsevier, vol. 70(C), pages 149-158.
    15. Kavitha Munisamy Sambasivam & Praveen Kuppan & Lafiya Shanavas Laila & Viswanaathan Shashirekha & Krishnamurthi Tamilarasan & Sudharsanam Abinandan, 2023. "Kernel-Based Biodiesel Production from Non-Edible Oil Seeds: Techniques, Optimization, and Environmental Implications," Energies, MDPI, vol. 16(22), pages 1-34, November.
    16. Fazal, M.A. & Haseeb, A.S.M.A. & Masjuki, H.H., 2012. "Degradation of automotive materials in palm biodiesel," Energy, Elsevier, vol. 40(1), pages 76-83.
    17. Krystul, Jaroslav & Le Gland, François & Lezaud, Pascal, 2012. "Sampling per mode for rare event simulation in switching diffusions," Stochastic Processes and their Applications, Elsevier, vol. 122(7), pages 2639-2667.
    18. Michael B. Giles, 2008. "Multilevel Monte Carlo Path Simulation," Operations Research, INFORMS, vol. 56(3), pages 607-617, June.
    19. Jayed, M.H. & Masjuki, H.H. & Saidur, R. & Kalam, M.A. & Jahirul, M.I., 2009. "Environmental aspects and challenges of oilseed produced biodiesel in Southeast Asia," Renewable and Sustainable Energy Reviews, Elsevier, vol. 13(9), pages 2452-2462, December.
    20. Villén-Altamirano, José, 2010. "Importance functions for restart simulation of general Jackson networks," European Journal of Operational Research, Elsevier, vol. 203(1), pages 156-165, May.

    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.