Describing System Functions that Depend on Intermittent and Sequential Behavior

H...............H

Show simple item record

dc.contributor.author Bell, Jonathan
dc.contributor.author Snooke, Neal
dc.date.accessioned 2006-03-20T10:21:56Z
dc.date.available 2006-03-20T10:21:56Z
dc.date.issued 2006-03-20
dc.identifier.citation Bell , J & Snooke , N 2006 , ' Describing System Functions that Depend on Intermittent and Sequential Behavior ' pp. 51-57 . en
dc.identifier.other PURE: 75484
dc.identifier.other dspace: 2160/64
dc.identifier.uri http://hdl.handle.net/2160/64
dc.description Johan de Kleer and Kenneth D. Forbus (eds.), Proceedings of 28th International Workshop on Qualitative Reasoning, pages 51-57 en
dc.description.abstract Functional modeling languages have been used to describe processes that react to discrete external events and remain in a constant state until another such event stimulates a change in system state, and are deficient in the area of describing several processes occurring in a specific temporal relationship. The lack of such expressiveness means that it is difficult to apply functional modeling effectively to complex systems where such temporal interactions are key to the correct functioning of the system. This paper presents operators to extend the expressiveness of functional modeling for systems that depend on intermittent behavior or on a strict sequence of events. The effectiveness of these operators is shown for characterizing different orderings of behavior, both in cases where the ordering is precisely specified and where some orderings need not be so specified. Their relevance is shown by considering examples from the domain of automotive systems. en
dc.format.extent 7 en
dc.language.iso eng
dc.relation.ispartof en
dc.subject temporal functional modelling en
dc.subject functional description en
dc.title Describing System Functions that Depend on Intermittent and Sequential Behavior en
dc.type Text en
dc.type.publicationtype Conference paper en
dc.contributor.institution Department of Computer Science en
dc.description.status Non peer reviewed en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search Cadair


Advanced Search

Browse

My Account