Sciweavers

3765 search results - page 266 / 753
» Qualitative Action Systems
Sort
View
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
16 years 17 days ago
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
Ian Dobson, Benjamin A. Carreras, David E. Newman
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
16 years 1 months ago
Programming modular robots with locally distributed predicates
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
Michael DeRosa, Seth Copen Goldstein, Peter Lee, P...
HYBRID
2007
Springer
16 years 1 months ago
A Controller Design Method Under Infrequent, Asynchronous Sensing
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
Fumin Zhang, Naomi Ehrich Leonard
UM
2005
Springer
16 years 22 days ago
Decision Theoretic Dialogue Planning for Initiative Problems
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
Bryan McEleney, Gregory M. P. O'Hare
DSOM
2003
Springer
16 years 15 days ago
On the Algebraic Structure of Convergence
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
Alva L. Couch, Yizhan Sun