Relevant bibliographies by topics / Interval temporal logic / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Interval temporal logic.

Dissertations / Theses on the topic 'Interval temporal logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 19 dissertations / theses for your research on the topic 'Interval temporal logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Oberholzer, Johannes Francois. "Agent Interval Temporal Logic." Diss., University of Pretoria, 2020. http://hdl.handle.net/2263/74826.

Full text
Abstract:
Alternating-Time Temporal Logic (ATL), introduced by Alur, Henzinger and Kupferman, is a logic involving coalitions of agents performing actions which cause a state change in a turn-based time system. There have been game theoretic ex- tensions on ATL, and they are very good at specifying systems of multiple agents cooperating or competing in a game-like situation. Unfortunately neither ATL nor its extensions are able to capture the idea of gradual change, or duration of actions or events. The concurrent game model of ATL operates like a turn based game, with sets of agents taking their
APA, Harvard, Vancouver, ISO, and other styles
2

Duan, Zhenhua. "An extended interval temporal logic and a framing technique for temporal logic programming." Thesis, University of Newcastle Upon Tyne, 1996. http://hdl.handle.net/10443/2075.

Full text
Abstract:
Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation. However, there are many aspects of programming in temporal logics that are not well-understood. One such an aspect is concurrent programming, another is framing and the third is synchronous communication for parallel processes. This thesis extends the original Interval Temporal Logic (ITL) to include infinite models, past operators, and a new projection operator for dealing with
APA, Harvard, Vancouver, ISO, and other styles
3

Marshall, I. "Hardware synthesis from an interval temporal logic." Thesis, University of East Anglia, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361488.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Müller, Daniel. "Trajectory Generation under Metric Interval Temporal Logic Specifications." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-217122.

Full text
Abstract:
Metric interval temporal logic (MITL) provides a tool to formulate high level tasks in an easyway. This allows to specify behaviour of a dynamical system in a given environment which liesbeyond the scope of simple stabilization. Finding an input of the system which satises the MITLformula, demands new techniques and algorithms. In this thesis, a novel approach is presented whichabstracts the dynamical system into a time optimal weighted transition system (WTS) and convertsthe MITL formula into a Timed Buchi Automaton (TBA). From the graph product of the WTS andTBA a sequence of environment sta
APA, Harvard, Vancouver, ISO, and other styles
5

Andersson, Sofie. "Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187716.

Full text
Abstract:
The problem of synthesizing controllers for motion planning of multi-agent systems under Linear Temporal Logic (LTL) high-level specifications has been of great interest and has been widely studied over the last years. However, LTL cannot handle time constraints as specifications. The time aspect would allow more complicated and specific tasks and it is therefore desirable to incorporate. This work aims to determine how control synthesis for a continuous linear system can be performed based on Metric Interval Temporal Logic (MITL), which is able to handle desired time constraints to high-level sp
APA, Harvard, Vancouver, ISO, and other styles
6

Dimitriov, Jordan. "Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250766.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

El-kustaban, Amin Mohammed Ahmed. "Studying and analysing transactional memory using interval temporal logic and AnaTempura." Thesis, De Montfort University, 2012. http://hdl.handle.net/2086/6900.

Full text
Abstract:
Transactional memory (TM) is a promising lock-free synchronisation technique which offers a high-level abstract parallel programming model for future chip multiprocessor (CMP) systems. Moreover, it adapts the well-established popular paradigm of transactions and thus provides a general and flexible way to allow programs to read and modify disparate memory locations atomically as a single operation. In this thesis, we propose a general framework for validating a TM design, starting from a formal specification into a hardware implementation, with its underpinning theory and refinement. A methodo
APA, Harvard, Vancouver, ISO, and other styles
8

Chakrapani, Rao Arun. "A visual framework for formal systems development using interval temporal logic." Thesis, De Montfort University, 2002. http://hdl.handle.net/2086/13288.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Magnusson, Martin. "Deductive Planning and Composite Actions in Temporal Action Logic." Licentiate thesis, Linköping : Department of Computer and Information Science, Linköpings universitet, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9726.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alsarhani, Sami. "Reasoning about history based access control policy using past time operators of interval temporal logic." Thesis, De Montfort University, 2014. http://hdl.handle.net/2086/10406.

Full text
Abstract:
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 composition and provides powerful and extensible specification and verification methods for reasoning about properties such as safety, time projection and liveness. Most imperative programming constructs can be seen as ITL formula that form the basis of an executable framework called Tempura that is used for
APA, Harvard, Vancouver, ISO, and other styles
11

