Sciweavers

1617 search results - page 270 / 324
» Knowledge Condition Games
Sort
View
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 1 months ago
Stabilization of networked control systems via non-monotone control ^lyapunov functions
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
Rob H. Gielen, Mircea Lazar
ISORC
2000
IEEE
14 years 1 months ago
Scheduling Solutions for Supporting Dependable Real-Time Applications
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
F. Sandrini, Felicita Di Giandomenico, Andrea Bond...
FM
1999
Springer
109views Formal Methods» more  FM 1999»
14 years 1 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
LPAR
1999
Springer
14 years 1 months ago
A Partial Evaluation Framework for Curry Programs
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
Elvira Albert, María Alpuente, Michael Hanu...
ICRA
1998
IEEE
89views Robotics» more  ICRA 1998»
14 years 1 months ago
Parallel Microassembly with Electrostatic Force Fields
Assembly is a fundamental issue in the volume production of products that include microscopic submillimeter parts. These parts are often fabricated in parallel at high density but...
Karl-Friedrich Böhringer, Kenneth Y. Goldberg...