most citedControl Design for Risk-Based Signal Temporal Logic Specifications

21 citations · 52 across the 8 of their papers we have counts for

collaborators

8 papers

eess.SY202013 cited

Cyber Attack and Machine Induced Fault Detection and Isolation Methodologies for Cyber-Physical Systems

Mahdi Taheri, Khashayar Khorasani, Iman Shames +1

In this paper, the problem of simultaneous cyber attack and fault detection and isolation (CAFDI) in cyber-physical systems (CPS) is studied. The proposed solution methodology cons…

eess.SY2020

Mitigation and Resiliency of Multi-Agent Systems Subject to Malicious Cyber Attacks on Communication Links

Mahdi Taheri, Khashayar Khorasani, Iman Shames +1

This paper aims at investigating a novel type of cyber attack that is injected to multi-agent systems (MAS) having an underlying directed graph. The cyber attack, which is designat…

eess.SY2020

Undetectable Cyber Attacks on Communication Links in Multi-Agent Cyber-Physical Systems

Mahdi Taheri, Khashayar Khorasani, Iman Shames +1

The objective in this paper is to study and develop conditions for a network of multi-agent cyber-physical systems (MAS) where a malicious adversary can utilize vulnerabilities in…

eess.SY20201 cited

Optimization with Zeroth-Order Oracles in Formation

Elad Michael, Daniel Zelazo, Tony A. Wood +2

In this paper, we consider the optimisation of time varying functions by a network of agents with no gradient information. The proposed a novel method to estimate the gradient at e…

math.OC20205 cited

Online Stochastic Convex Optimization: Wasserstein Distance Variation

Iman Shames, Farhad Farokhi

Distributionally-robust optimization is often studied for a fixed set of distributions rather than time-varying distributions that can drift significantly over time (which is, for…

eess.SY202021 cited

Control Design for Risk-Based Signal Temporal Logic Specifications

Sleiman Safaoui, Lars Lindemann, Dimos V Dimarogonas +2

We present a general framework for risk semantics on Signal Temporal Logic (STL) specifications for stochastic dynamical systems using axiomatic risk theory. We show that under our…