Asad Ullah, Awan; Zamani, MajidCompositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.2018
Awan, Asad Ullah;Coogan, Samuel;Zamani,MajidCompositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approachConference on Decision and Control 2018
Awan,Asad Ullah;Zamani,MajidCompositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approachConference on Decision and Control2018
Zamani, Majir; Awan, Asad UllahAsad Ullah Awan, Majid Zamani: From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems2018
Zhang, K.A note on stationary stable profiles of networked evolutionary gamesProceedings of the 13th IEEE International Conference on Control & Automation (ICCA)2017
Zhang, K.Polynomial representation for orthogonal projections onto subspaces of finite gamesProceedings of the 36th Chinese Control Conference (CCC)2017
Zhang, K.;Liu, T.;Cheng, D.Observability of Finite Labeled Transition SystemsIEEE Transactions on Automatic Control2017
Zhang, K.The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-completeAutomatica201781217--220
Rungger, M.;Tabuada, P.A notion of robustness for cyber-physical systemsIEEE Transactions on Automatic Control20166182108--2123
Rungger, M.;Reissig, G.Arbitrarily precise abstractions for optimal controller synthesisProceedings of the 56th IEEE Conference on Decision and Control2017