Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Planning for real robots to act in dynamic and uncertain environments is a challenging problem. A complete model of the world is not viable and an integration of deliberation and ...
Manuela M. Veloso, Elly Winner, Scott Lenser, Jame...
— This paper presents our approach to extending the niche of behavior-based robotics to manipulation. We use results from neuroscience to define the basic behaviors of the manip...
B. J. W. Waarsing, Marnix Nuttin, Hendrik Van Brus...
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
Sarjoun Skaff, Alfred A. Rizzi, Howie Choset, Pei-...