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

21 citations · 23 across the 4 of their papers we have counts for

collaborators

9 papers

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…

math.DS2020

Robust Control Design for Linear Systems via Multiplicative Noise

Benjamin Gravell, Peyman Mohajerin Esfahani, Tyler Summers

Robust stability and stochastic stability have separately seen intense study in control theory for many decades. In this work we establish relations between these properties for di…

eess.SY20202 cited

Trust-based user-interface design for human-automation systems

Abraham P. Vinod, Adam J. Thorpe, Philip A. Olaniyi +2

We present a method for dynamics-driven, user-interface design for a human-automation system via sensor selection. We define the user-interface to be the output of a MIMO LTI syste…

eess.SY2020

Towards Integrated Perception and Motion Planning with Distributionally Robust Risk Constraints

Venkatraman Renganathan, Iman Shames, Tyler H. Summers

Safely deploying robots in uncertain and dynamic environments requires a systematic accounting of various risks, both within and across layers in an autonomy stack from perception…

eess.SY2020

Linear System Identification Under Multiplicative Noise from Multiple Trajectory Data

Yu Xing, Ben Gravell, Xingkang He +2

The study of multiplicative noise models has a long history in control theory but is re-emerging in the context of complex networked systems and systems with learning-based control…

eess.SY2019

Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks

Venkatraman Renganathan, Navid Hashemi, Justin Ruths +1

Designing resilient control strategies for mitigating stealthy attacks is a crucial task in emerging cyber-physical systems. In the design of anomaly detectors, it is common to ass…