3458 search results - page 219 / 692 » Abstracting Control |
125
click to vote
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
154
click to vote
ZUM
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
123
Voted
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
124
click to vote
ISER
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: This paper propose an adaptive visual servoing method consisting of an on-line estimator of the robot/image Jacobian matrix and a feedback/feedforward controller for unca...
112
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...