Safe-by-design planner–tracker synthesis with a hierarchy of system models

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2022
Source ID
10.1016/j.arcontrol.2022.04.004

Entities

People

  • He Yin
  • Katherine S. Schweidel
  • Murat Arcak
  • Stanley W. Smith

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • Office of Naval Research