Abstraction-based low complexity controller synthesis for interconnected non-deterministic systems

Abstract

This paper presents an abstraction based approach to the design of distributed controllers for n-dimensional non-deterministic interconnected systems. Lyapunov-like functions are used to characterize partial information in an abstraction for a lower complexity controller synthesis in each sub-system. A step-by-step algorithmic procedure is proposed to implement the proposed approach. A numerical example is provided to illustrate the implementation issues.