Search for dissertations about: "reachability"
Showing result 1 - 5 of 46 swedish dissertations containing the word reachability.
-
1. Verification of networks of communicating processes : Reachability problems and decidability issues
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
-
2. Infinite-state Stochastic and Parameterized 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
-
3. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
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
-
4. Fuel-Efficient Distributed Control for Heavy Duty Vehicle Platooning
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
-
5. Geometric control methods for nonlinear systems and robotic applications
Abstract : .... READ MORE