Journal article

Learning by doing: systematic abstraction refinement for hybrid control synthesis

T Moor, JM Davoren, J Raisch

IEE Proceedings - Control Theory and Applications | INST ENGINEERING TECHNOLOGY-IET | Published : 2006