Eric Feron

Primary tabs

2014
Wang, T., R. J. Jobredeaux, M. Pantel, P-L. Garoche, E. M. Feron, and D. Henrion, "Credible Autocoding of Convex Optimization Algorithms", CoRR, vol. abs/1403.1861, 2014. PDF icon corr2014.wang_.et_.al_.pdf (634.67 KB)
Wang, T., A. E. Ashari, R. J. Jobredeaux, and E. M. Feron, "Credible autocoding of fault detection observers", American Control Conference (ACC), 2014, June, 2014. PDF icon acc2014.Wang_.Ashari.Jobredeaux.Feron_.printed.pdf (412.19 KB)
2013
Popescu, V., W. P. Cleveland, E. Boidot, A. R. Pritchett, E. M. Feron, and J. J. Zoetrum, "Reliably Creating Collision Avoidance Advisories in Piloted Simulations", Human-Machine Systems, IEEE Transactions on, vol. 43, pp. 416-420, 2013. PDF icon Reliably creating collision avoidance advisories in piloted simulations.pdf (344.56 KB)
2012
Boidot, E., and E. M. Feron, "Planning random path distributions for ambush games in unstructured environments", Safety, Security, and Rescue Robotics (SSRR), 2012 IEEE International Symposium on, 2012. PDF icon 06523899_official_ieee_publication.pdf (7.23 MB)
Herencia-Zapana, H., R. J. Jobredeaux, S. Owre, P-L. Garoche, E. M. Feron, G. Perez, and P. Ascariz, "PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL", NASA Formal Methods, 2012. PDF icon nfm2012.Zapana.Jobredeaux.Feron_.etal_.submitted.pdf (350.66 KB)
2011
Jobredeaux, R. J., T. Wang, and E. M. Feron, "Autocoding control software with proofs I: Annotation translation", Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th, oct., 2011. PDF icon 06096122.pdf (294.45 KB)
 

Dynamics and Control Systems Lab

at Georgia Institute of Technology

 

The Borg Lab

at Georgia Institute of Technology

 

Robotic Mobility Group

at Massachusetts Institute of Technology

 

Aerospace Robotics and Embedded Systems Laboratory

at Massachusetts Institute of Technology

Search form

About us

We are three research groups from Georgia Tech, the Massachusetts Institute of Technology, and the University of Southern California, collaborating to perform basic research on high-speed autonomous driving.  We are most interested in researching biologically-inspired methods in the realms of both perception and control.

Recent Publications

More...

Acknowledgment

This work was supported by the Army Research Office under MURI Award W911NF-11-1-0046.