Design and Verification of a Blood Cell Separation Microfluidic Device
DOI:
https://doi.org/10.3991/ijoe.v13i06.7081Abstract
Blood cell separation microdevices are designed in biomedical engineering for the separation of particular cells from blood, such as cancer cells. The movement of blood microparticles, specially these cancer cells, in a continuous flow microfluidic device is controlled by several forces, as a result, understanding and guiding the movement of these microparticles is a challenging problem. These cells are subject to different types of forces that result from natural or external effects. These forces include gravity, and virtual mass, buoyancy, dielectrophoresis and, inertia force. Therefore, all of these are to be accounted for in any design or implementation of a system. This paper we use formal analysis of a separation microdevice in order to model and verify the the microparticle movement and behavior at high level of abstraction while considering different types of forces. The the dynamic behavior of the particle can be modeled as a Markovian decision process in order to predict the trajectory of microparticles. This model can be used to provide probabilistic analysis for the particle movement in the microdevice under the effect of different types of forces.
Downloads
Published
How to Cite
Issue
Section
License
The submitting author warrants that the submission is original and that she/he is the author of the submission together with the named co-authors; to the extend the submission incorporates text passages, figures, data or other material from the work of others, the submitting author has obtained any necessary permission.
Articles in this journal are published under the Creative Commons Attribution Licence (CC-BY What does this mean?). This is to get more legal certainty about what readers can do with published articles, and thus a wider dissemination and archiving, which in turn makes publishing with this journal more valuable for you, the authors.
By submitting an article the author grants to this journal the non-exclusive right to publish it. The author retains the copyright and the publishing rights for his article without any restrictions.