Search for dissertations about: "Temporal logic"

Showing result 1 - 5 of 65 swedish dissertations containing the words Temporal logic.

2. 1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems

   Author : Daniel Rönnedal; Paul Needham; Lennart Åqvist; Allard Tamminga; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; Deontic logic; Modal logic; Dyadic deontic logic; Semantic tableau; Conditional obligation; Commitment; Counterfactuals; Multi-modal logic; Bimodal logic; Temporal logic; T x W logic; Ought-implies-can; The means-end principle; Theoretical Philosophy; teoretisk filosofi;

   Abstract : Deontic logic is a branch of logic that deals with normative concepts, propositions, arguments and systems. The main purpose of this compilation thesis is to investigate how deontic logic can be extended in a number of ways. We consider several multimodal systems, i.e. READ MORE

4. 2. Extending temporal action logic

   Author : Joakim Gustafsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : An autonomous agent operating in a dynamical environment must be able to perform several "intelligent" tasks, such as learning about the environment, planning its actions and reasoning about the effects of the chosen actions. For this purpose, it is vital that the agent has a coherent, expressive, and well understood means of representing its knowledge about the world. READ MORE

5. 3. Deductive Planning and Composite Actions in Temporal Action Logic

   Author : Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

   Abstract : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. READ MORE

6. 4. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

   Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

   Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE

7. 5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

   Author : Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

   Abstract : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. READ MORE