7 citations · 15 across the 31 of their papers we have counts for
9 papers · 1 filter
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create…
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +2
We consider distributionally robust optimal control of stochastic linear systems under signal temporal logic (STL) chance constraints when the disturbance distribution is unknown.…
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
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…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
Arash Bahari Kordabad, Andrea Da Col, Arabinda Ghosh +2
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 maneuveri…
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
Andrew Wright, Marco Lewis, Paolo Zuliani +1
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 u…
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
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 computi…
Vagus nerve stimulation: Laying the groundwork for predictive network-based computer models
John F. Ingham, Frances Hutchings, Paolo Zuliani +3
Vagus Nerve Stimulation (VNS) is an established palliative treatment for drug resistant epilepsy. While effective for many patients, its mechanism of action is incompletely underst…
Temporal Logic Resilience for Dynamical Systems
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use f…