Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Mohammed Alshiekh"'
Autor:
Yazeed Alnumay, Ali J. Alrasheed, Hassane Trigui, Abdulwahab Halawani, Mohammed Alshiekh, Sahejad Patel
Publikováno v:
Day 2 Tue, November 01, 2022.
With the ubiquity of machine learning technologies, their adoption in the energy industry is bound to become mainstream. However, a major setback of developing innovative modern machine learning technologies is their significant reliance on large lab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36453c81b7c9cd0f498199422ea1bcdd
https://doi.org/10.2118/211821-ms
https://doi.org/10.2118/211821-ms
Publikováno v:
IEEE Transactions on Automatic Control, 66, 3251-3258
IEEE Transactions on Automatic Control, 66, 7, pp. 3251-3258
IEEE Transactions on Automatic Control, 66, 7, pp. 3251-3258
We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::614c47e7b35ddae6ad2275c93f7b3124
https://doi.org/10.1109/tac.2020.3018029
https://doi.org/10.1109/tac.2020.3018029
Autor:
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
Publikováno v:
Formal Methods in System Design
Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97be5c9d90212087d72a616cd0e53aaa
https://doi.org/10.1007/s10703-017-0276-9
https://doi.org/10.1007/s10703-017-0276-9
This study is aimed at investigating the potentiality for utilizing some locally available eco-friendly materials to replace some concrete constituents as a possible opportunity to introduce sustainable construction in Sudan. Six suggested scenarios
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0a16531e4f8f942d1afc1f28c23fa20
https://hdl.handle.net/10576/14704
https://hdl.handle.net/10576/14704
Publikováno v:
ICRA
Designing robot controllers that correctly react to changes in the environment is a time-consuming and error-prone process. An alternative is to use “correct-by-construction” synthesis approaches to automatically generate controller designs from
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17900ea1b5100cef640c1ce739f7de27
https://doi.org/10.1109/icra.2019.8793722
https://doi.org/10.1109/icra.2019.8793722
Autor:
Ufuk Topcu, Niklas T. Lauffer, Mohammed Alshiekh, Masahiro Ono, W. K. Perera, Jie Fu, Melkior Ornik
Publikováno v:
CDC
Standard methods for synthesis of control policies in Markov decision processes with unknown transition probabilities largely rely on a combination of exploration and exploitation. While these methods often offer theoretical guarantees on system perf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da6491327e4f5b6e42dd71170b90d0fd
https://doi.org/10.1109/cdc.2018.8619134
https://doi.org/10.1109/cdc.2018.8619134
Autor:
Deji Akinwande, Hyoyoung Jeong, Shideh Kabiri Ameri, Withanage K. Perera, Myungsoo Kim, Nanshu Lu, Irene Kuang, Ufuk Topcu, Mohammed Alshiekh
Publikováno v:
npj 2D Materials and Applications, Vol 2, Iss 1, Pp 1-7 (2018)
Electrooculography (EOG) is a method to record the electrical potential between the cornea and the retina of human eyes. Despite many applications of EOG in both research and medical diagnosis for many decades, state-of-the-art EOG sensors are still
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ac8b4a9e4bf98bb1884408a2c007db4
https://doi.org/10.1038/s41699-018-0064-4
https://doi.org/10.1038/s41699-018-0064-4
Publikováno v:
IROS
Classification techniques are useful for processing complex signals into labels with semantic value. For example, they can be used to interpret brain signals generated by humans corresponding to a finite set of commands for a physical device. The cla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9392f086fb5a1a3a9edf56cc69d2c877
https://doi.org/10.1109/iros.2017.8206138
https://doi.org/10.1109/iros.2017.8206138