Sciweavers

1146 search results - page 73 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2000
Springer
14 years 22 days ago
Hybrid Systems Diagnosis
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vi...
COST
2008
Springer
69views Multimedia» more  COST 2008»
13 years 11 months ago
Supporting Engagement and Floor Control in Hybrid Meetings
Remote participants in hybrid meetings often have problems to follow what is going on in the (physical) meeting room they are connected with. This paper describes a videoconferenci...
Rieks op den Akker, Dennis Hofs, Hendri Hondorp, H...
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...
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
HYBRID
1999
Springer
14 years 1 months ago
Orthogonal Polyhedra: Representation and Computation
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...
Olivier Bournez, Oded Maler, Amir Pnueli