PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 13:18
TitlePVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
Publication TypeConference Paper
AuthorsHerencia-Zapana, H., R. J. Jobredeaux, S. Owre, P-L. Garoche, E. M. Feron, G. Perez, and P. Ascariz

pdf: 

PDF icon nfm2012.Zapana.Jobredeaux.Feron_.etal_.submitted.pdf

Project(s): 

Credible Autocoding and Verification of Embedded Software (CrAVES)
 

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.