8190 search results - page 1 / 1638 » From Timed to Hybrid Systems |
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
ICSEA
2006
IEEE
13 years 11 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
REX
1991
13 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
HYBRID
2007
Springer
13 years 11 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...