Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 01, 2017
- Source ID
- 10.1109/tac.2017.2692100
Entities
People
- Hoang-Dung Tran
- Taylor T. Johnson
- Weiming Xiang
Organizations
- Air Force Office of Scientific Research
- Air Force Research Laboratory
- National Science Foundation