Sciweavers

3565 search results - page 98 / 713
» Modeling a system controller for timing analysis
Sort
View
ESORICS
2006
Springer
15 years 6 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
TROB
2002
97views more  TROB 2002»
15 years 2 months ago
Geometric scattering in robotic telemanipulation
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...
Stefano Stramigioli, Arjan van der Schaft, Bernhar...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 8 months ago
Robust extended Kalman filter based nonlinear model predictive control formulation
— The analysis of the EKF error sequence in [1] is expanded to the case with non-vanishing perturbations. The robust stability of NMPC and EKF pair is established. In addition, w...
Rui Huang, Sachin C. Patwardhan, Lorenz T. Biegler
139
Voted
CDC
2010
IEEE
161views Control Systems» more  CDC 2010»
14 years 10 months ago
Circadian system modeling and phase control
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
Jiaxiang Zhang, Andrew Bierman, John T. Wen, Agung...
CASES
2007
ACM
15 years 7 months ago
Cache leakage control mechanism for hard real-time systems
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...
Jaw-Wei Chi, Chia-Lin Yang, Yi-Jung Chen, Jian-Jia...