9 search results - page 2 / 2 » Foundations of a Compositional Interchange Format for Hybrid... |
AAAI
2007
13 years 7 months ago
2007
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
KI
2010
Springer
13 years 22 hour ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
ICEBE
2007
IEEE
13 years 9 months ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...