Sökning: "Optimization-Based Falsification"

Hittade 3 avhandlingar innehållade orden Optimization-Based Falsification.

  1. 1. On Optimization-Based Falsification of Cyber-Physical Systems

    Författare :Zahra Ramezani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Bayesian Optimization; Model-Based Testing; Optimization-Based Falsification; Cyber-Physical Systems; Quantitative Semantics; Input Generators;

    Sammanfattning : In what is commonly referred to as cyber-physical systems (CPSs), computational and physical resources are closely interconnected. An example is the closed-loop behavior of perception, planning, and control algorithms, executing on a computer and interacting with a physical environment. LÄS MER

  3. 2. On Falsification of Large-Scale Cyber-Physical Systems

    Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

  4. 3. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method

    Författare :Zahra Ramezani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Testing; Falsification; Cyber-Physical Systems;

    Sammanfattning : Cyber-physical systems (CPSs) are engineering systems that bridge the cyber-world of communications and computing with the physical world. These systems are usually safety-critical and exhibit both discrete and continuous dynamics that may have complex behavior. Typically, these systems have to satisfy given specifications, i.e. LÄS MER