1721 search results - page 17 / 345 » The fundamentals of hybrid systems modelers |
ENTCS
2008
14 years 9 months ago
2008
HYPE is a process algebra developed to model hybrid systems
TWC
2008
14 years 9 months ago
2008
Abstract--Wireless infrastructures can be conveniently categorized into two types: those that provide point-to-point `unicast' connectivity (e.g., cellular) and others that ar...
109
click to vote
SIGMETRICS
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...