11 search results - page 3 / 3 » HYTECH: A Model Checker for Hybrid Systems |
SPIN
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...