Sciweavers

327 search results - page 10 / 66
» Accurate hybridization of nonlinear systems
Sort
View
HYBRID
1999
Springer
14 years 3 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse
HYBRID
2005
Springer
14 years 4 months ago
Polynomial Stochastic Hybrid Systems
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
João P. Hespanha
ICRA
2007
IEEE
207views Robotics» more  ICRA 2007»
14 years 5 months ago
Accurate Motion Estimation and High-Precision 3D Reconstruction by Sensor Fusion
—The CCD camera and the 2D laser range finder are widely used for motion estimation and 3D reconstruction. With their own strengths and weaknesses, low-level fusion of these two ...
Yunsu Bok, Youngbae Hwang, In-So Kweon
HYBRID
2009
Springer
14 years 5 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
CMSB
2009
Springer
14 years 5 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler