<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

Published Online: Dec 31, 2020

Page range: 629 - 639

Received: Feb 03, 2020

Accepted: Aug 26, 2020

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

Keywords
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

Published Online: Dec 31, 2020

Page range: 629 - 639

Received: Feb 03, 2020

Accepted: Aug 26, 2020

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

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

Keywords
symbolic controller synthesis, distributed controller, interconnected system