Coverage assessment criteria for approximate bisimulation theory and introduction of computer games in hybrid systems safety / reachability design

Afshari, Sina

Julius, Anak Agung;

2010-12

Electrical engineering

MS;

This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.;

December 2010; School of Engineering

Dept. of Electrical, Computer, and Systems Engineering;

Rensselaer Polytechnic Institute, Troy, NY

Rensselaer Theses and Dissertations Online Collection;

Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Research Libraries.;