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.;Reissig, G.
Arbitrarily precise abstractions for optimal controller synthesis
Proceedings of the 56th IEEE Conference on Decision and Control
2017

Weber, A.;Rungger, M.and Reissig, G.
Optimized State Space Grids for Abstractions
IEEE Transactions on Automatic Control
2017
62
11
5816--5821

Rungger, M.;Tabuada, P.
Computing robust controlled invariant sets of linear systems
IEEE Transactions on Automatic Control
2017
62
7
3665--3670

Reissig, G.;Weber, A.;Rungger, M.
Feedback refinement relations for the synthesis of symbolic controllers
IEEE Transactions on Automatic Control
2017
62
4
1781--1796

DeCastro, J.;Ehlers, R.;Rungger, M.;Balkan, A.;Kress-Gazit, H.
Automated generation of dynamics-based runtime certificates for high-level control
Discrete Event Dynamic Systems
2017
27
2
371--405

Reissig, G.;Weber, A.and Rungger, M.
Feedback refinement relations for the synthesis of symbolic controllers
IEEE Transactions on Automatic Control
2017
62
4
1781--1796