Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 09, 2019
Source ID
10.1145/3359986.3361210

Entities

People

  • Pavithra Prabhakar
  • Ratan Lal

Organizations

  • Kansas State University
  • National Science Foundation
  • Office of Naval Research