Links

LINKS

RELATED PROJECTS

Software Enabled Control Project at DARPA Information Technology Office:

http://www.darpa.mil/ito/research/sec/index.html

Software Enabled Control Project at University of California, Berkeley:

http://sec.eecs.berkeley.edu:80/

Software Enabled Control Project at Georgia Institute of Technology:

http://controls.ae.gatech.edu/projects/sec/

STANFORD GROUPS

Hybrid Systems Laboratory:

http://sun-valley.stanford.edu/hybrid

DragonFly UAV Project:

http://sun-valley.Stanford.EDU/hybrid/UAV/index.html

Information Systems Laboratory:

http://www-isl.stanford.edu/

REACT Research Group:

http://theory.stanford.edu/~zm/react.html

Hardware Verification Group:

http://verify.stanford.edu