Asad Ullah, Awan; Zamani, Majid.Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies..2018

Awan, Asad Ullah;Coogan, Samuel;Zamani,Majid.Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.Conference on Decision and Control .2018

Awan,Asad Ullah;Zamani,Majid.Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.Conference on Decision and Control.2018

Zamani, Majir; Awan, Asad Ullah.Asad Ullah Awan, Majid Zamani: From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.2018

Zhang, K..A note on stationary stable profiles of networked evolutionary games.Proceedings of the 13th IEEE International Conference on Control & Automation (ICCA).2017

Zhang, K..Polynomial representation for orthogonal projections onto subspaces of finite games.Proceedings of the 36th Chinese Control Conference (CCC).2017

Zhang, K.;Liu, T.;Cheng, D..Observability of Finite Labeled Transition Systems.IEEE Transactions on Automatic Control.2017

Zhang, K..The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete.Automatica.2017.81.217--220

Rungger, M.;Tabuada, P..A notion of robustness for cyber-physical systems.IEEE Transactions on Automatic Control.2016.61.8.2108--2123

Rungger, M.;Reissig, G..Arbitrarily precise abstractions for optimal controller synthesis.Proceedings of the 56th IEEE Conference on Decision and Control.2017