User: Guest  Login
sort by:
and:
next

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
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
sort by:
and:
next