Sciweavers

185 search results - page 17 / 37
» Invariants, Modularity, and Rights
Sort
View
HYBRID
2001
Springer
14 years 4 days ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
CORR
2008
Springer
52views Education» more  CORR 2008»
13 years 7 months ago
Weighted distance transforms generalized to modules and their computation on point lattices
This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated ...
Céline Fouard, Robin Strand, Gunilla Borgef...
SCP
2008
89views more  SCP 2008»
13 years 7 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
AUTOMATICA
2002
100views more  AUTOMATICA 2002»
13 years 7 months ago
An analysis and design method for linear systems subject to actuator saturation and disturbance
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
Tingshu Hu, Zongli Lin, Ben M. Chen
PR
2002
104views more  PR 2002»
13 years 7 months ago
A geometric approach for the analysis and computation of the intrinsic camera parameters
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
Eduardo Bayro-Corrochano, Bodo Rosenhahn