11168 search results - page 304 / 2234 » Abstract State Processes |
196
click to vote
CCE
2008
15 years 7 months ago
2008
This work considers the problem of control of nonlinear process systems subject to input constraints and actuator faults. Faults are considered that preclude the possibility of con...
207
click to vote
HYBRID
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
197
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
217
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
246
Voted
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, ranging process in IEEE 802.16e OFDMA systems is analyzed and performance is evaluated. Ranging process provides initial network entry, uplink synchronization, and ...