Computational aspects of systems over rings - reachability and stabilizability

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)


In this paper, computational methods to test the reach ability and stabilizability of a system over a (polynomial) ring are derived. For a system S = (A, B) both reachability and stabilizability can be restated as right-invertibility conditions on the matrix (zI - A I B) over different rings. After the introduction of a polynomial ideal I related to the system, both properties can be studied simultaneously. We derive methods to compute a Gröbner basis of the ideal I and also characterize its variety. In this way we obtain algorithms to verify the reachability of a system over a polynomial ring. The corresponding stabilizability tests are mainly derived for the particular application of time-delay systems with point delays.
Originele taal-2Engels
Pagina's (van-tot)85-96
TijdschriftCWI Quarterly
Nummer van het tijdschrift1-2
StatusGepubliceerd - 1996


Duik in de onderzoeksthema's van 'Computational aspects of systems over rings - reachability and stabilizability'. Samen vormen ze een unieke vingerafdruk.

Citeer dit