12 citations · 35 across the 4 of their papers we have counts for
4 papers
From Uncertainty Data to Robust Policies for Temporal Logic Planning
Pier Giuseppe Sessa, Damian Frick, Tony A. Wood +1
We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications an…
Exploiting structure of chance constrained programs via submodularity
Damian Frick, Pier Giuseppe Sessa, Tony A. Wood +1
We introduce a novel approach to reduce the computational effort of solving mixed-integer convex chance constrained programs through the scenario approach. Instead of reducing the…
Robust Control Policies given Formal Specifications in Uncertain Environments
Damian Frick, Tony A. Wood, Gian Ulli +1
We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This work is motivated by autonomous systems intera…
Low-complexity method for hybrid MPC with local guarantees
Damian Frick, Angelos Georghiou, Juan L. Jerez +2
Model predictive control problems for constrained hybrid systems are usually cast as mixed-integer optimization problems (MIP). However, commercial MIP solvers are designed to run…