235 citations · 531 across the 38 of their papers we have counts for
8 papers · 1 filter
A tractable ellipsoidal approximation for voltage regulation problems
Pan Li, Baihong Jin, Ruoxuan Xiong +3
We present a machine learning approach to the solution of chance constrained optimizations in the context of voltage regulation problems in power system operation. The novelty of o…
Context-Specific Validation of Data-Driven Models
Somil Bansal, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +2
With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to…
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli +2
We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a varia…
Model Predictive Control for Signal Temporal Logic Specification
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy +3
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use…
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…
Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid
Mehdi Maasoumy, Jorge Ortiz, David Culler +1
In this paper, we model energy use in commercial buildings using empirical data captured through sMAP, a campus building data portal at UC Berkeley. We conduct at-scale experiments…
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems
Pierluigi Nuzzo, John Finn, Mohammad Mozumdar +1
In an aircraft electric power system (EPS), a supervisory control unit must actuate a set of switches to distribute power from generators to loads, while satisfying safety, reliabi…