Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293110
Title: Ticker-2 : a Qualitative Model of cardiac electrophysiology
Author: Kirby, Ian K.
Awarding Body: University of Aberdeen
Current Institution: University of Aberdeen
Date of Award: 1991
Availability of Full Text:
Access through EThOS:
Abstract:
Ticker-2 is a Qualitative Model of cardiac electrophysiology. One of the motivations was a desire to test and improve Qualitative Modelling techniques by their application to a real-world problem. The approach used is component-based, but, unlike much other work in Qualitative Modelling, discrete valued parameters are used. The application of temporal constraints play an important part, and the Relative Endpoint Duration formalism has been developed to constrain the generation of behaviours by the application of knowledge about the domain. This formalism is unusual in Qualitative Modelling in that an explicit 'unknown' value is used, instead of allowing uncertain values to lead to nondeterministic branching. Both simulation and envisionment have been used to generate behaviours from Ticker-2. Problems exist with both, but envisionment being more appropriate to the domain of cardiac electrophysiology, a number of ways of overcoming difficulties with envisionment are developed. An approach to comparing the behaviours of Ticker-2 with KARDIO behaviours is also suggested.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.293110  DOI: Not available
Keywords: Bionics Bionics Human physiology Computer software
Share: