This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
The present study is focused on usability issues related to laparoscopy, emphasizing the surgeon’s overall satisfaction with the mediated perception of reality. We were particul...
A mobile ad-hoc network (MANET) is a characteristized by multi-hop wireless links, in the absence of any cellular infrastructure, as well as frequent host mobility. Existing on-de...
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...