Sökning: "specification search"

Visar resultat 1 - 5 av 31 avhandlingar innehållade orden specification search.

  1. 1. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Författare :Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. LÄS MER

  3. 2. Pre-testing and specification search, an application to the Box-Jenkins ARMA(1,1) model

    Författare :Thimothy O. Oke; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Statistics; Statistik;

    Sammanfattning : .... LÄS MER

  4. 3. Pre-testing and specification search in an autoregressive moving average process with extension to unit root cases

    Författare :Thimothy Oke; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Statistics; Statistik; Statistics; Statistik; Statistics; statistik;

    Sammanfattning : Several methods are applied in well defined contexts in the search for an appropriatestatistical model to fit a data set. Preliminary tests of significance for this end aretermed pre-testing. The aim of this study was to investigate some of the consequencesof such pre-testing in a few specific time series processes. LÄS MER

  5. 4. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER

  7. 5. Supporting Scientific Collaboration through Workflows and Provenance

    Författare :Tommy Ellqvist; Nahid Shahmehri; Paolo Missier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Scientific collaboration; workflow; provenance; search engine; query language; data integration; Computer science; Datalogi;

    Sammanfattning : Science is changing. Computers, fast communication, and  new technologies have created new ways of conducting research.  For  instance, researchers from different disciplines are processing and  analyzing scientific data that is increasing at an exponential rate. LÄS MER