Search for dissertations about: "lossy channel systems"

Showing result 1 - 5 of 10 swedish dissertations containing the words lossy channel systems.

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

  6. 4. Characterization and Design Requirements for Antennas in the Near-field and the Random-LOS Propagation Environment

    Author : Aidin Razavi; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; polarization-MIMO; Random-LOS; OTA; Antenna measurements; near-field antennas; antenna characterization; MIMO; near-field focusing;

    Abstract : The choice of antenna for a particular application depends on the requirements imposed by that application. These can be, the application's field region (i.e., near-field or far-field), polarization, radiation pattern, radiation efficiency, system throughput, etc. READ MORE

  7. 5. Enabling Industrial IoT Applications : Supporting Reliable and Real-Time Data Delivery

    Author : Hossam Farag; Mikael Gidlund; Patrik Österberg; Dirk Pesch; Mittuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The Industrial Internet of Things (IIoT) has become a promising technology for the improvement of the productivity, efficiency, and intelligence of the manufacturing process. Industrial Wireless Sensor Networks (IWSNs) represent a main pillar of IIoT to support communications within the field network level. READ MORE