160 citations · 250 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems
Sadra Sadraddini, Russ Tedrake
Piecewise affine (PWA) systems are widely used to model highly nonlinear behaviors such as contact dynamics in robot locomotion and manipulation. Existing control techniques for PW…
cs.LO2018
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…