Sciweavers

2366 search results - page 27 / 474
» Pfaffian Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 4 months ago
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
Bruno Gaujal, Florence Perronnin
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
13 years 10 months ago
Span-reachability and observability of bilinear hybrid systems
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
Mihály Petreczky, Jan H. van Schuppen
HYBRID
2005
Springer
14 years 3 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
HYBRID
1995
Springer
14 years 1 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
HYBRID
2005
Springer
14 years 3 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng