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.
โฆ LIBER โฆ
Processing of Computed Vector Fields for Visualization
โ Scribed by Susumu Shirayama
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 559 KB
- Volume
- 106
- Category
- Article
- ISSN
- 0021-9991
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
Characteristics of two-phase condensing
โ
Saburo Toda; Yutaka Hori
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 621 KB
Computer generated display of 3D vector
โ
A.J Fuller Baden; M.L.X dos Santos
๐
Article
๐
1980
๐
Elsevier Science
๐
English
โ 424 KB
Vectorization of molecular dynamics Fort
โ
R. Vogelsang; M. Schoen; C. Hoheisel
๐
Article
๐
1983
๐
Elsevier Science
๐
English
โ 496 KB
A concept of vectorization of molecular dynamics Fortran programs for the use of the Cyber 205 machine is presented. It is shown that for calculations with larger particle systems the program runs faster on the 205 than on the Cray-i by about a factor of two. Against conventional computers like the
Defining relations for Lie algebras of v
โ
N. van den Hijligenberg; G. Post
๐
Article
๐
1991
๐
Elsevier Science
๐
English
โ 676 KB
Magnetostatic field computations in term
โ
R. Albanese; G. Rubinacci
๐
Article
๐
1990
๐
John Wiley and Sons
๐
English