Zobrazeno 1 - 10
of 7 371
pro vyhledávání: '"Nejati, A."'
This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often re
Externí odkaz:
http://arxiv.org/abs/2412.03932
This paper offers a data-driven divide-and-conquer strategy to analyze large-scale interconnected networks, characterized by both unknown mathematical models and interconnection topologies. Our data-driven scheme treats an unknown network as an inter
Externí odkaz:
http://arxiv.org/abs/2411.06743
Search-based software testing (SBST) is a widely adopted technique for testing complex systems with large input spaces, such as Deep Learning-enabled (DL-enabled) systems. Many SBST techniques focus on Pareto-based optimization, where multiple object
Externí odkaz:
http://arxiv.org/abs/2410.11769
We construct and discuss generic N=1 and N=2 Carroll dilaton supergravity in two dimensions. We apply our general results to the supersymmetric Carroll-Jackiw-Teitelboim model, including a discussion of specific boundary conditions. For N=2 Carroll d
Externí odkaz:
http://arxiv.org/abs/2409.17781
We introduce a compositional data-driven methodology for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompassing subsystems with unknown mathematical models. Our compositional scheme leverages
Externí odkaz:
http://arxiv.org/abs/2409.12469
Autor:
Amini, Mohammad Hossein, Nejati, Shiva
Deep Neural Networks (DNNs) for Autonomous Driving Systems (ADS) are typically trained on real-world images and tested using synthetic simulator images. This approach results in training and test datasets with dissimilar distributions, which can pote
Externí odkaz:
http://arxiv.org/abs/2408.13950
This paper presents our experience developing a Llama-based chatbot for question answering about continuous integration and continuous delivery (CI/CD) at Ericsson, a multinational telecommunications company. Our chatbot is designed to handle the spe
Externí odkaz:
http://arxiv.org/abs/2408.09277
This study addresses the challenges of energy deficiencies and high impact low probability (HILP) events in modern electrical grids by developing resilient microgrid energy management strategies. It introduces a sliding Model Predictive Control (MPC)
Externí odkaz:
http://arxiv.org/abs/2407.10278
Cryptographic hash functions play a crucial role in ensuring data security, generating fixed-length hashes from variable-length inputs. The hash function SHA-256 is trusted for data security due to its resilience after over twenty years of intense sc
Externí odkaz:
http://arxiv.org/abs/2406.20072
Autor:
Nejati, M. Shams, Vahidinia, M. H.
Publikováno v:
2024 Class. Quantum Grav. 41 225013
We develop a classical two-dimensional bi-scalar gravity based on the Kaluza-Klein reduction applied to the four-dimensional Horndeski theory. One of the scalar fields arises from the original four-dimensional theory, while the extra scalar emerges f
Externí odkaz:
http://arxiv.org/abs/2406.17388