2008 |
17 | EE | Joel M. Esposito:
Distributed grasp synthesis for swarm manipulation with applications to autonomous tugboats.
ICRA 2008: 1489-1494 |
16 | EE | Joel M. Esposito,
Matthew Feemster,
Erik Smith:
Cooperative manipulation on the water using a swarm of autonomous tugboats.
ICRA 2008: 1501-1506 |
2007 |
15 | EE | Joel M. Esposito,
Vijay Kumar:
A state event detection algorithm for numerically simulating hybrid systems with model singularities.
ACM Trans. Model. Comput. Simul. 17(1): (2007) |
14 | EE | Joel M. Esposito,
Moonzoo Kim:
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 37(3): 285-297 (2007) |
2006 |
13 | | Joel M. Esposito,
Thomas W. Dunbar:
Maintaining Wireless Connectivity Constraints for Swarms in the Presence of Obstacles.
ICRA 2006: 946-951 |
2005 |
12 | EE | Jongwoo Kim,
Joel M. Esposito,
Vijay Kumar:
An RRT-Based Algorithm for Testing and Validating Multi-Robot Controllers.
Robotics: Science and Systems 2005: 249-256 |
11 | EE | Calin Belta,
Joel M. Esposito,
Jongwoo Kim,
Vijay Kumar:
Computational Techniques for Analysis of Genetic Network Dynamics.
I. J. Robotic Res. 24(2-3): 219-235 (2005) |
2004 |
10 | EE | Joel M. Esposito,
Vijay Kumar:
An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems.
ACM Trans. Model. Comput. Simul. 14(4): 363-388 (2004) |
2003 |
9 | | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE 91(1): 11-28 (2003) |
2002 |
8 | | Joel M. Esposito,
Vijay Kumar:
A Method for Modifying Closed-Loop Motion Plans to Satisfy Unpredictable Dynamic Constraints at Runtime.
ICRA 2002: 1691-1696 |
7 | | Rafael B. Fierro,
Aveek K. Das,
John R. Spletzer,
Joel M. Esposito,
Vijay Kumar,
James P. Ostrowski,
George J. Pappas,
Camillo J. Taylor,
Yerang Hur,
Rajeev Alur,
Insup Lee,
Gregory Z. Grudic,
Ben Southall:
A Framework and Architecture for Multi-Robot Coordination.
I. J. Robotic Res. 21(10-11): 977-998 (2002) |
2001 |
6 | EE | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Rafael B. Fierro,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems.
EMSOFT 2001: 14-31 |
5 | EE | Joel M. Esposito,
Vijay Kumar,
George J. Pappas:
Accurate Event Detection for Simulating Hybrid Systems.
HSCC 2001: 204-217 |
4 | | Joel M. Esposito,
Vijay Kumar:
Efficient Dynamic Simulation of Robotic Systems with Hierarchy.
ICRA 2001: 2818-2823 |
2000 |
3 | | Joel M. Esposito,
Vijay Kumar:
Closed Loop Motion Plans for Mobile Robots.
ICRA 2000: 2777-2782 |
2 | EE | Rajeev Alur,
Aveek K. Das,
Joel M. Esposito,
Rafael B. Fierro,
Gregory Z. Grudic,
Yerang Hur,
Vijay Kumar,
Insup Lee,
J. P. Lee,
James P. Ostrowski,
George J. Pappas,
Ben Southall,
John R. Spletzer,
Camillo J. Taylor:
A Framework and Architecture for Multirobot Coordination.
ISER 2000: 303-312 |
1999 |
1 | EE | Rajeev Alur,
Joel M. Esposito,
M. Kim,
Vijay Kumar,
Insup Lee:
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.
World Congress on Formal Methods 1999: 212-232 |