Sciweavers

13717 search results - page 397 / 2744
» Control Systems
Sort
View
170
Voted
MICCAI
2000
Springer
15 years 8 months ago
An Augmentation System for Fine Manipulation
Augmented surgical manipulation tasks can be viewed as a sequence of smaller, steps driven primarily by the surgeon's input. These steps can be abstracted as controlled intera...
Rajesh Kumar 0001, Gregory D. Hager, Aaron C. Barn...
126
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 5 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
118
Voted
PRIS
2004
15 years 6 months ago
Camera Control for a Distant Lecture Based on Estimation of a Teacher's Behavior
The growth of communication network technology enables people to take part in a distant lecture. We are developing a supporting system for a distant lecture named ACE (Automatic Ca...
Atsushi Shimada, Akira Suganuma, Rin-ichiro Tanigu...
ICC
2007
IEEE
15 years 11 months ago
A Grammar for Specifying Usage Control Policies
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
Rafael Teigao, Carlos Maziero, Altair Olivo Santin
HYBRID
2005
Springer
15 years 10 months ago
Optimal Control of Discrete Hybrid Stochastic Automata
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
Alberto Bemporad, Stefano Di Cairano