Research output per year
Research output per year
- 26 results
Search results
-
2024
Evaluation of frameworks that combine evolution and learning to design robots in complex morphological spaces
Li, W., Buchanan Berumen, E., Le Goff, L., Hart, E., Hale, M., De Carlo, M., Woolley, R., Winfield, A., Timmis, J., Eiben, A. E. & Tyrrell, A., 1 Dec 2024, In: IEEE Transactions on Evolutionary Computation. 28, 6, p. 1561-1574 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2023
Morpho-evolution with learning using a controller archive as an inheritance mechanism
Le Goff, L., Buchanan Berumen, E., Hart, E., Eiben, A. E., Li, W., De Carlo, M., Winfield, A., Hale, M., Woolley, R., Timmis, J. & Tyrrell, A., 1 Jun 2023, In: IEEE Transactions on Cognitive and Developmental Systems. 15, 2, p. 507-517 11 p., 15.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2022
A fault diagnosis method of double-layer LSTM for 10 kV single-core cable based on multiple observable electrical quantities
Chi, P., Zhang, Z., Liang, R., Hu, Y., Ni, K. & Li, W., Apr 2022, In: Electrical Engineering. 104, 2, p. 603-614 12 p.Research output: Contribution to journal › Article › peer-review
-
REVEILLE 7 inhibits the expression of the circadian clock gene EARLY FLOWERING 4 to fine-tune hypocotyl growth in response to warm temperatures
Tian, Y. Y., Li, W., Wang, M. J., Li, J. Y., Davis, S. J. & Liu, J. X., 11 Jul 2022, In: Journal of Integrative Plant Biology. 64, 7, p. 1310-1324Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2021
Fault location of three-core power distribution cables based on lump-parameter model considering conductor couplings
Peng, N., Zhang, P., Liang, R., Guo, Z., Hu, Y., Li, W. & Sheng, Y., Sept 2021, In: International Journal of Electrical Power and Energy Systems. 130, 23 p., 106953.Research output: Contribution to journal › Article › peer-review
-
Hierarchical bismuth vanadate/reduced graphene oxide composite photocatalyst for hydrogen evolution and bisphenol A degradation
Sekar, K., Kassam, A., Bai, Y., Coulson, B., Li, W., Douthwaite, R. E., Sasaki, K. & Lee, A. F., Mar 2021, In: Applied Material Today. 22, 10 p., 100963.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
Bootstrapping artificial evolution to design robots for autonomous fabrication
Buchanan Berumen, E., Le Goff, L., Li, W., Hart, E., Eiben, G., De Carlo, M., Winfield, A., Hale, M., Woolley, R., Timmis, J. & Tyrrell, A., 7 Dec 2020, (E-pub ahead of print) In: MDPI Robotics.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Evolution of Diverse, Manufacturable Robot Body Plans
Buchanan Berumen, E., Le Goff, L., Hart, E., Eiben, G., De Carlo, M., Li, W., Hale, M., Woolley, R., Winfield, A., Timmis, J. & Tyrrell, A., 18 Sept 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Hardware Design for Autonomous Robot Evolution
Hale, M., Buchanan Berumen, E., Li, W., Woolley, R., Le Goff, L., De Carlo, M., Timmis, J., Winfield, A., Hart, E., Eiben, G. & Tyrrell, A., 18 Sept 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Pompon Dahlia-like Cu2O/rGO Nanostructures for Visible Light Photocatalytic H2 Production and 4-Chlorophenol Degradation
Karthikeyan, S., Ahmed, K., Osatiashtiani, A., Lee, A. F., Wilson, K., Sasaki, K., Coulson, B., Swansborough-Aston, W., Douthwaite, R. E. & Li, W., 31 Jan 2020, (E-pub ahead of print) In: ChemCatChem.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
RoboChart: modelling and verification of the functional behaviour of robotic applications
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. C. P., 1 Oct 2019, In: Software and Systems Modeling. 18, 5, p. 3097-3149 53 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer, p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Modelling and verification for swarm robotics
Cavalcanti, A., Miyazawa, A., Sampaio, A., Li, W., Ribeiro, P. & Timmis, J., 1 Jan 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings. Springer, Vol. 11023 LNCS. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11023 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2017
Automatic Property Checking of Robotic Applications
Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.Research output: Working paper
-
Modelling and Verification of Timed Robotic Controllers
De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sept 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform
Millard, A. G., Joyce, R. A., Hilder, J. A., Fleseriu, C., Newbrook, L., Li, W., McDaid, L. & Halliday, D. M., Sept 2017.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
2016
From formalised state machines to implementation of robotic controllers
Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, J. C. P. & Timmis, J. I., Sept 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer, 14 p. (Springer Tracts in Advanced Robotics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
RoboTool
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. (Director) & Timmis, J. I. (Director), 20 May 2016Research output: Non-textual form › Software
-
Turing learning: A metric-free approach to inferring behavior and its application to swarms
Li, W., Gauci, M. & Gross, R., 30 Aug 2016, In: Swarm Intelligence. 10, 3, p. 211-243 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
Mechanical cognitivization: a kinematic system proof of concept
Avigad, G., Li, W. & Weiss , A., 2015, In: Adaptive behavior. 23, 3, p. 155-170 16 p.Research output: Contribution to journal › Article › peer-review
-
Occlusion-based cooperative transport with a swarm of miniature mobile robots
Chen, J., Gauci, M., Li, W., Kolling, A. & Gross, R., 2015, In: IEEE Trans. Robotics. 31, 2, p. 307-321 15 p.Research output: Contribution to journal › Article › peer-review
-
2014
Coevolutionary learning of swarm behaviors without metrics
Li, W., Gauci, M. & Gross, R., 2014, GECCO '14: Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation. New York: ACM, p. 201-208 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Self-organized aggregation without computation
Gauci, M., Chen, J., Li, W., Dodd, T. & Gross, R., 2014, In: International journal of robotics research. 33, 8, p. 1145-1161 17 p.Research output: Contribution to journal › Article › peer-review
-
2013
A coevolutionary approach to learn animal behavior through controlled interaction
Li, W., Gauci, M. & Gross, R., 2013, Proceedings of the 2013 Annual Conference on Genetic and Evolutionary Computation. Amsterdam, Netherlands: ACM, p. 223-230Research output: Chapter in Book/Report/Conference proceeding › Conference contribution