Exportar referência
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}
}