Zobrazeno 1 - 10
of 315
pro vyhledávání: '"Gabor, Karsai"'
Autor:
Daniel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon Koutsoukos, Gabor Karsai
Publikováno v:
Sensors, Vol 21, Iss 18, p 6089 (2021)
Autonomous Cyber-Physical Systems (CPS) must be robust against potential failure modes, including physical degradations and software issues, and are required to self-manage contingency actions for these failures. Physical degradations often have a si
Externí odkaz:
https://doaj.org/article/f3b7607e74b145b286fe115c80699aae
Publikováno v:
ACM Transactions on Cyber-Physical Systems. 6:1-34
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models is their ability to handle high-dimensional state-space and learn compact surrogate representations of the operation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da3bc0fb99221d9726514f77dff4e5f9
https://doi.org/10.1145/3491243
https://doi.org/10.1145/3491243
Autor:
Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher Kuhn, Gabor Karsai, Ayan Mukhopadhyay
Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and uncertain operating conditions is a critical challenge for the safety of these systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::831d57d8221b0962b1a7f630f2f5b66b
Autor:
Ajay D Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Saqib Hasan, Daniel Balasubramanian, Gabor Karsai
Publikováno v:
International Journal of Prognostics and Health Management, Vol 9, Iss 1 (2018)
Fault management systems that observe the state of the system, decide if there is an anomaly and then take automated actions to isolate faults. For example, in electrical networks relays and breaks isolate faults in order to arrest failure propagatio
Externí odkaz:
https://doaj.org/article/fea6eaac1a80426b8962b548433413f8
Autor:
Arthur F. Witulski, Gabor Karsai, Robert A. Reed, Tim Holman, En Xia Zhang, Kan Li, Jeffrey S. Kauppila, Philippe C. Adell, Andrew C. Daniel, M. W. Rony, Bernard G. Rax, Mahmud Reaz, Ronald D. Schrimpf
Publikováno v:
IEEE Transactions on Nuclear Science. 68:1465-1472
Analog-to-digital converters (ADCs) with different topologies respond differently to total ionizing dose (TID). A flexible behavioral modeling approach is proposed for system-level simulation of TID effects in successive-approximation-register (SAR)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf647244db1851fc45d966ee8145583b
https://doi.org/10.1109/tns.2021.3077944
https://doi.org/10.1109/tns.2021.3077944
Publikováno v:
2022 IEEE International Conference on Omni-layer Intelligent Systems (COINS).
Executing distributed cyber-physical software processes on edge devices that maintains the resiliency of the overall system while adhering to resource constraints is quite a challenging trade-off to consider for developers. Current approaches do not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae6f621f71a2026339edf69cea8bde08
https://doi.org/10.1109/coins54846.2022.9854934
https://doi.org/10.1109/coins54846.2022.9854934
Autor:
John W. Evans, Ronald D. Schrimpf, Ryan Alles, Rebekah Austin, Arthur F. Witulski, Gabor Karsai, Kaitlyn L. Ryder, Nagabhushan Mahadevan, Michael J. Campola
Publikováno v:
Facta universitatis - series: Electronics and Energetics. 34:1-20
We present an overview of the Systems Engineering and Assurance Modeling (SEAM) platform, a web-browser-based tool which is designed to help engineers evaluate the radiation vulnerabilities and develop an assurance approach for electronic parts in sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::523ee498e9218dcdb61f43650f34ebbd
https://doi.org/10.2298/fuee2101001r
https://doi.org/10.2298/fuee2101001r
Publikováno v:
IEEE Transactions on Industrial Electronics. 67:9393-9404
Microgrids are seen as an effective way to achieve reliable, resilient, and efficient operation of the power distribution system. Core functions of the microgrid control system are defined by the IEEE Standard 2030.7; however, the algorithms that rea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ebeef99061e6be7a59ad14f487ab908
https://doi.org/10.1109/tie.2019.2952803
https://doi.org/10.1109/tie.2019.2952803
Autor:
Gabor Karsai, Daniel Balasubramanian
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f188995cd5aeb7aef378cc3db6e13cb
https://doi.org/10.1007/978-3-031-19756-7_6
https://doi.org/10.1007/978-3-031-19756-7_6
Publikováno v:
2021 5th International Conference on System Reliability and Safety (ICSRS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52088afaeb0f998eab6b80c4b0070e8a
https://doi.org/10.1109/icsrs53853.2021.9660735
https://doi.org/10.1109/icsrs53853.2021.9660735