On matrix mortality in low dimensions

Olivier Bournez 1 Michael Branicky
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This chapter of the book "Open problems in Mathematical Systems Theory and Control" discuss the question of the decidability of the mortality problem for two by two matrices.
Type de document :
Chapitre d'ouvrage
V. Blondel, E. Sontag, M. Vidyasagar, J. Willems. Open Problems in Mathematical Systems Theory and Control, Springer-Verlag, pp.67-70, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00108039
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:40:23
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00108039, version 1

Collections

Citation

Olivier Bournez, Michael Branicky. On matrix mortality in low dimensions. V. Blondel, E. Sontag, M. Vidyasagar, J. Willems. Open Problems in Mathematical Systems Theory and Control, Springer-Verlag, pp.67-70, 1998. 〈inria-00108039〉

Partager

Métriques

Consultations de la notice

117