Sciweavers

13489 search results - page 348 / 2698
» Operating System
Sort
View
ARCS
2004
Springer
16 years 3 days ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
ICML
2004
IEEE
16 years 7 months ago
Learning and discovery of predictive state representations in dynamical systems with reset
Predictive state representations (PSRs) are a recently proposed way of modeling controlled dynamical systems. PSR-based models use predictions of observable outcomes of tests that...
Michael R. James, Satinder P. Singh
COR
2007
157views more  COR 2007»
15 years 6 months ago
A decision support system for the single-depot vehicle rescheduling problem
Disruptions in trips can prevent vehicles from executing their schedules as planned. Mechanical failures, accidents, and traffic congestion often hinder a vehicle schedule. When a...
Jing-Quan Li, Denis Borenstein, Pitu B. Mirchandan...
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
16 years 1 months ago
Analysis of sampled-data interconnected systems
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Chun Zhang, Geir E. Dullerud
ICRA
2007
IEEE
196views Robotics» more  ICRA 2007»
16 years 1 months ago
A Visual Language for Robot Control and Programming: A Human-Interface Study
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
Gregory Dudek, Junaed Sattar, Anqi Xu