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.;Reissig, G.Arbitrarily precise abstractions for optimal controller synthesisProceedings of the 56th IEEE Conference on Decision and Control2017
Weber, A.;Rungger, M.and Reissig, G.Optimized State Space Grids for AbstractionsIEEE Transactions on Automatic Control201762115816--5821
Rungger, M.;Tabuada, P.Computing robust controlled invariant sets of linear systemsIEEE Transactions on Automatic Control20176273665--3670
Reissig, G.;Weber, A.;Rungger, M.Feedback refinement relations for the synthesis of symbolic controllersIEEE Transactions on Automatic Control20176241781--1796
DeCastro, J.;Ehlers, R.;Rungger, M.;Balkan, A.;Kress-Gazit, H.Automated generation of dynamics-based runtime certificates for high-level controlDiscrete Event Dynamic Systems2017272371--405
Reissig, G.;Weber, A.and Rungger, M.Feedback refinement relations for the synthesis of symbolic controllersIEEE Transactions on Automatic Control20176241781--1796