Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
Adeline Jacquet, Vincent Janot, Clement Leung, Gua...
This paper deals with the adaptive control of a class of continuous-time nonlinear dynamic systems preceded by an unknown dead-zone. By using a new description of a dead-zone and ...
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
This paper describes a deterministic approach for the typification of buildings which uses several levels of details for the derivation of intermediate scales. The typification pro...