Sciweavers

1721 search results - page 34 / 345
» The fundamentals of hybrid systems modelers
Sort
View
JUCS
2006
117views more  JUCS 2006»
14 years 11 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 6 months ago
Symmetry reduction for stochastic hybrid systems
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
Manuela L. Bujorianu, Joost-Pieter Katoen
MCS
2006
Springer
14 years 11 months ago
Modeling and simulation of a hybrid dynamic system used in haptic interfaces
F. Khatounian, S. Moreau, J.-P. Louis, Eric Monmas...
PROMAS
2007
Springer
15 years 6 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...