Order-reduction abstractions for safety verification of high-dimensional linear systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 12, 2017
Source ID
10.1007/s10626-017-0244-y

Entities

People

  • Hoang-Dung Tran
  • Luan Viet Nguyen
  • Taylor T. Johnson
  • Weiming Xiang

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Division of Computer and Network Systems
  • Division of Computing and Communication Foundations