Eric M. Wolff — Publications

Below is a list of my publications. Preprints are linked or available upon request. See also my Google Scholar page.

Journal Papers

1. Computationally-efficient, optimal control synthesis for a fragment of temporal logic.
   E. M. Wolff, U. Topcu, and R. M. Murray. In preparation.

2. Aeroelastic flutter energy harvester design: the sensitivity of the driving instability to system parameters.
   M. Bryant, E. M. Wolff, and E. Garcia. Smart Materials and Structures, Vol. 20, No. 12, 2011.

Peer-reviewed Conference Papers

1. Cross-entropy temporal logic planning.
   S. C. Livingston, E. M. Wolff, and R. M. Murray. Hybrid Systems: Computation and Control (HSCC), 2015, accepted.

2. A compositional approach to stochastic optimal control with temporal logic specifications.
   M. Horowitz, E. M. Wolff, and R. M. Murray. International Conference on Intelligent Robots and Systems (IROS), 2014.

3. Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
   F. Sun, N. Ozay, E. M. Wolff, J. Liu, and R. M. Murray. American Control Conference (ACC), 2014.

4. Optimization-based trajectory generation with linear temporal logic specifications.
   E. M. Wolff, U. Topcu, and R. M. Murray. International Conference on Robotics and Automation (ICRA), 2014.

5. Optimal control of nonlinear systems with temporal logic specifications.
   E. M. Wolff and R. M. Murray. International Symposium on Robotics Research (ISRR), 2013.

6. Automaton-guided controller synthesis for nonlinear systems with temporal logic.
   E. M. Wolff, U. Topcu, and R. M. Murray. International Conference on Intelligent Robots and Systems (IROS), 2013.

7. Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.
   E. M. Wolff, U. Topcu, and R. M. Murray. Conference on Decision and Control (CDC), 2013.

8. Efficient reactive controller synthesis for a fragment of linear temporal logic.
   E. M. Wolff, U. Topcu, and R. M. Murray. International Conference on Robotics and Automation (ICRA), 2013.

9. Robust control of uncertain Markov decision processes with temporal logic specifications.
   E. M. Wolff, U. Topcu, and R. M. Murray. Conference on Decision and Control (CDC), 2012.

10. Optimal control with weighted average costs and temporal logic specifications.
    E. M. Wolff, U. Topcu, and R. M. Murray. Robotics: Science and Systems (RSS), 2012.

Technical Reports and Conference Abstracts

1. Formal specification and synthesis of mission plans for unmanned aerial vehicles
   L. R. Humphrey, E. M. Wolff, U. Topcu. In Proc. of AAAI 2014 Spring Symposium Series
   Formal Verification and Modeling in Human-Machine Systems, March 24-26, 2014.

2. Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic
   E. M. Wolff, U. Topcu, R. M. Murray. In Proc. Second Workshop on Synthesis, July 13-14, 2013.

3. Optimal control of Mixed Logical Dynamical systems with long-term temporal logic specifications.
   E. M. Wolff and R. M. Murray. Tech. rep., California Institute of Technology, 2013.

4. Parametric design study of an aeroelastic flutter energy harvester.
   M. Bryant, E. M. Wolff, E. Garcia. In Proc. SPIE 7977, Active and Passive Smart Structures and Integrated Systems, 2011

5. Piezoelectric resonance shifting using tunable nonlinear stiffness.
   T. Reissman, E. M. Wolff, and E. Garcia. In Proc. SPIE 7288, Active and Passive Smart Structures and Integrated Systems, 2009.