Search
Now showing items 1-4 of 4
Formal and Compositional Analysis of Power Systems Using Reachable Sets
Publisher: IEEE
Year: 2014
Reachability Analysis of Nonlinear Differential-Algebraic Systems
Publisher: IEEE
Year: 2014
Online Verification of Automated Road Vehicles Using Reachability Analysis
Publisher: IEEE
Year: 2014