Search for dissertations about: "finite state systems"

Showing result 1 - 5 of 208 swedish dissertations containing the words finite state systems.

  1. 1. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 2. An Approach to Diagnosability Analysis for Interacting Finite State Systems

    Author : Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

    Abstract : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. READ MORE

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

    Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []

    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

  4. 4. Self-Management for Large-Scale Distributed Systems

    Author : Ahmad Al-Shishtawy; Vlassov Vlassov; Seif Haridi; Per Brand; Leandro Navarro Moldes; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURAL SCIENCES; NATURVETENSKAP; Self-Management; Autonomic Computing; Control Theory; Distributed Systems; Grid Computing; Cloud Computing; Elastic Services; Key-Value Stores; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Abstract : Autonomic computing aims at making computing systems self-managing by using autonomic managers in order to reduce obstacles caused by management complexity. This thesis presents results of research on self-management for large-scale distributed systems. READ MORE

  5. 5. On restart of automated manufacturing systems

    Author : Patrik Bergagård; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory control theory; Error recovery; Manufacturing systems; Restart; Extended finite automata; Discrete event systems;

    Abstract : Highly automated manufacturing systems have gained industrial popularity for their ability to combine high product volumes with high product quality. The high cost of investment in combination with many linked manufacturing systems in a factory, requires that the production runs smoothly with high utilization of the resources and that stoppages are avoided. READ MORE