Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Witsenhausen's counterexample"'
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 26:1117-1143
Providing counterexample for the refutation of a property is an essential feature of model checking, if it is not the most important. However, generating counterexample in stochastic model checking needs a dedicated algorithm. It usually costs too mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f96cfb55b58d42fb62ceeb45a1ff25d
https://doi.org/10.1142/s021819401650039x
https://doi.org/10.1142/s021819401650039x
Publikováno v:
Systems & Control: Foundations & Applications ISBN: 9783319790329
Due to copyright restrictions, the access to the full text of this article is only available via subscription. In this chapter, we study the approximation of Witsenhausen’s counterexample and the Gaussian relay channel problem by using the results
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3fe17df64c68e2952237c54fc74488f
https://hdl.handle.net/10679/6108
https://hdl.handle.net/10679/6108
Autor:
William M. McEneaney, Seung Hak Han
Publikováno v:
Automatica. 55:55-65
The Witsenhausen counterexample is examined. The problem is reduced to an optimization problem over the space of quantile functions. Calculus of variation methods are applied, and necessary conditions are generated. Aspects of the structure of the pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92592128d23795c906b8d999e9fa660b
https://doi.org/10.1016/j.automatica.2015.02.026
https://doi.org/10.1016/j.automatica.2015.02.026
Autor:
Ágnes Tóth, Gábor Simonyi
Publikováno v:
IEEE Transactions on Information Theory. 61:715-726
We investigate a communication setup where a source output is sent through a free noisy channel first and an additional codeword is sent through a noiseless, but expensive channel later. With the help of the second message the decoder should be able
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1de725002811c38f29f178f23506be01
https://doi.org/10.1109/tit.2014.2381668
https://doi.org/10.1109/tit.2014.2381668
Publikováno v:
SIAM Journal on Control and Optimization. 53:1681-1712
In this paper, we identify sufficient conditions under which static teams and a class of sequential dynamic teams admit team-optimal solutions. We first investigate the existence of optimal solutions in static teams where the observations of the deci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a3fc8b63980f63ebc5b109ff66be39b
https://doi.org/10.1137/14096534x
https://doi.org/10.1137/14096534x
Autor:
Shih-Hao Tseng, Ao Tang
Publikováno v:
CDC
We propose a local search algorithm to find an optimal controller of the Witsenhausen's counterexample, which still remains unknown. Via variational analysis, a few necessary conditions are derived, and the algorithm is guided by the conditions. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c23c5ca9c6c6f3b5510c48ffa527160
https://doi.org/10.1109/cdc.2017.8264401
https://doi.org/10.1109/cdc.2017.8264401
Publikováno v:
ACC
There is a growing concern regarding the design of decentralized control systems. Witsenhausen's counterexample is a well-known problem which has remained open in this context, and emphasizes the necessity of communication between blocks in a distrib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b7d2e759f1c9670504744bbbcdf8ba2
https://doi.org/10.23919/acc.2017.7963094
https://doi.org/10.23919/acc.2017.7963094
Publikováno v:
International Journal of Control and Automation. 7:251-262
With the wide application of probabilistic systems, the research of counterexample generation for probabilistic system with model checking has attracted wide attention. For counterexample of complex parametric system, proposes a counterexample genera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baecedf47190716749b812224c853c06
https://doi.org/10.14257/ijca.2014.7.2.24
https://doi.org/10.14257/ijca.2014.7.2.24
Publikováno v:
IEEE Transactions on Automatic Control. 58:2189-2204
Recently, a vector version of Witsenhausen's counterexample was considered and it was shown that in the asymptotic limit of infinite vector length, certain vector-quantization-based control strategies are provably within a constant factor of the asym
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3d15e8ed617638d6258e3233aa37769
https://doi.org/10.1109/tac.2013.2257595
https://doi.org/10.1109/tac.2013.2257595
Publikováno v:
CDC
In this paper, we consider finite model approximations of a large class of static and dynamic team problems where these models are constructed through uniform quantization of the observation and action spaces of the agents. The strategies obtained fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cfed82791af1d09780dba152bfd4fd6
https://doi.org/10.1109/cdc.2016.7799063
https://doi.org/10.1109/cdc.2016.7799063