Ahlberg, Sofie. "Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications." Licentiate thesis, KTH, Reglerteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251666.

Full text
Abstract:
With the increase of robotic presence in our homes and work environment, it has become imperative to consider human-in-the-loop systems when designing robotic controllers. This includes both a physical presence of humans as well as interaction on a decision and control level. One important aspect of this is to design controllers which are guaranteed to satisfy specified safety constraints. At the same time we must minimize the risk of not finding solutions, which would force the system to stop. This require some room for relaxation to be put on the specifications. Another aspect is to design t
APA, Harvard, Vancouver, ISO, and other styles
12

Shafie, Emad. "Runtime detection and prevention for Structure Query Language injection attacks." Thesis, De Montfort University, 2013. http://hdl.handle.net/2086/10076.

Full text
Abstract:
The use of Internet services and web applications has grown rapidly because of user demand. At the same time, the number of web application vulnerabilities has increased as a result of mistakes in the development where some developers gave the security aspect a lower priority than aspects like application usability. An SQL (structure query language) injection is a common vulnerability in web applications as it allows the hacker or illegal user to have access to the web application's database and therefore damage the data, or change the information held in the database. This thesis proposes a n
APA, Harvard, Vancouver, ISO, and other styles
13

Al, Amro Sulaiman. "Behaviour-based virus analysis and detection." Thesis, De Montfort University, 2013. http://hdl.handle.net/2086/9488.

Full text
Abstract:
Every day, the growing number of viruses causes major damage to computer systems, which many antivirus products have been developed to protect. Regrettably, existing antivirus products do not provide a full solution to the problems associated with viruses. One of the main reasons for this is that these products typically use signature-based detection, so that the rapid growth in the number of viruses means that many signatures have to be added to their signature databases each day. These signatures then have to be stored in the computer system, where they consume increasing memory space. Moreo
APA, Harvard, Vancouver, ISO, and other styles
14

BERTAGNON, ALESSANDRO. "Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems." Doctoral thesis, Università degli studi di Ferrara, 2022. http://hdl.handle.net/11392/2487898.

Full text
Abstract:
Constraint (Logic) Programming (CLP) is a popular paradigm to deal with Constraint Satisfaction Problems (CSPs) and Constraint Optimization Problems (COPs) in artificial intelligence. Constraint solving techniques, also known as constraint reasoning algorithms, can be divided into two distinct and orthogonal strategies: inference (or constraint propagation) and search. In this research we address constraint reasoning algorithms for two popular application domains: vehicle route planning and qualitative temporal reasoning. Regarding vehicle route planning, we study the Euclidean TSP (ETSP), a s
APA, Harvard, Vancouver, ISO, and other styles
15

Alouffi, Bader. "Run time verifcation of hybrid systems." Thesis, De Montfort University, 2016. http://hdl.handle.net/2086/12490.

Full text
Abstract:
The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates both discrete and continuous systems. Given that hybrid systems are systems that operates in real time allowing for changes in continuous state over time periods, and discrete state changes across zero time, their modelling, analysis and verification becomes very difficult. The formal verifications of such systems based on specifications that can guar- antee their behaviour is very important especially as it pertains to safety critical applica
APA, Harvard, Vancouver, ISO, and other styles
16

Panuška, Martin. "Business Process Modeling: A Logical Perspective." Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-19070.

Full text
Abstract:
In the master's thesis we are concerned with the logical perspective on business process model-ing. The logical perspective on business process modeling has several advantages. First, being a formal logical system, first-order logic let us thoroughly understand the foundations of process modeling. Second, after we understand the logical foundations of business process modeling, we are free to build a BPM language based entirely on logic, or map an existing language onto logic, which may be useful for artificial reasoning. Third, if the business process model is mapped to logic (or another decl
APA, Harvard, Vancouver, ISO, and other styles
17

"On metric interval temporal languages." Thesis, 2011. http://hdl.handle.net/10210/3705.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

張成時. "The interval-based temporal reasoning in logic programming." Thesis, 1990. http://ndltd.ncl.edu.tw/handle/35256112202192427307.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Horne, Tertia. "Temporal logics." Diss., 1999. http://hdl.handle.net/10500/16966.

Full text
Abstract:
We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation of the accessibility relations of the underlying temporal structures when we are using a modal language as well as the formulation of axioms for distinguishing concepts like actions, events, processes and so on for systems using first-order languages. Finally, we briefly discuss the fields of application of temporal logics and list a number of fields that looks promising for f
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Interval temporal logic' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography