English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

The increasing complexity of technical systems leads to increasing challenges regarding the verification of those systems. Especially in the context of safety critical systems, there is a high need for reliable verification results. Currently verification is mainly based on expert knowledge and the use of high performance hardware to investigate a very high amount of test cases. This article proposes an alternative approach using an iterating segmentation and identification algorithm that is appended by interval arithmetic calculations. This combination yields guaranteed results that do not suffer from type II failures, i. e., that will never verify an erroneous system. This is especially relevant in the context of safety critical systems.

Verification of hybrid systems using Kaucher arithmetic