Sciweavers

274 search results - page 10 / 55
» Weighted Automata and Weighted Logics
Sort
View
CDC
2008
IEEE
153views Control Systems» more  CDC 2008»
14 years 1 months ago
On cascades of bilinear systems and generating series of weighted Petri nets
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
W. Steven Gray, Heber Herencia-Zapana, Luis August...
FOSSACS
2009
Springer
13 years 11 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...