170 search results - page 12 / 34 » A Homology Theory for Hybrid Systems: Hybrid Homology |
JLP
2006
13 years 7 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
HYBRID
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
AUTOMATICA
2002
13 years 7 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
CSCW
2004
ACM
13 years 7 months ago
2004
ACM
This paper examines WiInf-Central, the `virtual homeplace' of a student community (on Information Systems) at the University of Hamburg, and focuses on processes of social ide...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...