๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Computing linear transforms of symbolic signals

โœ Scribed by Wei Wang; Johnson, D.H.


Book ID
118691277
Publisher
IEEE
Year
2002
Tongue
English
Weight
376 KB
Volume
50
Category
Article
ISSN
1053-587X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Symbolic Reachability Computation for Fa
โœ Gerardo Lafferriere; George J. Pappas; Sergio Yovine ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 391 KB

The control paradigm of physical processes being supervised by digital programs has lead to the development of a theory of hybrid systems combining finite state automata with differential equations. One of the most important problems in the verification of hybrid systems is the reachability problem.

Numeric Deduction in Symbolic Computatio
โœ IVAN I. SHEVCHENKO ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 295 KB

Algorithms of numeric (in exact arithmetic) deduction of analytical expressions, proposed and described by Shevchenko and Vasiliev (1993), are developed and implemented in a computer algebra code. This code is built as a superstructure for the computer algebra package by Shevchenko and Sokolsky (199