5084 search results - page 367 / 1017 » Proving Possibility Properties |
183
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
141
Voted
AUTOMATICA
2007
15 years 6 months ago
2007
— A pair of spins is the most simple quantum system that can possess entanglement, a non-classical property playing an essential role in quantum information technologies. In this...
193
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Self-stabilization is an versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of ...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...