1146 search results - page 45 / 230 » Periodically Controlled Hybrid Systems |
HYBRID
2007
Springer
14 years 2 months 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...
HYBRID
2005
Springer
14 years 1 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...
HYBRID
2005
Springer
14 years 1 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...
HYBRID
2009
Springer
14 years 2 months 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 ...
ASIACRYPT
1999
Springer
14 years 4 days ago
1999
Springer
A periodical multi-secret threshold cryptosystem enables a sender to encrypt a message by using a cyclical sequence of keys which are shared by n parties and periodically updated. ...