— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
Ramon Gonzalez, Mirko Fiacchini, Jose Luis Guzman,...
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...