Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 90 for “"Temporal Logic"”.
-
Optimal planning with temporal logic specifications
… of the Vehicle Routing Problem (VRP), in which temporal logics and process algebra are utilized to represent a large class of mission specifications in a systematic way. The thesis is structured in two parts. In the first part, two temporal logics that are remarkably close to the natural …
-
A complete reified temporal logic and its applications
Temporal representation and reasoning plays a fundamental and increasingly important role in some areas of Computer Science and Artificial Intelligence. A natural approach to represent and reason about time-dependent knowledge is to associate them with instantaneous time points and/or durative time …
-
Alternating Automata and the Temporal Logic of Ordinals
… a number of results about linear propositional temporal logic, a form of modal logic. First, we show that there is a natural interpretation of automaton inputs as structures for the logic and that under this interpretation, alternating automata and temporal logic are equally powerful. We then …
-
ITL Monitor: Compositional Runtime Analysis with Interval Temporal Logic
… it is running. A popular language for specifying temporal requirements for runtime verification is Linear Temporal Logic (LTL), which is excellent for expressing properties such as safety and liveness. Another formalism that is used is Interval Temporal Logic (ITL). This logic has constructs for …
-
Towards explainable AI: directed inference of linear temporal logic constraints
… robotics and beyond may be classified as mixed logical-dynamical (MLD) systems. These systems are subject to both logical constraints, which govern their safe operation and goals; and dynamical constraints, which describe their physical behavior. These time-dependent constraints can be described …
-
Studying and Analysing Transactional Memory Using Interval Temporal Logic and AnaTempura
… refinement and restriction rules. Interval Temporal Logic (ITL) and its programming language subset AnaTempura are used to build, execute and test the model, since they together provide a powerful framework supporting logical reasoning about time intervals as well as programming and …
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
… properties. My technique is based on Interval Temporal Logic (ITL) and its executable subset Tempura to verify properties at runtime using the AnaTempura tool. I use, as a demonstration, the case study of private L2 cache memory of multi-core processor architecture. My objectives are to i) …
-
GRAPH-BASED METHODS FOR PATH PLANNING WITH DYNAMIC OBSTACLES USING LINEAR TEMPORAL LOGIC
… of four planning methods that implement linear temporal logic (LTL) to translate the high-level mission requirements and environmental specifications. The Potential Field Method and the Critical Path method required less computational effort to find one of the shortest paths for the mission The …
-
Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)
This thesis describes the mediated object construct. Mediated objects support synchronization and scheduling for systems programming within distributed systems. Mediated objects are based on a resource view of systems, and fit within a programming methodology that emphasizes resource modularity, …
-
Reasoning about history based access control policy using past time operators of interval temporal logic
Interval Temporal Logic (ITL) is a flexible notation for the propositional and first-order logical reasoning about periods of time that exist in specifications of hardware and software systems. ITL is different from other temporal logics since it can deal with both sequential and parallel …
-
Temporal logic-based fuzzy decision support system for diagnosis of rheumatic fever and rheumatic heart disease
… Hybrid Approach (Knowledge-based System (KBS), Temporal Theory (TT) and Fuzzy Logic (FL)) to design and develop an application to diagnose ARF cases at an early stage in English and Nepali. This research presents, validates and evaluates a proposed Hybrid Approach to diagnose ARF at three …
-
A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows
This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can …
-
Safety supervisory control, model-based hazard monitoring, and temporal logic: Dynamic risk-informed safety interventions and accident prevention
… is growing between the software-intensive technological capabilities of present systems and the still “too much hardware oriented” current approaches for handling risk assessment and safety issues. To overcome these limitations, a novel framework and analytical tools for model-based system …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… Usually, such problems are formulated as temporal logic specifications over a discrete representation of the given system. Despite the expressivity of conventional logic such as Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Signal Temporal logic (STL), etc., they cannot be used …
-
Integrating formal specification and verification methods in software development
… (predicate transition Petri nets, first order temporal logic, the algebraic, the axiomatic, the denotational, and the operational approaches) in software development has been developed. The model more effectively incorporates foremost formalisms than any other models (the Automatic Programming …
-
A formal description language for specifying and verifying real-time software systems.
… for specifying concurrent/real time systems and temporal logic as a basis for developing the semantics of the language. It also presents a stepwise refinement approach, a preprocessor and a library of templates which support the use of RDL in the specification of relatively complex systems. RDL …
-
Automatic verification of VHDL models
… by the designer in Modified Linear Time Temporal Logic,. which is an extension to traditional boolean logic and can describe timing relation between signals. A semantic similarity between temporal operators and VHDL timings and delays has been drawn and an algorithm for comparing the VHDL …
-
ENHANCING DEEP LEARNING WITH SYMBOLIC DOMAIN KNOWLEDGE
… symbolic domain knowledge. We propose logic graph embedding frameworks, Logic Embedding Network with Semantic Regularization (LENSR) and Temporal-Logic Embedded Automata Framework (T-LEAF), which take propositional logic and linear temporal logic as inputs, respectively. Secondly, …
-
Techniques for formal verification of concurrent and distributed program traces
… a different thread scheduling. Surprisingly, temporal logic model checking even on a finite partial order trace is NP-complete in the size of the trace description. We develop techniques to combat the state explosion problem. Our algorithms have polynomial-time complexity in the size of the …
Page 1 of 5