Sammanfattning-Vi bevisar att stark strukturell kontroll av ett par strukturella matriser (A, B) kan verifieras i tid linjär i n + r + v, där A är kvadrat, n och r betecknar antalet kolumner av A respektive B, respektive v är antalet nonzero poster i (A, B). Vi presenterar också en algoritm som inser denna gräns, vilket beror på en ny, hög nivå metod för att verifiera stark strukturell kontrollbarhet och använder sparsam matris datastrukturer. Linjär tids komplexitet uppnås faktiskt genom separat lagring av både strukturmatrisen (A, B) och dess införlivande, länka de två datastrukturerna genom en tredje, och ett nytt, effektivt system för att uppdatera alla data under beräkningarna. Vi illustrerar prestandan hos vår algoritm med hjälp av system av olika storlekar och gleshet.
I REF presenterades en algoritm med en körtid linjär i antalet noder och kanter för att verifiera om ett system är starkt strukturellt kontrollerbart.
A linear time algorithm to verify strong structural controllability
{'venue': 'Proc. 53rd IEEE Conf. Decision and Control (CDC), Los Angeles, California, USA on December 15-17, 2014, pp. 5574-5580', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}