Workshop on Formal Verification and Synthesis for Hybrid Systems
Abstract
Models and specifications for modern systems are typically hybrid innature. Autonomous systems, for example, are governed by not only the underlying physics but alsotheir computing and communication platforms. They are constrained by not only low-level actuationlimitations and stability requirements but also high-level mission specifications.It has long been recognized that hybrid systems cut across multiple disciplines. However, majority,if not all, of synthesis and verification methods proposed for hybrid systems ironically fail to behybrid. Each discipline attempts to fit the underlying problems to its toolset through unnaturaltransformations (e.g., finite-state discretization) and restrictions. Principles and tricks that havebeen successfully utilized in one domain are naively applied on modeling and specification languages for which they were never intended. The outcome of this
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 02, 2017
- Source ID
- FA95501710229
Entities
People
- Ufuk Topcu
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Texas at Austin