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 Plus

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

Zendy Tools

Zendy Open

We consider the problem of controller synthesis under imperfect informationin a setting where there is a set of available observable predicates equippedwith a cost function. The problem that we address is the computation of asubset of predicates sufficient for control and whose cost is minimal. Oursolution avoids a full exploration of all possible subsets of predicates andreuses some information between different iterations. We apply our approach totimed systems. We have developed a tool prototype and analyze the performanceof our optimization algorithm on two case studies.

Controllers with Minimal Observation Power (Application to Timed Systems)