4693 search results - page 54 / 939 » Verifying Hybrid Systems |
101
click to vote
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the use of tho...
119
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
102
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
109
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
147
Voted
TSE
2011
14 years 7 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...