Symbolic control design for monotone systems with directed specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2017
Source ID
10.1016/j.automatica.2017.04.060

Entities

People

  • Eric S. Kim
  • Murat Arcak
  • Sanjit A. Seshia

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation