Sökning: "Optimization-Based Falsification"
Hittade 3 avhandlingar innehållade orden Optimization-Based Falsification.
1. On Optimization-Based Falsification of Cyber-Physical Systems
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
2. On Falsification of Large-Scale Cyber-Physical Systems
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
3. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method
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