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