Sean Wilson

According to our database, Sean Wilson authored at least 19 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Design, Education and Evolution of a Robotic Baby.

Hanqing Zhu, Sean Wilson, Eric Feron

IEEE Trans. Robotics, June, 2023

2022

Data-Driven Robust Barrier Functions for Safe, Long-Term Operation.

Yousef Emam, Paul Glotfelter, Sean Wilson, Gennaro Notomista, Magnus Egerstedt

IEEE Trans. Robotics, 2022

2021

The Robotarium: Automation of a Remotely Accessible, Multi-Robot Testbed.

Sean Wilson, Paul Glotfelter, Siddharth Mayya, Gennaro Notomista, Yousef Emam, Xiaoyi Cai, Magnus Egerstedt

IEEE Robotics Autom. Lett., 2021

Range Limited Coverage Control using Air-Ground Multi-Robot Teams.

Max Rudolph, Sean Wilson, Magnus Egerstedt

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Optimization-Based Distributed Flocking Control for Multiple Rigid Bodies.

Tatsuya Ibuki, Sean Wilson, Junya Yamauchi, Masayuki Fujita, Magnus Egerstedt

IEEE Robotics Autom. Lett., 2020

Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach.

Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt

IEEE Control. Syst. Lett., 2020

A Receding Horizon Scheduling Approach for Search & Rescue Scenarios.

Yousef Emam, Sean Wilson, Mathias Hakenberg, Ulrich Münz, Magnus Egerstedt

CoRR, 2020

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization.

Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Closed-loop task allocation in robot swarms using inter-robot encounters.

Siddharth Mayya, Sean Wilson, Magnus Egerstedt

Swarm Intell., 2019

2017

A Probabilistic Approach to Automated Construction of Topological Maps Using a Stochastic Robotic Swarm.

Ragesh K. Ramachandran, Sean Wilson, Spring Berman

IEEE Robotics Autom. Lett., 2017

2016

Pheeno, A Versatile Swarm Robotic Research and Education Platform.

Sean Wilson, Ruben Gameros, Michael Sheely, Matthew Lin, Kathryn Dover, Robert Gevorkyan, Matt Haberland, Andrea L. Bertozzi, Spring Berman

IEEE Robotics Autom. Lett., 2016

A Probabilistic Topological Approach to Feature Identification Using a Stochastic Robotic Swarm.

Ragesh K. Ramachandran, Sean Wilson, Spring Berman

Proceedings of the Distributed Autonomous Robotic Systems, 2016

Decentralized sliding mode control for autonomous collective transport by multi-robot systems.

Hamed Farivarnejad, Sean Wilson, Spring Berman

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Confinement control of double integrators using partially periodic leader trajectories.

Karthik Elamvazhuthi, Sean Wilson, Spring Berman

Proceedings of the 2016 American Control Conference, 2016

2014

Design of ant-inspired stochastic control policies for collective transport by robotic swarms.

Sean Wilson, Theodore P. Pavlic, Ganesh P. Kumar, Aurélie Buffin, Stephen C. Pratt, Spring Berman

Swarm Intell., 2014

2013

An Enzyme-Inspired Approach to Stochastic Allocation of Robotic Swarms Around Boundaries.

Theodore P. Pavlic, Sean Wilson, Ganesh P. Kumar, Spring Berman

Proceedings of the Robotics Research, 2013

2012

Diagrammatically-Driven Formal Verification of Web-Services Composition.

Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Supporting dependently typed functional programming with proof automation and testing.

Sean Wilson

PhD thesis, 2011

2010

Automation for Dependently Typed Functional Programming.

Sean Wilson, Jacques D. Fleuriot, Alan Smaill

Fundam. Informaticae, 2010