Colloquium Archive

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