Sökning: "Temporal logic"
Visar resultat 1 - 5 av 67 avhandlingar innehållade orden Temporal logic.
1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems
Sammanfattning : 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. LÄS MER
2. Extending temporal action logic
Sammanfattning : 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. LÄS MER
3. Deductive Planning and Composite Actions in Temporal Action Logic
Sammanfattning : 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. LÄS MER
4. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development
Sammanfattning : 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. LÄS MER
5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Sammanfattning : 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. LÄS MER