A4 Refereed article in a conference publication
On the Joint Spectral Radius for Bounded Matrix Languages
Authors: Bell Paul C, Halava Vesa, Hirvensalo Mika
Publication year: 2010
Journal: Lecture Notes in Computer Science
Journal name in source: REACHABILITY PROBLEMS
Journal acronym: LECT NOTES COMPUT SC
Volume: 6227
First page : 91
Last page: 103
Number of pages: 2
ISBN: 978-3-642-15348-8
ISSN: 0302-9743
Abstract
This has an interpretation in terms of a control problem for a switched linear system with a fixed and finite number of switching operations; if we fix the maximum number of switching operations in advance, then determining convergence to the origin for all initial points is decidable whereas determining boundedness of all initial points is undecidable.
This has an interpretation in terms of a control problem for a switched linear system with a fixed and finite number of switching operations; if we fix the maximum number of switching operations in advance, then determining convergence to the origin for all initial points is decidable whereas determining boundedness of all initial points is undecidable.