Sean B. Andersson

A Tutorial on the Mechanisms, Dynamics, and Control of Atomic Force Microscopes

Daniel Y. Abramovitch, Sean B. Andersson, Lucy Y. Pao et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 2007 · 223 citations

Engineering, Microscopy, Atomic Force Microscopes +18

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

Morteza Lahijanian, Sean B. Andersson, Călin Belta · IEEE Transactions on Robotics · 2011 · 147 citations

Engineering, Field Robotics, Intelligent Robotics +23

Formal Verification and Synthesis for Discrete-Time Stochastic Systems

Morteza Lahijanian, Sean B. Andersson, Călin Belta · IEEE Transactions on Automatic Control · 2015 · 116 citations

Stochastic Hybrid System, Engineering, Automated Reasoning +14

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees

Morteza Lahijanian, Jerzy Waśniewski, Sean B. Andersson et al. · 2010 · 102 citations

Engineering, Automatic Deployment, Temporal Logic Specifications +24

Localization of a fluorescent source without numerical fitting

Sean B. Andersson · Optics Express · 2008 · 62 citations · Full text

Fluorescence Microscopy, Engineering, Coherent Gradient Sensing +15