Zobrazeno 1 - 10
of 281
pro vyhledávání: '"Karsai, Gabor"'
Cyber-physical systems such as microgrids consist of interconnected components, localized power systems, and distributed energy resources with clearly defined electrical boundaries. They can function independently but can also work in tandem with the
Externí odkaz:
http://arxiv.org/abs/2407.06217
Cyber-physical power systems, such as grids, integrate computational and communication components with physical systems to introduce novel functions and improve resilience and fault tolerance. These systems employ computational components and real-ti
Externí odkaz:
http://arxiv.org/abs/2406.17785
Autor:
Luo, Baiting, Ramakrishna, Shreyas, Pettet, Ava, Kuhn, Christopher, Karsai, Gabor, Mukhopadhyay, Ayan
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:
http://arxiv.org/abs/2302.09750
Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still susceptible to edge cases. Such systems must be thoroughly tested and validated before being deployed in the real world
Externí odkaz:
http://arxiv.org/abs/2208.06309
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:
http://arxiv.org/abs/2206.13000
Autor:
Coglio, Alessandro, McCarthy, Eric, Westfold, Stephen, Balasubramanian, Daniel, Dubey, Abhishek, Karsai, Gabor
Publikováno v:
EPTCS 359, 2022, pp. 151-167
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more familiarity and automation, in order to make this technology more widely
Externí odkaz:
http://arxiv.org/abs/2205.11706
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynamic Assurance of these systems requires designing runtime safety compon
Externí odkaz:
http://arxiv.org/abs/2202.13510
Virtual topologies in peer-to-peer networks can reduce the traffic consumed by altering the logical connectivity of peers without altering the underlying network. However, such sparsely connected virtual topologies do not focus on the needs for smart
Externí odkaz:
http://arxiv.org/abs/2112.06848
Efficient Out-of-Distribution Detection Using Latent Space of $\beta$-VAE for Cyber-Physical Systems
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:
http://arxiv.org/abs/2108.11800
Autor:
Hartsell, Charles, Ramakrishna, Shreyas, Dubey, Abhishek, Stojcsics, Daniel, Mahadevan, Nagabhushan, Karsai, Gabor
Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may arise due to distribution shifts, environmental context, or failure o
Externí odkaz:
http://arxiv.org/abs/2102.09419