Sciweavers

2377 search results - page 47 / 476
» Hybrid Systems in TLA
Sort
View
PUK
2001
13 years 8 months ago
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
Alexander Osherenko
HYBRID
2005
Springer
14 years 28 days ago
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...
Sophie Chareyron, Pierre-Brice Wieber
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
13 years 5 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
13 years 12 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...
ENTCS
2008
127views more  ENTCS 2008»
13 years 7 months ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi