170 search results - page 12 / 34 » A Homology Theory for Hybrid Systems: Hybrid Homology |
95
Voted
JLP
2006
15 years 11 days 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 ...
104
click to vote
HYBRID
2003
Springer
15 years 5 months 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...
116
click to vote
AUTOMATICA
2002
15 years 8 days 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
15 years 7 days 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...
193
Voted
POPL
2006
ACM
16 years 21 days 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...