1495 search results - page 39 / 299 » Modeling and controllability for a class of hybrid mechanica... |
DAGSTUHL
2006
13 years 10 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
We analyze the problem of reducing packet losses due to the authentication time which is required when an ad hoc node switches across different gateways in a mobile ad hoc network...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
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...