(Team 5) Embedded Real-Time Safety-Critical Computer and Communication Systems

Monday, August 9, 2004 - 11:20am - 11:40am
Keller 3-180
Steven Vestal (Honeywell)
The problem area is finding improvements in model-checking for hybrid automata. Within this, there are a number of individual problems that might be of interest. The following paper provides an introduction to the problem.

Steve Vestal A New Linear Hybrid Automata Reachability Procedure (pdf)