A Model Checking Framework for Linear Time Invariant Switching Systems using Structural Systems Analysis

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Ramos, G (Author) Other; Pequito, S (Author) Other; Aguiar, AP (Author) FEUP; Ramos, J (Author) Other; Kar, S (Author) Other

Conference proceedings International

Title: 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013

Pages: 973-980

51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013

Monticello, IL, 2 October 2013 through 4 October 2013

Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 7 Citations

Other information

Authenticus ID: P-009-BS9

DOI: 10.1109/allerton.2013.6736631

Abstract (EN): This paper introduces the concept of structural hybrid systems to address, as a particular case, the model checking problem of switching (possible large scale) linear time invariant systems. Within the proposed setup, we provide necessary conditions to ensure properties such as controllability, at each time. We show that such model checking controllability properties can be implemented using efficient algorithms (with polynomial complexity). An example, based on the IEEE 5-bus power system, is presented which illustrates our model checking and design methodologies.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 8