Controller/Orchestrator Synthesis via Filtration | Zendy

Philippe Balbiani | Zendy; Fahima Cheikh | Zendy; Guillaume Feuillade | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Controller/Orchestrator Synthesis via Filtration

Author(s) -

Philippe Balbiani,

Fahima Cheikh,

Guillaume Feuillade

Publication year - 2010

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2010.04.004

Subject(s) - frame (networking) , mathematics , filtration (mathematics) , asynchronous communication , product (mathematics) , controller (irrigation) , existential quantification , discrete mathematics , combinatorics , algebra over a field , pure mathematics , computer science , geometry , telecommunications , computer network , agronomy , biology

The present paper is interested in the following decision problems: (1) given finite frames F, F′, determine if there exists a frame F″ such that F and F′⊗F″, the synchronous product of F′ and F″, are bisimilar; (2) given finite frames F, F′, determine if there exists a frame F″ such that F and F′⊕F″, the asynchronous product of F′ and F″, are bisimilar. It shows that variants of the filtration method are adequate for solving them

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research