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 base...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
IEEE
2020
|