Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems
نویسندگان
چکیده
We use linear hybrid automata to deene linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically.
منابع مشابه
Algorithmic Analysis of Nonlinear Hybrid Systems
Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant polyhedral di erential inclusions. In most embedded systems, however, the environment variables have di erential inclusions that vary with the values of the va...
متن کاملAlgorithmic Analysis of Nonlinear Hybrid Systems yThomas
Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant poly-hedral diierential inclusions. In most embedded systems, however, the environment variables have diierential inclusions that vary with the values of the v...
متن کاملHarmonics Estimation in Power Systems using a Fast Hybrid Algorithm
In this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. The estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. Most researchers implemented nonlinear methods to extract the harmonic parameters. However, nonlinear methods for amplitude estimation increase time of convergence. Hen...
متن کاملWhich Methodology is Better for Combining Linear and Nonlinear Models for Time Series Forecasting?
Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...
متن کاملSoft Switching MBC Controller for MIMO Linear Hybrid Systems
Switching supervisory is the most important section of a feedback control process inMIMO hybrid systems. By choosing a non-compatible controller, system may go tounstable mode or high overshoot response. In this paper, a new method of switchingfor selecting MBC controllers is discussed. Results of the simulation show the MIMO(2-in 2-out) linear hybrid system can be switched stable and low overs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995