Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets

This paper presents an efficient and scalable reachability analysis algorithm for nonlinear analog/mixed-signal circuits. In particular, it addresses the challenges in computing the time evolution of the reachable set of the circuit’s continuous states and its intersection with the guard...

Full description

Bibliographic Details
Main Authors: Seyoung Kim, Jaeha Kim
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Access
Subjects:
Analog/mixed-signal circuits
guard intersection
hybrid systems
piecewise-linear system
reachability analysis
safe operating area
Online Access:https://ieeexplore.ieee.org/document/10184416/

Internet

https://ieeexplore.ieee.org/document/10184416/

Similar Items