Jacob Katz

Learn More
Modern symbolic model checking techniques use Binary Decision Diagrams (BDD) and propositional satisfiability (SAT) decision procedures for checking validity and satisfiability of propositional Boolean formulas, which are used to encode sub-problems of symbolic model checking. Usage of propositional formulas imposes a potential exponential memory blow-up on(More)
Individuals who are unaware of the price do not derive more enjoyment from more expensive wine. In a sample of more than 6,000 blind tastings, we find that the correlation between price and overall rating is small and negative, suggesting that individuals on average enjoy more expensive wines slightly less. For individuals with wine training, however, we(More)
—Since 2006 the SPHERES facility aboard the International Space Station has enabled research of high-risk autonomy algorithms which would not otherwise be conducted in a regular space mission. A thread of research with several demonstrations aboard the ISS is Collision Avoidance. Through two SPHERES test sessions over the course of a year, researchers have(More)
We have described three major groupings that encompass most auditory processing difficulties. While the problems may be superimposed upon one another in any individual client, each diagnostic sign is closely associated with particular communication and learning disorders. In addition, these behaviors may be related back to the functional anatomy of the(More)
— The designation of the International Space Station as a National Laboratory enhances the ability to use the facility for educational objectives. The MIT Space Systems Laboratory and Aurora Flight Sciences started the ZERO-Robotics program to enable High School students to participate directly in the science conducted aboard the ISS. The program, based on(More)
The ability to autonomously assemble large structures in space is desirable for the construction of large orbiting solar arrays, interplanetary spacecraft, or space telescopes. One technique uses free-ying satellites to manipulate and connect elements of the structure. Since these elements are often exible and lack embedded actuators and sensors, the(More)
The deployment of space robots for servicing and maintenance operations, which are tele-operated from ground, is a valuable addition to existing autonomous systems since it will provide flexibility and robustness in mission operations. In this connection, not only robotic manipulators are of great use but also free-flying inspector satellites supporting the(More)
Since beginning operations aboard the International Space Station (ISS) in May 2006, the Synchronized Position Hold Engage Reorient Experimental Satellites (SPHERES) facility has completed a total of twelve test session with over 150 tests. As a testing environment for distributed satellites systems, SPHERES research concentrates on the development of(More)