Skip navigation
Skip navigation

Non-deterministic temporal logics for general flow systems

Davoren, Jen; Coulthard, Vaughan; Markey, Nicholas; Moor, Thomas

Description

In this paper, we use the constructs of branching temporal logic to formalize reasoning about a class of general flow systems, including discretetime transition systems, continuous-time differential inclusions, and hybrid-time systems such as hybrid automata. We introduce Full General Flow Logic, GFL*, which has essentially the same syntax as the well-known Full Computation Tree Logic, CTL*, but generalizes the semantics to general flow systems over arbitrary time-lines. We propose an axiomatic...[Show more]

CollectionsANU Research Publications
Date published: 2004
Type: Book chapter
URI: http://hdl.handle.net/1885/87349

Download

There are no files associated with this item.


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator