Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 24, 2018
Source ID
10.1007/s10817-018-9497-x

Entities

People

  • Andrew Sogokon
  • Paul B. Jackson
  • Taylor T. Johnson

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Engineering and Physical Sciences Research Council
  • National Science Foundation
  • National Science Foundation Directorate of Computer and Information Science and Engineering