Browsing by Subject "Cyber-physical systems, deep learning, verification, reachability analysis, control systems."

Now showing items 1-1 of 1

    • Learning and Verification of Dynamical Systems with Neural Network Components 
      Manzanas Lopez, Diego; 0000-0003-0721-1241 (2022-07-20)
      Department: Electrical Engineering
      Cyber-physical systems (CPSs) with learning-enable components (LECs) are becoming very popular, especially in the area of autonomous vehicles such as unmanned aircraft, autonomous and partially autonomous cars, and ...