Sciweavers

118 search results - page 13 / 24
» Worst-case analysis of discrete systems based on conditional...
Sort
View
SIAMSC
2008
146views more  SIAMSC 2008»
13 years 7 months ago
Long Time Numerical Solution of the Navier--Stokes Equations Based on a Sequential Regularization Formulation
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
Ping Lin, Jian-Guo Liu, Xiliang Lu
ICRA
2003
IEEE
128views Robotics» more  ICRA 2003»
14 years 19 days ago
Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms
Abstract − A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in ma...
Yin Wang, Zhiming Wu
ENTCS
2006
154views more  ENTCS 2006»
13 years 7 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
TROB
2002
126views more  TROB 2002»
13 years 7 months ago
Modeling and controllability for a class of hybrid mechanical systems
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
Francesco Bullo, Milos Zefran
CDC
2010
IEEE
13 years 2 months ago
Stochastic approximation for consensus with general time-varying weight matrices
This paper considers consensus problems with delayed noisy measurements, and stochastic approximation is used to achieve mean square consensus. For stochastic approximation based c...
Minyi Huang