Guilherme Ramos, Sergio Daniel 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 Park & Retreat Center, Monticello, IL, USA, October 2-4, 2013. pages 973-980, IEEE, 2013. [doi]
Abstract is missing.