7778 search results - page 367 / 1556 » Designing Controllers for Reachability |
121
click to vote
CONCURRENCY
2010
15 years 5 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
127
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method...
103
click to vote
MONET
2006
15 years 4 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
142
click to vote
CCR
2005
15 years 4 months ago
2005
This article describes how control theory has been used to address the question of how to size the buffers in core Internet routers. Control theory aims to predict whether the net...
121
click to vote
TSMC
2008
15 years 4 months ago
2008
The control of dynamic systems that undergo an impact collision is both theoretically challenging and of practical importance. An appeal of studying systems that undergo an impact ...