Maidens, John

1. Simulation-based reachability analysis for nonlinear systems using\n componentwise contraction properties
   2017/09/19 by Murat Arcak, Arcak, Murat, John Maidens +1 · 2 citations
   Computer Science · Decision Sciences · #FOS: Electrical engineering #Formal Methods in Verification #Modeling and Simulation Systems #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering