activity
20182024
most citedControl Design for Risk-Based Signal Temporal Logic Specifications

21 citations · 24 across the 12 of their papers we have counts for

collaborators
Showing eess.SYShow all

10 papers · 1 filter

eess.SY2022

Robust Data-Driven Output Feedback Control via Bootstrapped Multiplicative Noise

Benjamin Gravell, Iman Shames, Tyler Summers

We propose a robust data-driven output feedback control algorithm that explicitly incorporates inherent finite-sample model estimate uncertainties into the control design. The algo…

eess.SY2022

Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems

Sleiman Safaoui, Lars Lindemann, Iman Shames +1

Motivated by the recent interest in risk-aware control, we study a continuous-time control synthesis problem to bound the risk that a stochastic linear system violates a given spec…

eess.SY2022

Policy Iteration for Multiplicative Noise Output Feedback Control

Benjamin Gravell, Matilde Gargiani, John Lygeros +1

We propose a policy iteration algorithm for solving the multiplicative noise linear quadratic output feedback design problem. The algorithm solves a set of coupled Riccati equation…

eess.SY2022

Risk Bounded Nonlinear Robot Motion Planning With Integrated Perception & Control

Venkatraman Renganathan, Sleiman Safaoui, Aadi Kothari +3

Robust autonomy stacks require tight integration of perception, motion planning, and control layers, but these layers often inadequately incorporate inherent perception and predict…

eess.SY2020

Revisiting the Water Quality Sensor Placement Problem: Optimizing Network Observability and State Estimation Metrics

Ahmad F. Taha, Shen Wang, Yi Guo +4

Real-time water quality (WQ) sensors in water distribution networks (WDN) have the potential to enable network-wide observability of water quality indicators, contamination event d…

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…