Abstract
This contribution discusses symbolic algorithms for tests on properties of implicit control systems (DAEs), like observability, accessibility or identifiability. The algorithms related to observability and accessibility have already been published. The focus lies on those operations performed in a computer algebra system which are common for all these tests. In particular operations based on Groebner bases are applied to carry out the necessary elimination in the case of polynomial nonlinearities. Furthermore some features of the implemented package DAEgeom in the computer algebra system MAPLE are discussed and finally the package is applied to the mathematical model of the VTOL aircraft. It is available via the institutes homepage.
| Original language | English |
|---|---|
| Title of host publication | Preprints Volume 1-3, 6th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2004) |
| Pages | 1427-1432 |
| Number of pages | 6 |
| Publication status | Published - Sept 2004 |
Fields of science
- 101028 Mathematical modelling
- 202 Electrical Engineering, Electronics, Information Engineering
- 202003 Automation
- 202017 Embedded systems
- 202027 Mechatronics
- 202034 Control engineering
- 203015 Mechatronics