Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. - Rajeev Alur; Joel M. Esposito; Moonjoo Kim 001; Vijay Kumar 001; Insup Lee 001 (World Congress on Formal Methods, 1999)

Closed Loop Motion Plans for Mobile Robots. - Joel M. Esposito; Vijay Kumar 001 (ICRA, 2000)

A hierarchical, modal approach to hybrid systems control of autonomous robots. - Kenneth A. McIsaac; Aveek K. Das; Joel M. Esposito; James P. Ostrowski (IROS, 2000)

A Framework and Architecture for Multirobot Coordination. - Rajeev Alur; Aveek K. Das; Joel M. Esposito; Rafael Fierro; Gregory Z. Grudic; Yerang Hur; Vijay Kumar 001; Insup Lee 001; J. P. Lee; James P. Ostrowski; George J. Pappas; Ben Southall; et al. (ISER, 2000)

Multi-agent hybrid system simulation. - Joel M. Esposito; Vijay Kumar 001; George J. Pappas (CDC, 2001)

Hierarchical Hybrid Modeling of Embedded Systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Rafael Fierro; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (EMSOFT, 2001)

Accurate Event Detection for Simulating Hybrid Systems. - Joel M. Esposito; Vijay Kumar 001; George J. Pappas (HSCC, 2001)

Efficient Dynamic Simulation of Robotic Systems with Hierarchy. - Joel M. Esposito; Vijay Kumar 001 (ICRA, 2001)

A Method for Modifying Closed-Loop Motion Plans to Satisfy Unpredictable Dynamic Constraints at Runtime. - Joel M. Esposito; Vijay Kumar 001 (ICRA, 2002)

A Framework and Architecture for Multi-Robot Coordination. - Rafael Fierro; Aveek K. Das; John R. Spletzer; Joel M. Esposito; Vijay Kumar 001; James P. Ostrowski; George J. Pappas; Camillo J. Taylor; Yerang Hur; Rajeev Alur; Insup Lee 001; Gregory Z. Grudic; et al. (Int. J. Robotics Res., 2002)

Hierarchical modeling and analysis of embedded systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (Proc. IEEE, 2003)

Adaptive RRTs for Validating Hybrid Robotic Control Systems. - Joel M. Esposito; Jongwoo Kim; Vijay Kumar 001 (WAFR, 2004)

An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems. - Joel M. Esposito; Vijay Kumar 001 (ACM Trans. Model. Comput. Simul., 2004)

Adaptive sample bias for rapidly-exploring random trees with applications to test generation. - Jongwoo Kim; Joel M. Esposito (ACC, 2005)

An RRT-Based Algorithm for Testing and Validating Multi-Robot Controllers. - Jongwoo Kim; Joel M. Esposito; Vijay Kumar 001 (Robotics: Science and Systems, 2005)

Computational Techniques for Analysis of Genetic Network Dynamics. - Calin Belta; Joel M. Esposito; Jongwoo Kim; Vijay Kumar 001 (Int. J. Robotics Res., 2005)

Maintaining Wireless Connectivity Constraints for Swarms in the Presence of Obstacles. - Joel M. Esposito; Thomas W. Dunbar (ICRA, 2006)

Sampling-based Algorithm for Testing and Validating Robot Controllers. - Jongwoo Kim; Joel M. Esposito; Vijay Kumar 001 (Int. J. Robotics Res., 2006)

A state event detection algorithm for numerically simulating hybrid systems with model singularities. - Joel M. Esposito; Vijay Kumar 001 (ACM Trans. Model. Comput. Simul., 2007)

Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. - Joel M. Esposito; Moonzoo Kim (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Distributed grasp synthesis for swarm manipulation with applications to autonomous tugboats. - Joel M. Esposito (ICRA, 2008)

Cooperative manipulation on the water using a swarm of autonomous tugboats. - Joel M. Esposito; Matthew G. Feemster; Erik Smith (ICRA, 2008)

Decentralized cooperative manipulation with a swarm of mobile robots. - Joel M. Esposito (IROS, 2009)

Audio-Visual Communication in a Two Person Gross Manipulation Task. - Sarangi Patel Parikh; Joel M. Esposito; Jeremy Searock (AAAI Fall Symposium: Dialog with Robots, 2010)

Decentralized cooperative manipulation with a swarm of mobile robots: The approach problem. - Joel M. Esposito (ACC, 2010)

A simplified model of RRT coverage for kinematic systems. - Joel M. Esposito (IROS, 2011)

Comprehensive framework for tracking control and thrust allocation for a highly overactuated autonomous surface vessel. - Matthew G. Feemster; Joel M. Esposito (J. Field Robotics, 2011)

Maintaining Wireless Connectivity Constraints for Robot Swarms in the Presence of Obstacles. - Joel M. Esposito (J. Robotics, 2011)

Negative Feedback for Small Capacitive Touchscreen Interfaces: A Usability Study for Data Entry Tasks. - Sarangi P. Parikh; Joel M. Esposito (IEEE Trans. Haptics, 2012)

Conditional Density Growth (CDG) model: a simplified model of RRT coverage for kinematic systems. - Joel M. Esposito (Robotica, 2013)

An algorithm to identify docking locations for autonomous surface vessels from 3-D LiDAR scans. - Joel M. Esposito; Mitchell Graves (TePRA, 2014)

The Role of Verbal and Nonverbal Communication in a Two-Person, Cooperative Manipulation Task. - Sarangi P. Parikh; Joel M. Esposito; Jeremy Searock (Adv. Hum. Comput. Interact., 2014)

The State of Robotics Education: Proposed Goals for Positively Transforming Robotics Education at Postsecondary Institutions. - Joel M. Esposito (IEEE Robotics Autom. Mag., 2017)

Analysis of Motion Planning by Sampling in Subspaces of Progressively Increasing Dimension. - Marios P. Xanthidis; Joel M. Esposito; Ioannis M. Rekleitis; Jason M. O'Kane (CoRR, 2018)

Matrix completion as a post-processing technique for probabilistic roadmaps. - Joel M. Esposito; John N. Wright (Int. J. Robotics Res., 2019)

Motion Planning by Sampling in Subspaces of Progressively Increasing Dimension. - Marios Xanthidis; Joel M. Esposito; Ioannis M. Rekleitis; Jason M. O'Kane (J. Intell. Robotic Syst., 2020)

Concentration of Measure Phenomenon and its Implications for Sample-based Planning Algorithms in Very-High Dimensional Configuration Spaces. - Joel M. Esposito (ICRA, 2023)