Modular Distribution and Application to Discrete Controller Synthesis | Zendy

Gwenaël Delaval | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modular Distribution and Application to Discrete Controller Synthesis

Author(s) -

Gwenaël Delaval

Publication year - 2009

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.2008.01.003

Subject(s) - computer science , modular design , controller (irrigation) , abstraction , a priori and a posteriori , projection (relational algebra) , theoretical computer science , control engineering , algorithm , programming language , engineering , philosophy , epistemology , agronomy , biology

International audienceThis paper shows the application of the automatic distribution of synchronous reactive programs to the specific problem of discrete controller synthesis of complex reactive systems. Discrete controller synthesis is a formal method used to ensure properties on a flexible system which does not a priori verify them. However, this method is efficient only on Boolean programs. More complex embedded systems, comprising complex data types and structures, cannot be addressed without abstraction means. We show how such abstractions can be obtained automatically using a type-directed projection operation. This operation allows then the safe recombination of the result of the synthesis with the original abstracted system, preserving the ensured properties

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