Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
This paper presents a master-slave system applied to the remote diagnosis from echographic data. The motion of the master manipulator is remotely controlled by a physician and repr...
-This paper discusses the output control for a linear plant containing uncertain hysteresis nonlinearities in actuator and sensor devices simultaneously, where the hysteresis is de...
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
Anthony Rowe, Mario Berges, Gaurav Bhatia, Ethan G...
— In this paper, the problem of distributed neutralization of toxic 2D diffusion process is discussed. The diffusion process is modelled by a parabolic PDE system. A group of mob...