Sciweavers

3823 search results - page 114 / 765
» Stability of Hybrid Systems
Sort
View
PUK
2001
15 years 5 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
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
15 years 2 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
CDC
2010
IEEE
14 years 8 months ago
On the stability of wholesale electricity markets under real-time pricing
— The paper proposes a mathematical model for the dynamic evolution of supply, demand, and clearing prices under a class of real-time pricing mechanisms characterized by passing ...
Mardavij Roozbehani, Munther Dahleh, Sanjoy K. Mit...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 9 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»
15 years 4 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