Fetching the paper…
Reading the bibliography…
The StarL programming framework aims to simplify development of distributed robotic applications by providing easy-to-use language constructs for communication and control.
The evolution of control architectures for automated manufacturing systems
David M Dilts, Neil P Boyd, and HH Whorms · 1991
Earlier work this paper cites.
A robotics toolbox for matlab
Peter Corke · 1996
Earlier work this paper cites.
Coverage control for mobile sensing networks
J. Cortes, S. Martinez, T. Karatas, and F. Bullo · 2002
Earlier work this paper cites.
Python robotics: An environment for exploring robotics beyond legos
Douglas Blank, Lisa Meeden, and Deepak Kumar · 2003
Earlier work this paper cites.
The player/stage project: Tools for multi-robot and distributed sensor systems
Brian Gerkey, Richard T Vaughan, and Andrew Howard · 2003
Earlier work this paper cites.
Model-based programming of intelligent embedded systems and robotic space explorers
Brian C Williams, Michel D Ingham, Seung H Chung, and Paul H Elliott · 2003
Earlier work this paper cites.
Moonlight in miami: Field study of human-robot interaction in the context of an urban search and rescue disaster response training exercise
Jennifer L Burke, Robin R Murphy, Michael D Coovert, and Dawn L Riddle · 2004
Earlier work this paper cites.
Centibots: Very large scale distributed robotic teams
Kurt Konolige, Charlie Ortiz, Regis Vincent, Benoit Morisset, Andrew Agno, Michael Eriksen, Dieter Fox, Benson Limketkai, Jonathan Ko, Benjamin Stewart, et al · 2004
Earlier work this paper cites.
A hovercraft testbed for decentralized and cooperative control
Vladimeros Vladimerou, Andrew Stubbs, Joel Rubel, Adam Fulford, and GE Dullerud · 2004
Earlier work this paper cites.
Controlling swarms of robots using interpolated implicit functions
Luiz Chaimowicz, Nathan Michael, and Vijay Kumar · 2005
Earlier work this paper cites.
The Theory of Timed I/O Automata
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager · 2005
Earlier work this paper cites.
Multivehicle systems control over networks: a hovercraft testbed for networked and decentralized control
Andrew Stubbs, Vladimeros Vladimerou, Adam Thomas Fulford, Derek King, Jeffrey Strick, and Geir E Dullerud · 2006
Earlier work this paper cites.
A Verification Framework for Hybrid Systems
Sayan Mitra · 2007
Cited alongside, same era.
Claraty: A collaborative software for advancing robotic technologies
IA Nesnas · 2007
Cited alongside, same era.
The claraty project: Coping with hardware and software heterogeneity
Issa AD Nesnas · 2007
Cited alongside, same era.
Openrdk: a modular framework for robotic software development
Daniele Calisi, Andrea Censi, Luca Iocchi, and Daniele Nardi · 2008
Cited alongside, same era.
Parameter estimation and optimal control of swarm-robotic systems: A case study in distributed task allocation
Nikolaus Correll · 2008
Cited alongside, same era.
Coordinating hundreds of cooperative, autonomous vehicles in warehouses
Peter R. Wurman, Raffaello D’Andrea, and Mick Mountz · 2008
Cited alongside, same era.
Kilobot: A low cost scalable robot system for collective behaviors
Michael Rubenstein, Christian Ahler, and Radhika Nagpal · 2012
Later among the works it cites.
Receding horizon temporal logic planning
Tichakorn Wongpiromsarn, Ufuk Topcu, and Richard M. Murray · 2012
Later among the works it cites.
Sampling-based optimal motion planning for non-holonomic dynamical systems
S. Karaman and E. Frazzoli · 2013
Later among the works it cites.
Starl for programming reliable robotic networks
Adam Zimmerman · 2013
Later among the works it cites.
A constraint-based approach to solving games on infinite graphs
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, and Andrey Rybalchenko · 2014
Later among the works it cites.
Finite bisimulations for switched linear systems
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, and Calin Belta · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Self-stabilizing robot formations over unreliable networks
Seth Gilbert, Nancy Lynch, Sayan Mitra, and Tina Nolte · 2009
Cited alongside, same era.
Temporal-logic-based reactive mission and motion planning
Hadas Kress-Gazit, Georgios E. Fainekos, and George J. Pappas · 2009
Cited alongside, same era.
Ros: an open-source Robot Operating System
Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng · 2009
Cited alongside, same era.
Bot in the delivery:kiva systems
Christopher Steiner · 2009
Cited alongside, same era.
Reachability-based synthesis of feedback policies for motion planning under bounded disturbances
Jerry Ding, Eugene Li, Haomiao Huang, and Claire J. Tomlin · 2011
Cited alongside, same era.
Static and dynamic analysis of timed distributed traces
Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, and Sayan Mitra · 2012
Cited alongside, same era.
Smt-based synthesis of integrated task and motion plans from plan outlines
Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, and Lydia E. Kavraki · 2014
Later among the works it cites.
Maria Svorenova, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, and Calin Belta · 2014
Later among the works it cites.
Starl: Towards a unified framework for programming, simulating and verifying distributed robotic systems
Yixiao Lin and Sayan Mitra · 2015
Later among the works it cites.
Yixiao Lin and Sayan Mitra · 2015
Later among the works it cites.
Autonomous vehicles: No drivers required, February 2015
M. Mitchell Waldrop · 2015
Later among the works it cites.