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