A computational approach to synthesizing guards for hybrid systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2014
Source ID
10.1016/j.sysconle.2014.08.016

Entities

People

  • Murat Arcak
  • Samuel Coogan

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation