PEOPLE

Various efforts are underway to improve the computational efficiency of CheckMate and apply it to more realistic examples as well as the supervisory control synthesis problem for hybrid systems. The following people are currently involved in this project.

Alongkrit Chutinan alongkrit@hotmail .

Ansgar Fehnker ansgar@ece.cmu.edu

Zhi Han zhih@ece.cmu.edu

Jim Kapinski jpk3@andrew.cmu.edu

Rajesh Kumar rajeshk@andrew.cmu.edu

Bruce H. Krogh krogh@ece.cmu.edu

Olaf Stursberg olaf@ece.cmu.edu
ACKNOWLEDGMENTS

The development of CheckMate was made possible in part by grants from

  • DARPA (EDCS & MoBIES Programs)
  • Ford
This site has no business sponsor. However, if you have encountered an advertisement prior to entering this site, it is because we are using the URL redirection service provided by the website http://come.to.

Updated 4/8/03