Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis

Author(s):  
Seyoung Kim ◽  
Heechun Park ◽  
Jaeha Kim
1981 ◽  
Vol 64 (10) ◽  
pp. 9-17 ◽  
Author(s):  
Toshimichi Saito ◽  
Hiroichi Fujita

1998 ◽  
Vol 120 (1) ◽  
pp. 181-187 ◽  
Author(s):  
Y. B. Kim

A multiple harmonic balance method is presented in this paper for obtaining the aperiodic steady-state solution of a piecewise-linear system. As the method utilizes general and systematic computational procedures, it can be applied to analyze the multi-tone or combination-tone responses for the higher dimensional nonlinear systems such as rotors. Moreover, it is capable of informing the stability of the obtained solution using Floquet theory. To demonstrate the systematic approach of the new method, the almost periodic forced vibration of an articulated loading platform (ALP) with a piecewise-linear stiffness is computed as an example.


2010 ◽  
Vol 20 (02) ◽  
pp. 509-518 ◽  
Author(s):  
Y. KOMINIS ◽  
T. BOUNTIS

A class of nonautonomous dynamical systems, consisting of an autonomous nonlinear system and an autonomous linear periodic system, each acting by itself at different time intervals, is studied. It is shown that under certain conditions for the durations of the linear and the nonlinear time intervals, the dynamics of the nonautonomous piecewise linear system is closely related to that of its nonlinear autonomous component. As a result, families of explicit periodic, nonperiodic and localized breather-like solutions are analytically obtained for a variety of interesting physical phenomena.


Sign in / Sign up

Export Citation Format

Share Document