4434 search results - page 39 / 887 » On the Composition of Hybrid Systems |
157
click to vote
HYBRID
2007
Springer
16 years 8 days ago
2007
Springer
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...
139
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
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...
183
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
147
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
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...
150
click to vote
HYBRID
2009
Springer
16 years 27 days ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...