3565 search results - page 153 / 713 » Modeling a system controller for timing analysis |
122
click to vote
CSFW
1994
IEEE
15 years 7 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
122
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
138
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
– This paper presents a predictive gain scheduler for path tracking control in a networked control system with variable delay. The controller uses the plant model to predict futu...
120
click to vote
MIRRORBOT
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
143
click to vote
FUIN
2007
15 years 3 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...