Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, K...
Abstract— Control systems utilizing wireless sensor and actuator networks can be severely affected by the properties of the wireless links. Radio fading and interference may caus...
Erik Henriksson, Henrik Sandberg, Karl Henrik Joha...
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...
"Without embodiment artificial intelligence is nothing." Algorithms in the field of artificial intelligence are mostly tested on a computer instead of testing on a real p...
Ivo Boblan, Rudolf Bannasch, Andreas Schulz, Hartm...