I am working on the model checking of pacemaker heart models. I would like to formalize the algorithms used for this. Are there some well known algorithms?
Can you please explain what you men by pacemaker "heart" models? I am not sure I have understood your question.
Dear Muhammad,
please have a look at recent publications from the group of Prof. Marta Kwiatkowska (University of Oxford) in model checking and verification methodologies for pacemakers algorithms. Other groups are also working on the approximate probabilistic verification of this type of systems. Some links attached.
http://link.springer.com/chapter/10.1007/978-3-662-45231-8_27
http://www.veriware.org/papers/cav14.pdf
http://arxiv.org/abs/1412.6953
Hi Muhammad, I developed an application for smartphones, perhaps you might find it useful. Download "ICDcrt" from GooglePlay or AppStore.
Dear Muhammad.
Maybe you'll be interested in a series of interesting books?
These books are written simple, and can be useful to you in your work.
One of them is here
http://samples.sainsburysebooks.co.uk/9781405140652_sample_387490.pdf
(:-)
- Badges
- Science method