Sciweavers

10 search results - page 1 / 2
» Approximately Bisimilar Finite Abstractions of Stable Linear...
Sort
View
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
13 years 5 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
MOC
1998
126views more  MOC 1998»
13 years 5 months ago
Implicit-explicit multistep finite element methods for nonlinear parabolic problems
We approximate the solution of initial boundary value problems for nonlinear parabolic equations. In space we discretize by finite element methods. The discretization in time is b...
Georgios Akrivis, Michel Crouzeix, Charalambos Mak...
JSCIC
2008
134views more  JSCIC 2008»
13 years 5 months ago
Discontinuous Hamiltonian Finite Element Method for Linear Hyperbolic Systems
Abstract We develop a Hamiltonian discontinuous finite element discretization of a generalized Hamiltonian system for linear hyperbolic systems, which include the rotating shallow ...
Yan Xu, Jaap J. W. van der Vegt, Onno Bokhove
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
13 years 11 months ago
Step Modelling of a High Precision 2DoF (Linear-Angular) Microsystem
Abstract— In this paper, a new type of microsystem is presented : a system able to perform linear and angular motion. First, the microactuator used is studied. An approximation o...
Micky Rakotondrabe, Yassine Haddab, Philippe Lutz