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

A type-theoretic approach for program development

โœ Scribed by Wei Li

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
792 KB
Volume
6
Category
Article
ISSN
0167-739X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Dynamic Multidrug Therapies for HIV: A C
Dynamic Multidrug Therapies for HIV: A Control Theoretic Approach
โœ Lawrence M. Wein; Stefanos A. Zenios; Martin A. Nowak ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 416 KB

Motivated by the inability of current drug treatment to provide long-term benefit to HIV-infected individuals, we derive HIV therapeutic strategies by formulating and analyzing a mathematical control problem. The model tracks the dynamics of uninfected and infected CD4+ cells and free plasma virus,

A control theoretic model for piloted ap
A control theoretic model for piloted approach to landing
โœ David L. Kleinman; Sheldon Baron ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 848 KB

As verified by experimental data, a mathematical model of a pilot-vehicle system, developed using optimal control and estimation theory, can be used to study display requirements for aircraft approach-to-landing. Summary--A previously developed, optimal control model for manned-vehicle systems anal