Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems

• The control and verification of industrial processes, modeled as discrete-time descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations. In this article, we introduce a new control synthesis method for descriptor systems which is based on formal abstractions and enables control design over related reduced-order models. We leverage notions of exact and approximate similarity relations, which hold for the algebraic couplings that are inherent to descriptor systems. Using the behavioral framework, we extend a control refinement scheme for classical dynamical systems and develop a corresponding notion for descriptor systems: We show that any given well-posed controller of the abstract (reduced-order) descriptor system can be refined to a controller for the original descriptor system. The resulting controlled system preserves the same controlled output behavior in the case of exact similarity, whereas in the case of approximate similarity, the output behavior of the controlled descriptor system is shown to have a bounded deviation from that of the abstract model where the controller is designed.

Subject headings

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

Keyword

Mathematical model

Dynamical systems

Trajectory

Control design

Couplings

Aerospace electronics

Approximate simulation relations

behavioral theory

descriptor systems (DS)

formal verification

Publication and Content Type

ref (subject category)

art (subject category)