منابع مشابه
Hybrid Spectral Transform Diagrams
We give a uniform algebraic framework for computing hybrid spectral transforms in an eecient manner. Based on properties of the Kronecker product, we derive a set of recursive equations, which leads naturally to an algorithm for computing such transforms eeciently. As a result, many applications of transforms like the Walsh transform and the Reed-Muller transform, which were previously impossib...
متن کاملHierarchical Hybrid Block Diagrams
Block diagram languages are now commonly used to design and even implement embedded systems. In the design phase, they are used to model both plant and controller, typically with continuous and discrete modeling respectively. The semantics of these languages are often vague and/or complex, which is fine for some users but leaves others puzzled by the behaviors they observe. This paper presents ...
متن کاملHybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification
We present a methodology for the veriication of temporal properties of hybrid systems. The methodology is based on the deductive transformation of hybrid diagrams, which represent the system and its properties, and which can be algorithmically checked against the spec-iication. This check either gives a positive answer to the veriication problem, or provides guidance for the further transformat...
متن کاملHybrid Diagrams: a Deductive-algorithmic Approach to Hybrid System Veriication ?
We present a methodology for the veriication of temporal properties of hybrid systems. The methodology is based on the deductive transformation of hybrid diagrams, which represent the system and its properties, and which can be algorithmically checked against the spec-iication. This check either gives a positive answer to the veriication problem, or provides guidance for the further transformat...
متن کاملSolving Hybrid Influence Diagrams with Deterministic Variables
We describe a framework and an algorithm for solving hybrid influence diagrams with discrete, continuous, and deterministic chance variables, and discrete and continuous decision variables. A continuous chance variable in an influence diagram is said to be deterministic if its conditional distributions have zero variances. The solution algorithm is an extension of Shenoy’s fusion algorithm for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00036-1