Sciweavers

Share
HYBRID
2010
Springer

Accurate hybridization of nonlinear systems

10 years 12 days 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 simpler (such as affine) vector field. This is done by partitioning the state space into small regions within each of which a simpler vector field is defined. This approach relies on the availability of methods for function approximation and for handling the resulting dynamical systems. Concerning function approximation using interpolation, the accuracy depends on the shapes and sizes of the regions which can compromise as well the speed of reachability computation since it may generate spurious classes of trajectories. In this paper we study the relationship between the region geometry and reachable set accuracy and propose a method for constructing hybridization regions using tighter interpolation error bounds. In addition, our construction exploits the dynamics of the system to adapt the orientation of ...
Thao Dang, Oded Maler, Romain Testylier
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where HYBRID
Authors Thao Dang, Oded Maler, Romain Testylier
Comments (0)
books