Search for dissertations about: "temporal logic"
Showing result 1 - 5 of 65 swedish dissertations containing the words temporal logic.
-
1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems
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
-
2. Extending temporal action logic
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
-
3. Deductive Planning and Composite Actions in Temporal Action Logic
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
-
4. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development
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
-
5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
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