Ye, Kangfeng; Cavalcanti, Ana; Foster, Simon; Miyazawa, Alvaro; Woodcock, Jim
Probabilistic modelling and verification using RoboChart and PRISM Journal Article
In: Software and Systems Modeling, pp. 1–50, 2022.
@article{ye2022probabilistic,
title = {Probabilistic modelling and verification using RoboChart and PRISM},
author = {Kangfeng Ye and Ana Cavalcanti and Simon Foster and Alvaro Miyazawa and Jim Woodcock},
year = {2022},
date = {2022-03-01},
journal = {Software and Systems Modeling},
pages = {1--50},
publisher = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Menéndez, Héctor D; Suárez-Tangil, Guillermo
ObfSec: Measuring the security of obfuscations from a testing perspective Journal Article
In: Expert Systems with Applications, 210 , pp. 118298, 2022.
@article{menendez2022obfsec,
title = {ObfSec: Measuring the security of obfuscations from a testing perspective},
author = {Héctor D Menéndez and Guillermo Suárez-Tangil},
year = {2022},
date = {2022-03-01},
journal = {Expert Systems with Applications},
volume = {210},
pages = {118298},
publisher = {Elsevier},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Li, Jun; Gao, Haibo; Wan, Yuhui; Humphreys, Joseph; Peers, Christopher; Yu, Haitao; Zhou, Chengxu
Whole-Body Control for a Torque-Controlled Legged Mobile Manipulator Journal Article
In: Actuators, 11 (11), 2022, ISSN: 2076-0825.
@article{act11110304,
title = {Whole-Body Control for a Torque-Controlled Legged Mobile Manipulator},
author = {Jun Li and Haibo Gao and Yuhui Wan and Joseph Humphreys and Christopher Peers and Haitao Yu and Chengxu Zhou},
url = {https://www.mdpi.com/2076-0825/11/11/304},
doi = {10.3390/act11110304},
issn = {2076-0825},
year = {2022},
date = {2022-03-01},
journal = {Actuators},
volume = {11},
number = {11},
abstract = {The task of performing locomotion and manipulation simultaneously poses several scientific challenges, such as how to deal with the coupling effects between them and how to cope with unknown disturbances introduced by manipulation. This paper presents an inverse dynamics-based whole-body controller for a torque-controlled quadrupedal manipulator capable of performing locomotion while executing manipulation tasks. Unlike existing methods that deal with locomotion and manipulation separately, the proposed controller can handle them uniformly, which can take into account the coupling effects between the base, limbs and manipulated object. The controller tracks the desired task–space motion references based on a hierarchical optimization algorithm, given a set of hierarchies that define strict priorities and the importance of weighting each task within a hierarchy. The simulation results show the robot is able to follow multiple task–space motion reference trajectories with reasonable deviation, which proved the effectiveness of the proposed controller.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}