Sciweavers

5200 search results - page 172 / 1040
» Symbolic models for control systems
Sort
View
TROB
2002
106views more  TROB 2002»
13 years 8 months ago
Visual servoing of an under-actuated dynamic rigid-body system: an image-based approach
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
Tarek Hamel, Robert E. Mahony
ISW
2004
Springer
14 years 2 months ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...
CAINE
2003
13 years 10 months ago
A Fuzzy Logic Based Multiple Reference Model Adaptive Control
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
Sukumar Kamalasadan, Adel A. Ghandakly, Khalid S. ...
CSMR
2006
IEEE
14 years 3 months ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
IPPS
2003
IEEE
14 years 2 months ago
Multiple Instruction Stream Control for an Associative Model of Parallel Computation
This paper describes a system software design for multiple instruction stream control in a massively parallel associative computing environment. The purpose of providing multiple ...
Michael Scherger, Johnnie W. Baker, Jerry L. Potte...