Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. - Stanley Bak; Ashley Greer; Sayan Mitra (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Fundamental limits in combine harvester header height control. - Yangmin Xie; Andrew G. Alleyne; Ashley Greer; Dustin Deneault (ACC, 2011)