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
|