Sciweavers

1721 search results - page 34 / 345
» The fundamentals of hybrid systems modelers
Sort
View
JUCS
2006
117views more  JUCS 2006»
14 years 9 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 4 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 9 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 3 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...