<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This paper presents an abstraction-based technique to solve the problem of distributed controller design enforcing persistency specifications for interconnected systems. For each subsystem, controller synthesis is based on local distributed sensor information from other subsystems. An effective method is presented for quantification of such partial information in an abstraction in terms of level sets of Lyapunov-like ranking functions. The results are illustrated on a laboratory hydraulic system.</p></abstract>

This paper presents an abstraction-based technique to solve the problem of distributed controller design enforcing persistency specifications for interconnected systems. For each subsystem, controller synthesis is based on local distributed sensor information from other subsystems. An effective method is presented for quantification of such partial information in an abstraction in terms of level sets of Lyapunov-like ranking functions. The results are illustrated on a laboratory hydraulic system.

On distributed symbolic control of interconnected systems under persistency specifications

International Journal of Applied Mathematics and Computer Science

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

This paper presents an abstraction-based technique to solve the problem of distributed controller design enforcing persistency specifications for...

On distributed symbolic control of interconnected systems under persistency specifications

Pubblicato online: 31 dic 2020

Pagine: 629 - 639

Ricevuto: 03 feb 2020

Accettato: 26 ago 2020

DOI: https://doi.org/10.34768/amcs-2020-0046

Parole chiave
symbolic controller synthesis, distributed controller, interconnected system

© 2020 W. Alejandro Apaza-Perez et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

On distributed symbolic control of interconnected systems under persistency specifications

Pubblicato online: 31 dic 2020

Pagine: 629 - 639

Ricevuto: 03 feb 2020

Accettato: 26 ago 2020

DOI: https://doi.org/10.34768/amcs-2020-0046

Parole chiavesymbolic controller synthesis, distributed controller, interconnected system

© 2020 W. Alejandro Apaza-Perez et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Parole chiave
symbolic controller synthesis, distributed controller, interconnected system