An analytical and experimental investigation of a jet pipe controlled electropneumatic servoactuator designed for use in the Utah/MIT dextrous hand (UMDH) has been performed. An ac...
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
Jakob von Uexk¨ull’s theory of the Umwelt is described and it is used to show how perceptual states can be defined. It is described how perceptual cues are selected over evolut...
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...