|
|
| @INPROCEEDINGS{PequitoC11, author={Ramos, G. and Pequito, S. and Aguiar, A.P. and Ramos, J. and Kar, S.}, booktitle={Proceedings of the 51st Annual Allerton Conference on Communication, Control, and Computing}, title={A model checking framework for linear time invariant switching systems using structural systems analysis}, year={2013}, pages={973-980}, month={Oct} }
|
|
|