Sciweavers

7340 search results - page 410 / 1468
» The Behavior of Tutoring Systems
Sort
View
LCN
2005
IEEE
16 years 12 days ago
On the Performance of Reliable Server Pooling Systems
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently under standardization by the IETF RSerPool WG. While the basic ide...
Thomas Dreibholz, Erwin P. Rathgeb
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 11 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
APN
1999
Springer
15 years 11 months ago
Autonomous Continuous P/T Systems
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
Laura Recalde, Enrique Teruel, Manuel Silva
201
Voted
ICRA
1998
IEEE
95views Robotics» more  ICRA 1998»
15 years 11 months ago
Stabilization of Systems with Changing Dynamics by Means of Switching
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
Milos Zefran, Joel W. Burdick