Search for dissertations about: "state machines"

Showing result 1 - 5 of 148 swedish dissertations containing the words state machines.

  2. 1. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  4. 2. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

    Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. READ MORE

  5. 3. Modeling, analysis, state and parameter estimation of faulty induction machines

    Author : Mikael Stocks; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

    Abstract : This thesis covers a broad range of subjects pertaining to induction machines, faulty as well as healthy ones. Firstly, a completely new and unconventional methodology for deriving simplest possible, yet sufficiently accurate, mathematical models for induction machines with general electrical faults is presented. READ MORE

  6. 4. Process Control and Simulation of Ferromagnetic Strip in the Power Transformers and Electrical Machines Applications : Electric power systems

    Author : Kourosh Mousavi Takami; Jafar Mahmoudi; Örjan Danielsson; Mihai Nicolescu; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strip; electrical machines; transformer; cold rolling mills; process; automation; control; Band; elektriska maskiner; transformatorer; kallvalsningsverk; processautomation; reglerteknik; Electric power engineering; Elkraftteknik; Energy- and Environmental Engineering; energi- och miljöteknik;

    Abstract : This thesis investigates optimization of the control of electrical and thermal equipment by using FEM and CFD modeling in combination with dynamic simulation models. The thesis focuses on the production of electrical strips and the control system with the aim of reducing losses and improving magnetic properties. READ MORE

  7. 5. Off-line programming of coordinate measuring machines

    Author : David Legge; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Manufacturing Systems Engineering; Produktionsutveckling;

    Abstract : This thesis describes the state-of-the-art of off-line programming (OLP) for co-ordinate measuring machines (CMM's) and explores two important aspects of OLP systems; automatic generation of inspection programmes, probing points and movements between these, and data transfer from computer aided design (CAD). A method of generating inspection programmes using a 'feature' based definition of component geometry is described. READ MORE