Search for dissertations about: "Reachability"

Showing result 16 - 20 of 46 swedish dissertations containing the word Reachability.

  2. 16. A formal approach to analysis of software architectures for real-time systems

    Author : Anders Wall; Wang Yi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : A software architecture is a high-level design description of a software system. In terms of the architecture, early design decisions can be analyzed to improve the quality of a real-time software system, which depends very much on how it is structured rather than how it is implemented. READ MORE

  4. 17. Parallelized Program Analysis

    Author : Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Abstract : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. READ MORE

  5. 18. Safe Autonomy under Uncertainty: Computation, Control, and Application

    Author : Yulong Gao; Karl H. Johansson; Lihua Xie; ‪Frank Allgöwer; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Safe autonomy; shared autonomy; probabilistic controlled invariant set; invariant cover; linear temporal logic; temporal logic tree; safe teleoperation; automated car overtaking; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. READ MORE

  6. 19. Automatic Synthesis of Sequential Control Schemes

    Author : Inger Klein; Lennart Ljung; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Of all hard- and software developed for industrial control purposes, the majority is devoted to sequential, or binary valued, control and only a minor part to classical linear control. Typically, the sequential parts of the controller are invoked during startup and shut-down to bring the system into its normal operating region and into some safe standby region, respectively. READ MORE

  7. 20. Efficient implementation of model-checkers for networks of timed automata

    Author : Fredrik Larsson; Wang Yi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : Since real-time systems often operate in safety-critical environments it is extremely important that they function correctly. UPPAAL is a tool that can be used for validation and verification of real-time systems. READ MORE