5200 search results - page 745 / 1040 » Symbolic models for control systems |
271
click to vote
HPTS
1993
15 years 11 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
196
click to vote
ICAI
2004
15 years 8 months ago
2004
Robots possess many effectors and sensors of various capability. It is often difficult, not only to integrate these numerous capabilities, but also to organize them to accomplish ...
210
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Many model predictive control (MPC) schemes suffer from high computational complexity. Especially robust MPC schemes, which explicitly account for the effects of disturbances, can ...
199
click to vote
IFM
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
209
click to vote
ICVS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...