September 20, 2000
ECE graduate student B. Isaias da Silva and Professor Bruce Krogh won a Best Paper Award for their paper titled "Modeling and Verification of Sampled-Data Hybrid System" at the Automation of Mixed Processes: Hybrid Dynamic Systems Conference in Dortmund, Germany, September 16-18.
ADPM2000 was the 4th in a series of international conferences focused on the automation of hybrid dynamic systems, i.e. systems with both continuous and discrete dynamics. Computer control, which includes a large amount of discrete switching logic, is ubiquitous in the control of manufacturing processes, trains, cars etc., and these systems become increasingly complex and difficult to design and to verify. The automation of hybrid systems is therefore currently of high interest to control engineers and computer scientists in research institutions as well as in many industrial sectors. The development of systematic methods for efficient and reliable realizations of hybrid automation systems is a key issue in industrial information technology.
Headshot of Bruce Krogh