Sciweavers

3823 search results - page 114 / 765
» Stability of Hybrid Systems
Sort
View
PUK
2001
15 years 2 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
87
Voted
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
14 years 10 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
152
Voted
CDC
2010
IEEE
14 years 4 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 5 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...
69
Voted
ENTCS
2008
127views more  ENTCS 2008»
15 years 24 days 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