Login / Signup

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.

Hyun-Sek Lukas LeeMatthias AlthoffStefan HoelldampfMarkus OlbrichErich Barke
Published in: ASP-DAC (2015)
Keyphrases
  • reachability analysis
  • analog circuits
  • distributed systems
  • complex systems
  • nonlinear models
  • neural network
  • data model