Sciweavers

695 search results - page 108 / 139
» Control in o-minimal Hybrid Systems
Sort
View
93
Voted
HYBRID
2009
Springer
15 years 4 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
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...
A. Agung Julius, George J. Pappas
113
Voted
HAPTICS
2008
IEEE
15 years 20 days ago
DC Motor Damping: A Strategy to Increase Passive Stiffness of Haptic Devices
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...
Manohar B. Srikanth, Hari Vasudevan, Manivannan Mu...
RTSS
1999
IEEE
15 years 4 months ago
High-Level Modeling and Analysis of TCAS
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...
Carolos Livadas, John Lygeros, Nancy A. Lynch
100
Voted
CEEMAS
2003
Springer
15 years 5 months ago
An Agent-Based Personalized Producer/Consumer Scenario
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...
Christian Seitz, Bernhard Bauer
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
15 years 6 months ago
Force Redistribution in a Quadruped Running Trot
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...
Luther R. Palmer, David E. Orin