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
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.
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