Learning by doing: systematic abstraction refinement for hybrid control synthesis Journal Articles Refereed uri icon

Overview

Published in

  • IEE Proceedings - Control Theory and Applications

Time

Date/time value

  • 2006

Identity

Digital Object Identifier (DOI)

  • 10.1049/ip-cta:20050347

Additional Document Info

Parent Title

  • IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS

Volume

  • 153

Issue

  • 5

Publisher

  • IEE - Institute of Electrical Engineering