A4 Refereed article in a conference publication

On the Joint Spectral Radius for Bounded Matrix Languages




AuthorsBell Paul C, Halava Vesa, Hirvensalo Mika

Publication year2010

JournalLecture Notes in Computer Science

Journal name in sourceREACHABILITY PROBLEMS

Journal acronymLECT NOTES COMPUT SC

Volume6227

First page 91

Last page103

Number of pages2

ISBN978-3-642-15348-8

ISSN0302-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.



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