15,646 research outputs found
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
Fault tolerance and safety verification of control
systems are essential for the success of autonomous robotic
systems. A control architecture called Mission Data System
(MDS), developed at the Jet Propulsion Laboratory, takes
a goal-based control approach. In this paper, a method for
converting goal network control programs into linear hybrid
systems is developed. The linear hybrid system can then be
verified for safety in the presence of failures using existing
symbolic model checkers. An example task is simulated in
MDS and successfully verified using HyTech, a symbolic model
checking software for linear hybrid systems
The geometry of Hrushovski constructions, I. The uncollapsed case
An intermediate stage in Hrushovski's construction of flat strongly minimal
structures in a relational language L produces omega-stable structures of rank
omega. We analyze the pregeometries given by forking on the regular type of
rank omega in these structures. We show that varying L can affect the (local)
isomorphism type of the pregeometry, but not its finite subpregeometries. A
sequel will compare these to the pregeometries of the strongly minimal
structures.Comment: 31 page
Chapter 2 - Laboratory Techniques
Explore the contents of Bryophyte Ecology, Volume 3, Chapter 2 - Laboratory Techniques by clicking the links above. For the Contents section of this ebook, as well as Volumes 2 through 5, please visit the Bryophyte Ecology Main Page.
Use CTRL+F to easily search within PDF files.
Ebook sponsored by Michigan Technological University and the International Association of Bryologists.https://digitalcommons.mtu.edu/bryophyte-ecology3/1001/thumbnail.jp
Binding-incompetent adenovirus facilitates molecular conjugate-mediated gene transfer by the receptor-mediated endocytosis pathway
Molecular conjugate vectors may be constructed that accomplish high efficiency gene transfer by the receptor-mediated endocytosis pathway. In order to mediate escape from lysosomal degradation, we have incorporated adenoviruses into the functional design of the conjugate. In doing so, however, we have introduced an additional ligand, which can bind to receptors on the cell surface, undermining the potential for cell specific targeting. To overcome this, we have treated the adenovirus with a monoclonal anti-fiber antibody, which renders the virus incapable of binding to its receptor. The result is a multi-functional molecular conjugate vector, which has preserved its binding specificity while at the same time being capable of preventing lysosomal degradation of endosome-internalized conjugate-DNA complexes. This finding indicates that adenoviral binding is not a prerequisite for adenoviral-mediated endosome disruption
- ā¦