Hybrid-system simulation for National Airspace System safety analysis.

Amy R. Pritchett Seungman Lee David Huang David Goldsman

Published in: WSC (2000)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
united states
real time
artificial intelligence
knowledge base