7 citations · 15 across the 31 of their papers we have counts for
20 papers · 1 filter
Integer-Free Control Synthesis for Signal Temporal Logic via Ranked Implicants
Arash Bahari Kordabad, Mohammad H. Mamduhi, Sadegh Soudjani
This paper proposes an integer-free method for control synthesis of nonlinear discrete-time systems under finite-horizon Signal Temporal Logic (STL) constraints. Instead of introdu…
Context-Triggered Robust MPC for Temporal Logic Specifications
Arash Bahari Kordabad, Satya Prakash Nayak, Sadegh Soudjani +1
We consider the problem of synthesizing robust feedback controllers for discrete-time linear systems that ensure the satisfaction of context-dependent linear temporal logic specifi…
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann +3
Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the…
Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
Negar Monir, Sadegh Soudjani
Decision-making under uncertainty is central to many safety-critical applications, where decisions must be guided by probabilistic modeling formalisms. This paper introduces a nove…
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
Ernesto Casablanca, Oliver Schön, Paolo Zuliani +1
Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verif…
Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
Amirreza Valaei, Arash Bahari Kordabad, Sadegh Soudjani
Policy gradient methods are a powerful family of reinforcement learning algorithms for continuous control that optimize a policy directly. However, standard first-order methods oft…
Maximally Resilient Controllers under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notion of resilience of a dynamical system, defined by the maximum disturbance a controlled dynamical system can withstand while satisfying given tem…
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
Negar Monir, Youssef Ait Si, Ratnangshu Das +3
We propose a resilience-based framework for computing feasible assume-guarantee contracts that ensure the satisfaction of temporal specifications in interconnected discrete-time sy…
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
The requirement for identifying accurate system representations has not only been a challenge to fulfill, but it has compromised the scalability of formal methods, as the resulting…
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Switched affine systems are often used to model and control complex dynamical systems that operate in multiple modes. However, uncertainties in the system matrices can challenge th…
Logic-based Resilience Computation of Power Systems Against Frequency Requirements
Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Incorporating renewable energy sources into modern power grids has significantly decreased system inertia, which has raised concerns about power system vulnerability to disturbance…
Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
Arash Bahari Kordabad, Arabinda Ghosh, Sybert Stroeve +1
In this paper, we propose an intent-aware Model Predictive Control (MPC) approach for the remain-well-clear (RWC) functionality of a multi-agent aircraft detect-and-avoid (DAA) sys…
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +3
In this paper, we propose a distributionally robust control synthesis for an agent with stochastic dynamics that interacts with other agents under uncertainties and constraints exp…
Stochastic Generalized Dynamic Games with Coupled Chance Constraints
Seyed Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
This paper investigates stochastic generalized dynamic games with coupling chance constraints, where agents have incomplete information about uncertainties satisfying a concentrati…
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.…
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…
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…
Using Knowledge Awareness to improve Safety of Autonomous Driving
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making ab…
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids with Shared Battery
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
In this paper, we focus on modeling and analysis of demand-side management in a microgrid where agents utilize grid energy and a shared battery charged by renewable energy sources.…