Interpretability into Lukasiewicz algebras
In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we also give the number of such interpretations.
Lukasiewicz-Moisil algebras
Lattices, Universal Algebra and Categories. Topological Dualities in Lattice Theory. Elementary Properties of Lukasiewicz-Moisil Algebras. Connections with Other Classes of Lattices. Filters, Ideals and nu-Congruences. Representation Theorems and Duality for Lukasiewicz-Moisil Algebras. Categorical Properties of Lukasiewicz-Moisil Algebras. Monadic and Polyadic Lukasiewicz-Moisil Algebras. Lukasiewicz Logics. Appendix: Applications to Switching Theory. References. Author Index. Subject Index.
LYAPUNOV-BASED TRANSFER BETWEEN ELLIPTIC KEPLERIAN ORBITS
We present a study of the transfer of satellites between elliptic Keplerian orbits using Lyapunov stability theory specific to this problem. The construction of Lyapunov functions is based on the fact that a non-degenerate Keplerian orbit is uniquely described by its angular momentum and Laplace (- Runge-Lenz) vectors. We suggest a Lyapunov function, which gives a feedback controller such that the target elliptic orbit becomes a locally asymptotically stable periodic orbit in the closed-loop dynamics. We show how to perform a global transfer between two arbitrary elliptic orbits based on the local transfer result. Finally, a second Lyapunov function is presented that works only for circular target orbits.