On the Joint Spectral Radius for Bounded Matrix Languages



: Bell Paul C, Halava Vesa, Hirvensalo Mika

: 2010

: Lecture Notes in Computer Science

: REACHABILITY PROBLEMS

: LECT NOTES COMPUT SC

: 6227

: 91

: 103

: 2

: 978-3-642-15348-8

: 0302-9743


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.



Last updated on 2024-26-11 at 21:04