Sciweavers

327 search results - page 4 / 66
» Accurate hybridization of nonlinear systems
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 13 days ago
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
Antoine Girard, Samuel Martin
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
15 years 29 days ago
Nonlinear hybrid system identification with kernel models
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
Fabien Lauer, Gérard Bloch, René Vid...
HYBRID
1995
Springer
15 years 9 months ago
Deciding Reachability for Planar Multi-polynomial Systems
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
Karlis Cerans, Juris Viksna
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 6 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
DAC
2003
ACM
16 years 7 months ago
A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
Dmitry Vasilyev, Michal Rewienski, Jacob White