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/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this work, a new algorithm for verifying the codiagnosticability of the language of a discrete event system (DES) with dynamic observations is proposed. The new algorithm is an extension of a recently proposed algorithm for the verification of the codiagnosability of DES with static observations. The computational complexity of the proposed algorithm is compared with the complexity of other algorithms presented in the literature.

A New Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations