Use this URL to cite or link to this record in EThOS:
Title: Ticker-2 : a Qualitative Model of cardiac electrophysiology
Author: Kirby, Ian K.
ISNI:       0000 0001 3600 1935
Awarding Body: University of Aberdeen
Current Institution: University of Aberdeen
Date of Award: 1991
Availability of Full Text:
Access from EThOS:
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:  DOI: Not available
Keywords: Bionics