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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2013

Autores

Ramos, G (Autor) Outra; Pequito, S (Autor) Outra; Aguiar, AP (Autor) FEUP; Ramos, J (Autor) Outra; Kar, S (Autor) Outra

Ata de Conferência Internacional

Título: 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013

Páginas: 973-980

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

Monticello, IL, 2 October 2013 through 4 October 2013

Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 7 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 8