Sciweavers

327 search results - page 1 / 66
» Accurate hybridization of nonlinear systems
Sort
View
HYBRID
2010
Springer
13 years 11 months ago
Accurate hybridization of nonlinear systems
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
Thao Dang, Oded Maler, Romain Testylier
HYBRID
2001
Springer
13 years 8 months ago
Accurate Event Detection for Simulating Hybrid Systems
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
Joel M. Esposito, Vijay Kumar, George J. Pappas
HYBRID
2004
Springer
13 years 9 months ago
Nonlinear Systems: Approximating Reach Sets
Ashish Tiwari, Gaurav Khanna
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
14 years 1 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi