Advanced search

Showing result 1 - 5 of 46 swedish dissertations matching the above criteria.

  2. 1. Verification of networks of communicating processes : Reachability problems and decidability issues

    Author : Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

    Abstract : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. 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. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  6. 4. Fuel-Efficient Distributed Control for Heavy Duty Vehicle Platooning

    Author : Assad Alam; Karl Johansson; Ather Gattami; Roy Smith; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Optimal Control; Heavy Duty Vehicle; Platooning; Fuel; Reachability; Game Theory;

    Abstract : Freight transport demand has escalated and will continue to do so as economiesgrow. As the traffic intensity increases, the drivers are faced with increasinglycomplex tasks and traffic safety is a growing issue. Simultaneously, fossil fuel usageis escalating. Heavy duty vehicle (HDV) platooning is a plausible solution to theseissues. READ MORE

  7. 5. Geometric control methods for nonlinear systems and robotic applications

    Author : Claudio Altafini; KTH; []
    Keywords : Geometric control; Differential geometric methods; Nonlinear control systems; Control of mechanical systems; Robot dynamics and control; Lie groups; Variational problems; Group symmetry; Reachability; Switching systems;

    Abstract : .... READ MORE