695 search results - page 108 / 139 » Control in o-minimal Hybrid Systems |
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
HAPTICS
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
RTSS
1999
IEEE
14 years 6 days ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
CEEMAS
2003
Springer
14 years 1 months ago
2003
Springer
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper, an attitude control strategy is developed for a high-speed quadruped trot. The forces in the trot are redistributed among the legs to stabilize the pitch...