Sciweavers

327 search results - page 4 / 66
» Accurate hybridization of nonlinear systems
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
14 years 4 months 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»
13 years 4 months 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
14 years 1 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»
13 years 10 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
14 years 10 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