Sciweavers

7778 search results - page 154 / 1556
» Designing Controllers for Reachability
Sort
View
127
Voted
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 5 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
123
Voted
UIST
2010
ACM
15 years 1 months ago
UIMarks: quick graphical interaction with specific targets
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
Olivier Chapuis, Nicolas Roussel
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
15 years 10 months ago
Integrated scheduling and synthesis of control applications on distributed embedded systems
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng
133
Voted
ROBIO
2006
IEEE
173views Robotics» more  ROBIO 2006»
15 years 9 months ago
Impedance Control of the Hydraulic Shoulder A 3-DOF Parallel Manipulator
– In this paper, a model-based impedance control strategy is developed for a 3 DOF parallel manipulator to manage the interaction of the robot with the environment. Kinematic and...
H. Sadjadian, H. D. Taghirad
ICRA
1998
IEEE
106views Robotics» more  ICRA 1998»
15 years 7 months ago
A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous Highway Driving
ct This paper willpresent the resultsof a comparative study of a set of vision-based control strategies that have been applied to the problem of steering an autonomous vehicle alon...
Jana Kosecka, Robert Blasi, Camillo J. Taylor, Jit...