1. Joint spectral radius and path-complete graph Lyapunov functions;Ahmadi;SIAM Journal on Control and Optimization,2014
2. Compositional modeling and analysis of multi-hop control networks;Alur;IEEE Transactions on Automatic Control,2011
3. Regular specifications of resource requirements for embedded control software;Alur,2008
4. Principles of model checking;Baier,2008
5. Lyapunov indicator of discrete inclusions. 1. 2. 3.;Barabanov;Automation and Remote Control,1988