Zobrazeno 1 - 10
of 230
pro vyhledávání: '"Soudjani, Sadegh"'
Autor:
Casablanca, Ernesto, Zhang, Zengjie, Marchesini, Gregorio, Haesaert, Sofie, Dimarogonas, Dimos V., Soudjani, Sadegh
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper showcases a novel efficient and easy-to-use software framework for multi-
Externí odkaz:
http://arxiv.org/abs/2409.14833
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a universal, robust quantum programming language has emerged as a key r
Externí odkaz:
http://arxiv.org/abs/2409.10231
Autor:
Kordabad, Arash Bahari, Vlahakis, Eleftherios E., Lindemann, Lars, Dimarogonas, Dimos V., Soudjani, Sadegh
We consider distributionally robust optimal control of stochastic linear systems under signal temporal logic (STL) chance constraints when the disturbance distribution is unknown. By assuming that the underlying predicate functions are Lipschitz cont
Externí odkaz:
http://arxiv.org/abs/2409.03855
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dyna
Externí odkaz:
http://arxiv.org/abs/2408.07591
This paper presents the use of robust model predictive control for the design of an intent-aware collision avoidance system for multi-agent aircraft engaged in horizontal maneuvering scenarios. We assume that information from other agents is accessib
Externí odkaz:
http://arxiv.org/abs/2408.06999
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspired by breakthroughs in the underlying machine learning techniques. As
Externí odkaz:
http://arxiv.org/abs/2407.21029
Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolving in a continuous uncountable space, the stochastic evolution of the s
Externí odkaz:
http://arxiv.org/abs/2407.03896
Publikováno v:
IEEE International Conference on Quantum Software (QSW), Shenzhen, China, 2024, pp. 58-68
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for useful quantum computing grows. The problem arises as the number of qub
Externí odkaz:
http://arxiv.org/abs/2406.04004
Publikováno v:
IEEE International Conference on Quantum Software (QSW), Shenzhen, China, 2024, pp. 125-134
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computing. The goal of the verification is to ensure correctness of the Silq
Externí odkaz:
http://arxiv.org/abs/2406.03119
Autor:
Ingham, John F., Hutchings, Frances, Zuliani, Paolo, Wang, Yujiang, Soudjani, Sadegh, Taylor, Peter N.
Vagus Nerve Stimulation (VNS) is an established palliative treatment for drug resistant epilepsy. While effective for many patients, its mechanism of action is incompletely understood. Predicting individuals' response, or optimum stimulation paramete
Externí odkaz:
http://arxiv.org/abs/2406.02729