Cyclicity of a Family of Vector Fields
โ Scribed by A. Cima; A. Gasull; F. Manosas
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 555 KB
- Volume
- 196
- Category
- Article
- ISSN
- 0022-247X
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.
In this paper we show that the vector field X {, h on a based path space W o (M) over a Riemannian manifold M defined by parallel translating a curve h in the initial tangent space T o M via an affine connection { induces a solution flow which preserves the Wiener measure on the based path space W o