Sciweavers

296 search results - page 36 / 60
» Discrete and Hybrid Nonholonomy
Sort
View
CIE
2009
Springer
14 years 4 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
IEEEARES
2006
IEEE
14 years 3 months ago
Modeling Dependable Systems using Hybrid Bayesian Networks
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
Martin Neil, Manesh Tailor, Norman E. Fenton, Davi...
ICRA
2003
IEEE
155views Robotics» more  ICRA 2003»
14 years 3 months ago
A Multifunctional Hybrid Hip Joint for Improved Adaptability in Miniature Climbing Robots
- The subject of this paper is a hybrid hip biped climbing robot. The hybrid hip provides both prismatic and revolute motion, discretely, to the robot, using a single actuator. Thi...
Satya P. Krosuri, Mark A. Minor
HYBRID
2003
Springer
14 years 3 months ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 2 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...