Sciweavers

1495 search results - page 35 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
SIGSOFT
1998
ACM
14 years 1 months ago
On-Line Change Mechanisms
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
Sylvia Stuurman, Jan van Katwijk
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
14 years 2 months ago
Kinematic Modelling of Wheeled Mobile Manipulators
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...
Bernard Bayle, Jean-Yves Fourquet, Marc Renaud
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
14 years 3 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
HYBRID
2003
Springer
14 years 1 months ago
Qualitative Heterogeneous Control of Higher Order Systems
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
Subramanian Ramamoorthy, Benjamin Kuipers
HYBRID
2003
Springer
14 years 1 months ago
On the Causality of Mixed-Signal and Hybrid Models
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
Jie Liu, Edward A. Lee