ARC Collaborative Research Seminar Series
Fall 2017

ARC seminars are free and open to the general public. Center members can download the presentation files on our password-access online portal iARC. Non-ARC attendees please email with your requests.

Parking & directions inquires: Contact by 2:00 p.m. the day before the seminar

Remote attendance via tele/video conference: Contact William Lim (

Refreshments will be served 9:15-9:30am. The talks will begin at 9:30 a.m. sharp.

Event venue alternates between University of Michigan (Ann Arbor) and U.S. Army TARDEC (Warren)

September 8, Friday (9:30a.m. - 11a.m.)
University of Michigan, UM North Campus, Duderstadt Center. room 1180

1. Algorithms for Coordination and Collaboration in Heterogeneous Unmanned Systems
Dr. Pratap Tokekar, Asst. Prof. Electrical and Computing Engineering, Virginia Tech

Abstract & Biography         The technology enabling unmanned systems is becoming mature enough to enable operations in the field. The next frontier is enabling a team of unmanned vehicles with limited human oversight. What is needed are algorithms that can enable effective coordination and collaboration within a team of heterogeneous robots and possibly humans. In this talk, I will present our recent work on devising efficient algorithms with provable performance guarantees for multi-robot coordination and collaboration.
        We will focus on the routing and coordination of aerial and ground robots. I will present approximation algorithms for multi-robot teams to map known and unknown environments in the least amount of time. I will then present a heterogeneous formulation for the classical Traveling Salesman Problem and show how to apply it to plan for aerial and ground robots. Finally, I will describe our new work on informative path planning for coordinated sampling in marine environments with aerial robots and robotic boats.
        Pratap Tokekar is an Assistant Professor in the Department of Electrical and Computer Engineering at Virginia Tech. Previously, he was a Postdoctoral Researcher at the GRASP lab of University of Pennsylvania. He obtained his Ph.D. in Computer Science from the University of Minnesota in 2014 and Bachelor of Technology degree in Electronics and Telecommunication from College of Engineering Pune, India in 2008. He is a recipient of the NSF CISE Research Initiation Initiative award. His research interests include algorithmic and field robotics, and cyber physical systems, and their applications to precision agriculture and environmental monitoring.

2. Formal Methods for Provably-correct Control Design for Cyber-physical Systems
Dr. Necmiye Ozay, Asst. Prof. Electrical Engineering and Computer Science, University of Michigan

Abstract         Formal methods are mathematical techniques, originally proposed by the computer science community, to rigorously analyze software systems. In recent years we have witnessed an increase in the use of techniques originating in this area to solve control problems for cyber-physical systems. Similarly, the idea of automatically synthesizing a controller that enforces the desired specifications is becoming an alternative to the verification paradigm prevalent in the formal methods area. This talk will provide a brief introduction to formal verification and synthesis for control systems. By using some autonomous cyber-physical system case studies my group works on, I will illustrate how these techniques can be used to design provably-correct controllers, find corner cases in existing designs and characterize safe operating envelopes and robustness-performance trade-offs.

September 22, Friday (9:30a.m. - 11a.m.)
University of Michigan, UM North Campus, GG Brown Bldg, room 2540 (Grand Conference Room)

1. Fast Numerical Algorithms for High-fidelity Simulation of Terramechanics (ARC project)
Dr. Shravan Veerapaneni, Assoc. Prof. Mathematics, University of Michigan

Abstract The discrete element method (DEM) is one of the most widely used approaches to simulate the dynamics of multiple rigid bodies, specially in terramechanics applications. While the classical DEMs are based on applying penalty forces to handle contact, novel complementarity constraint based approaches (DEM-C) are emerging as promising alternatives that ameliorate the numerical stability issues plaguing the penalty methods. Motivated by prior work at TARDEC, we are interested in developing fast and scalable algorithms for solving the constrained optimization problem that arises in DEM-C. I will discuss the progress by our group in the past year, the challenges that lay ahead and the broader impacts of this direction of research.

2.Towards Kinematic Reconstruction of Roadway Scenes from Single-Camera Input
Dr. Jason Corso, Assoc. Prof. Electrical Engineering and Computer Science, University of Michigan

Abstract Creating simulation environments takes ample well-annotated data. The recent trend moving toward machine learning-based construction and use of simulations has increased the need for such data. However, acquiring such well-annotated data is a challenge, especially in the case of rare traffic events like crashes. Surprisingly, web-uploaded open-source videos acquired from simple devices like dash cameras already contain ample examples. Yet, their 3d kinematic and dynamic parameters are not known. In this talk, I will describe our recent efforts in inferring such parameters for third-person view dash-camera acquired video. Our works implement human-in-the-loop deep network architectures to reconstruct vehicle pose from a single viewpoint and to request input from a human to help with this process.

October 20, Friday (9:30a.m. - 11a.m.)
U.S. Army TARDEC, 6501 E. 11 Mile Road, Warren, MI 48397-5000
Building 200B TARDEC University Class Rooms A&B

ARC projects presenting:
1. Modeling bi-directional trust in semi-autonomy for improved system performance
Dr. Lionel Robert, Asst. Prof. School of Information, University of Michigan

2. Novel Hybrid Electric Powertrains Enabled by Models of Electro-Magnetic-Structural Dynamics
Dr. Bogdan Epureanu, Prof. Mechanical Engineering, University of Michigan

November 17, Friday (9:30a.m. - 11a.m.)
U.S. Army TARDEC, 6501 E. 11 Mile Road, Warren, MI 48397-5000
Building 200B TARDEC University Class Rooms A&B

ARC projects presenting:
1. Intelligent Reconnaissance: An Energy‐Efficient Method for Multi‐Robot Reconnaissance in an Unknown Environment (project link)
Dr. Kira Barton, Asst. Prof. Mechanical Engineering, University of Michigan

2. Situational Awareness and Sustained Survivability through Man/Unmanned Teaming (project link)
Dr. Dimitra Panagou, Asst. Prof. Aerospace Engineering, University of Michigan

ARC members can download the presentation files on our password-access online portal iARC.
Non-ARC members please email with your requests.