We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
The Available Bit Rate (ABR) service in ATM networks has been specified to allow fair and efficient support of data applications over ATM utilizing capacity left over after servici...
—A hybrid functional electrical stimulation (FES)/orthosis system is being developed which combines two channels of (surface-electrode-based) electrical stimulation with a comput...
Ryan J. Farris, Hugo A. Quintero, Thomas J. Withro...
Abstract— This paper describes the design of a fast longjumping robot conceived to move in unstructured environments through simple feed-forward control laws. Despite the apparen...
Umberto Scarfogliero, Cesare Stefanini, Paolo Dari...