Publications‎ > ‎

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



C11


 


@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}
}

Comments