This paper deals with the design and dynamic control simulation of a new type of 4-DOFs parallel mechanism providing 3 translations and 1 rotation for highspeed handling and machi...
The problem of integrator forwarding is revisited using the notion of dynamically scaled (control) Lyapunov function. A new class of dynamic stabilizing control laws is presented, ...
The development of control system for the dynamic processes characterizing uncertainties needs the creating of the proper knowledge base for the controller. In this paper, to solve...
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lis...
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...