1164 search results - page 97 / 233 » Case Studies in Event-Driven Control |
111
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper studies the force capability of a particular class of underactuated fingers. Force capability is defined as the ability to create an external wrench onto a fixed obj...
133
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
122
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
144
click to vote
IWEC
2010
15 years 5 months ago
2010
Mobile games are based on the physical movement of players in a game world, combining real world with virtual dimensions. As the real world defies control, the magic circle, the bo...
159
Voted
EXACT
2009
15 years 1 months ago
2009
This paper addresses the issue of the explanation of the result given to the end-user by a classifier, when it is used as a decision support system. We consider machine learning cl...