BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
A model checking framework for linear time invariant switching systems using structural systems analysis

Participants in the publication
Guilherme Ramos (Author)
Dep. Informática
 Sergio Pequito (Author)
A. Pedro Aguiar (Author)
Jaime Ramos (Author)
Soummya Kar (Author)

Date of Publication
2013-10

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

Publication Identifiers

Address
Monticello, IL

Publisher
IEEE

Document Identifiers
DOI - https://doi.org/10.1109/allerton.2013.6736631
URL - http://dx.doi.org/10.1109/allerton.2013.6736631


Export

APA
Guilherme Ramos, Sergio Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar, (2013). A model checking framework for linear time invariant switching systems using structural systems analysis. 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), -

IEEE
Guilherme Ramos, Sergio Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar, "A model checking framework for linear time invariant switching systems using structural systems analysis" in 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), Monticello, IL, 2013, pp. -, doi: 10.1109/allerton.2013.6736631

BIBTEX
@InProceedings{55368, author = {Guilherme Ramos and Sergio Pequito and A. Pedro Aguiar and Jaime Ramos and Soummya Kar}, title = {A model checking framework for linear time invariant switching systems using structural systems analysis}, booktitle = {2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton)}, year = 2013, pages = {-}, address = {Monticello, IL}, publisher = {IEEE} }