Automata Extraction And Verification For Hybrid Systems
Aaron Díaz, Santa Clara University
11/09/2006
A hybrid system is a continuous dynamic system interacting with a finite control automata. One would like to construct a digital controller to drive the continuous system from its initial state, to some goal state, in an optimal fashion. In addition, one often wishes to verify properties of the controller, for example that any trace of execution of the automata will cause the continuous system to only enter states deemed safe. In this talk we will overview these two topics of control automata extraction and verification.
Elements Of Game Design
Jason Shankel, Maxis/Electronic Arts, Walnut Creek
11/16/2006
In recent years, the emerging discipline of game design has become as much a craft as it is an art. In this talk, I will present the key elements of a computer game design and discuss how these elements are combined to make fun, compelling computer games.
Student Presentations On Individual Projects And Research. Contact Dr. Stauffer (Lynn.Stauffer@Sonoma.Edu) If You Are Interested In Presenting.
STUDENT PRESENTATIONS
11/30/2006
Awards Presented To Sonoma State Computer Science Majors
END OF SEMESTER CELEBRATION & AWARDS
12/07/2006
Pages
- « first
- ‹ previous
- 1
- 2
- 3