Zobrazeno 1 - 10
of 87
pro vyhledávání: '"Sadegh Soudjani"'
Autor:
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Publikováno v:
IEEE Open Journal of Control Systems, Vol 2, Pp 425-438 (2023)
We propose a compositional approach to synthesize policies for networks of continuous-space stochastic control systems with unknown dynamics using model-free reinforcement learning (RL). The approach is based on implicitly abstracting each subsystem
Externí odkaz:
https://doaj.org/article/45505ccfb81a4a648e3ed92d8009b464
Publikováno v:
TheoretiCS, Vol Volume 2 (2023)
We consider fixpoint algorithms for two-player games on graphs with $\omega$-regular winning conditions, where the environment is constrained by a strong transition fairness assumption. Strong transition fairness is a widely occurring special case of
Externí odkaz:
https://doaj.org/article/6b3519a0b3084f459a688dac55cd1a44
Autor:
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Publikováno v:
IEEE Access, Vol 8, Pp 180825-180843 (2020)
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the
Externí odkaz:
https://doaj.org/article/ea728a0dbb1f48428b36dcabc815c883
Publikováno v:
IEEE Transactions on Automatic Control. 68:3011-3024
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0896c544ad6478721f7ba82da9c3d1f
https://doi.org/10.1109/tac.2023.3255141
https://doi.org/10.1109/tac.2023.3255141
Publikováno v:
IEEE Control Systems Letters. 7:460-465
This paper is concerned with a data-driven technique for constructing finite Markov decision processes (MDPs) as finite abstractions of discrete-time stochastic control systems with unknown dynamics while providing formal closeness guarantees. The pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40252f2893ed5beaba2bde212850f468
https://doi.org/10.1109/lcsys.2022.3188535
https://doi.org/10.1109/lcsys.2022.3188535
Publikováno v:
IEEE Transactions on Automatic Control. :1-14
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9aa59481de31a396e6021306b7624a4d
https://doi.org/10.1109/tac.2023.3260729
https://doi.org/10.1109/tac.2023.3260729
Publikováno v:
IEEE Control Systems Letters. 7:223-228
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b865d71b7c251277297c3373a16b6708
https://doi.org/10.1109/lcsys.2022.3186167
https://doi.org/10.1109/lcsys.2022.3186167
Publikováno v:
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d56e17d0097391c88fbffd7f3badb50
https://doi.org/10.1145/3575870.3589554
https://doi.org/10.1145/3575870.3589554
Publikováno v:
ISSUE=26;STARTPAGE=1;ENDPAGE=2;TITLE=HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control
In this ongoing work, we address data-driven computation of controllers that are correct by design for safety-critical systems and can provably satisfy complex functional requirements. We propose a two-stage approach that decomposes the problem into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::557daf7dae1a682b03064d6f1fdfbbcb
https://research.tue.nl/en/publications/238aa10a-379d-4fc2-83e1-30cec01a95e2
https://research.tue.nl/en/publications/238aa10a-379d-4fc2-83e1-30cec01a95e2
Publikováno v:
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 1-11
STARTPAGE=1;ENDPAGE=11;TITLE=HSCC '23
STARTPAGE=1;ENDPAGE=11;TITLE=HSCC '23
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system description and a co-safe temporal logic specification, SySCoRe provides all ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::597944f1a43e8e4555b8c4321970196b
https://research.tue.nl/en/publications/7324d364-8d2f-48cc-af16-53575d481b28
https://research.tue.nl/en/publications/7324d364-8d2f-48cc-af16-53575d481b28