Search for dissertations about: "vector addition systems"

Showing result 1 - 5 of 39 swedish dissertations containing the words vector addition systems.

  2. 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

  4. 2. Infinite-state Stochastic and Parameterized Systems

    Author : Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Keywords : program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE

  5. 3. Distributed and federated learning of support vector machines and applications

    Author : Shirin Tavara; Alexander Schliep; Alexander Karlsson; Lili Jiang; Högskolan i Skövde; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Skövde Artificial Intelligence Lab SAIL ; Skövde Artificial Intelligence Lab SAIL ;

    Abstract : Machine Learning (ML) has achieved remarkable success in solving classification, regression, and related problems over the past decade. In particular the exponential growth of digital data, makes using ML inevitable and necessary to exploit the wealth of information hidden inside the data. READ MORE

  6. 4. Spatio-Temporal Pre-Processing Methods for Region-of-Interest Video Coding

    Author : Linda S. Karlsson; Tingting Zhang; Mårten Sjöström; Youzhi Xu; Apostolos Georgakis; Mittuniversitetet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Region-of-interest; video coding; pre-processing; spatio-temporal filters; Computer and systems science; Data- och systemvetenskap;

    Abstract : In video transmission at low bit rates the challenge is to compress the video with a minimal reduction of the percieved quality. The compression can be adapted to knowledge of which regions in the video sequence are of most interest to the viewer. READ MORE

  7. 5. On Distributed Optimization in Networked Systems

    Author : Björn Johansson; Mikael Johansson; Asuman Ozdaglar; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex optimization; resource allocation; networked systems; peer-to-peer; distributed optimization; Telecommunication; Telekommunikation; Automatic control; Reglerteknik;

    Abstract : Numerous control and decision problems in networked systems can be posed as optimization problems. Examples include the framework of network utility maximization for resource allocation in communication networks, multi-agent coordination in robotics, and collaborative estimation in wireless sensor networks (WSNs). READ MORE