Optimization-Based Methods for Nonlinear and Hybrid Systems Verification

Abstract

Complex behaviors that can be exhibited by hybrid systems make the verification of such systems both important and challenging. Due to the infinite number of possibilities taken by the continuous state and the uncertainties in the system, exhaustive simulation is impossible, and also computing the set of reachable states is generally intractable… (More)

Topics

12 Figures and Tables

Statistics

051015'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

66 Citations

Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics