Sciweavers

1495 search results - page 67 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 10 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
14 years 3 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
ICRA
1994
IEEE
117views Robotics» more  ICRA 1994»
14 years 10 days ago
Nonholonomic Mechanics and Locomotion: The Snakeboard Example
Analysis and simulations are performed for a simplified model of a commercially available variant on the skateboard, known as the Snakeboard1 . Although the model exhibits basic g...
James P. Ostrowski, Andrew D. Lewis, Richard M. Mu...
ACTA
2007
106views more  ACTA 2007»
13 years 9 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 1 months ago
Regulation and tracking of two-level quantum systems using measurement feedback
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...
Masahiro Yanagisawa, Alexander N. Korotkov, Matthe...