237 search results - page 30 / 48 » A Process Algebra for Predictible Control Systems |
AUTOMATICA
2006
14 years 11 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the speciļ¬cation language Object-Z, can be linked to standard software engine...
PLILP
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
101
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we propose an error control scheme for video communications over lossy channels. The proposed algorithm uses stochastic frame buffers(SFB) to determine the expected ...
IWSOS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ā...