7 papers
Temporal Logic Resilience for Continuous-time Systems
Ratnangshu Das, Negar Monir, Youssef Ait Si +3
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satis…
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notions of effort and resilience of a dynamical control system defined by the maximum disturbance the system can withstand while satisfying given fin…
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…
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…
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…
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…