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

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

โœ Scribed by B. Jeannet

Book ID
111542584
Publisher
Springer
Year
2003
Tongue
English
Weight
844 KB
Volume
23
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Velocity ratio in the analysis of linear
Velocity ratio in the analysis of linear dynamical systems
โœ M.L. Munjal; A.V. Sreenath; M.V. Narasimhan ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 781 KB

The transfer matrix method is known to be well suited for a complete analysis of a lumped as well as distributed element, one-dimensional, linear dynamical system with a marked chain topology. However, general subroutines of the type available for classical matrix methods are not available in the cu