5200 search results - page 291 / 1040 » Symbolic models for control systems |
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
WCRE
2008
IEEE
14 years 4 months ago
2008
IEEE
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...
AUTOMATICA
2007
13 years 9 months ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
MCS
2006
Springer
13 years 9 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
ESANN
2000
13 years 11 months ago
2000
In modelling the development of the oculomotor control system using neural networks, it is important to determine the appropriate cost function on which to train the models. Whilst...