We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
Nicholas L. Cassimatis, Perrin G. Bignoli, Magdale...
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
Howard Salis, Vassilios Sotiropoulos, Yiannis N. K...
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
— We present our recent results on the method of controlled Lagrangians in order to stabilize mechanical systems by shaping both energy and external forces. Various easily veri...
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...