Items where authors include "Foster, M."

Article

Foster, M. orcid.org/0000-0001-8233-9873, Clark, A. orcid.org/0000-0002-6830-0566, Wild, C. orcid.org/0009-0009-1195-1497 et al. (6 more authors) (2025) The causal testing framework. Journal of Open Source Software, 10 (107). 7739. ISSN 2475-9066

Qin, Y., Li, G.-J. orcid.org/0000-0002-5956-4033, Zhu, Z.Q. et al. (4 more authors) (2024) Novel generic fault model considering fundamental and PWM current components of PM machines with inter-turn short-circuit. IEEE Transactions on Power Electronics, 39 (7). pp. 8709-8720. ISSN 0885-8993

Anness, A.R., Foster, M. orcid.org/0000-0001-8233-9873, Osman, M.W. et al. (5 more authors) (2024) Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? Journal of Obstetrics and Gynaecology, 44 (1). 2307883. ISSN 0144-3615

Heaven, A. orcid.org/0000-0003-2959-2241, Bower, P., Day, F. et al. (12 more authors) (2024) PeRsOnaliSed care Planning for oldER people with frailty (PROSPER): protocol for a randomised controlled trial. Trials, 25. 8. ISSN 1745-6215

Clark, A.G., Foster, M., Prifling, B. et al. (4 more authors) (2024) Testing causality in scientific modelling software. ACM Transactions on Software Engineering and Methodology, 33 (1). pp. 1-42. ISSN 1049-331X

Taylor, R., Foster, M. and North, S. (2022) An automated framework for verifying or refuting trace properties of extended finite state machines. International Journal on Software Tools for Technology Transfer, 24 (6). pp. 949-972. ISSN 1433-2779

Forrester, J. orcid.org/0000-0002-8102-7576, Davidson, J., Foster, M. et al. (1 more author) (2022) Circuit simulator compatible model for the ring-dot piezoelectric transformer. Journal of Microelectromechanical Systems, 32 (1). pp. 103-116. ISSN 1057-7157

Wang, Z., Wang, Z., Davidson, J. orcid.org/0000-0002-6576-3995 et al. (2 more authors) (2022) A Monte Carlo simulator to investigate cell-to-cell deviation in a grid-tied battery pack. IET Power Electronics, 15 (13). pp. 1264-1278. ISSN 1755-4543

Arabansari, S., Davidson, J. orcid.org/0000-0002-6576-3995 and Foster, M. (2022) Fully-integrated planar transformer with a segmental shunt for LLC resonant converters. IEEE Transactions on Industrial Electronics, 69 (9). pp. 9145-9154. ISSN 0278-0046

Arab Ansari, S. orcid.org/0000-0003-2293-0009, Davidson, J. orcid.org/0000-0002-6576-3995 and Foster, M. (2022) Fully-integrated solid shunt planar transformer for LLC resonant converters. IEEE Open Journal of Power Electronics, 3. pp. 26-35. ISSN 2644-1314

Gunsal, I., Stone, D. and Foster, M. orcid.org/0000-0002-8565-0541 (2021) Suppressing leakage current for cascaded H-bridge inverters in renewable energy and storage systems. IEEE Transactions on Industrial Electronics, 68 (11). pp. 11035-11043. ISSN 0278-0046

Farias Martins, L., Stone, D. orcid.org/0000-0002-5770-3917 and Foster, M. orcid.org/0000-0002-8565-0541 (2020) Modelling of phase-shift modulated bidirectional CLLC resonant converter. IET Power Electronics, 13 (12). pp. 2628-2637. ISSN 1755-4535

Petersen, A., Stone, D., Foster, M. et al. (1 more author) (2019) Quantitative power loss analysis and optimisation in nth-order low voltage multilevel converters. IET Power Electronics, 12 (7). pp. 1652-1661. ISSN 1755-4535

Mantar Gundogdu, B., Nejad, S., Gladwin, D.T. orcid.org/0000-0001-7195-5435 et al. (2 more authors) (2018) A Battery Energy Management Strategy for UK Enhanced Frequency Response and Triad Avoidance. IEEE Transactions on Industrial Electronics, 65 (12). pp. 9509-9517. ISSN 0278-0046

Alnuman, H.H., Gladwin, D. and Foster, M. (2018) Electrical modelling of a DC railway system with multiple trains. Energies, 11 (11). 3211. ISSN 1996-1073

Lewis, A., Foster, M., Hughes, C. et al. (1 more author) (2016) Management of prisoners with autism is not perfect but is improving. British Medical Journal, 354. i4881. ISSN 0959-8146

Turner, K., Lewis, A., Hughes, C. et al. (1 more author) (2016) Improving the management of prisoners with autistic spectrum disorders (ASD). Prison Service Journal (226). pp. 22-26. ISSN 0300-3558

Davidson, J., Stone, D., Foster, M. et al. (1 more author) (2015) Measurement and characterisation technique for real-time die temperature prediction of MOSFET-based power electronics. IEEE Transactions on Power Electronics. ISSN 1941-0107

Hoang, K.D., Ren, Y., Zhu, Z-Q. et al. (1 more author) (2015) Modified switching-table strategy for reduction of current harmonics in direct torque controlled dualthree-phase permanent magnet synchronous machine drives. IET Electric Power Applications, 9 (1). 10 - 19. ISSN 1751-8660

Hoang, K.D., Zhu, Z-Q. and Foster, M. (2013) Direct torque control of permanent magnet brushless AC drive with single-phase open-circuit fault accounting for influence of inverter voltage drop. IET Electric Power Applications, 7 (5). 369 - 380. ISSN 1751-8660

Foster, M., Harris, J., Jackson, K. et al. (1 more author) (2008) Practitioners’ documentation of assessment and care planning in social care : the opportunities for organizational learning. British Journal of Social Work, 38 (3). pp. 546-560. ISSN 1468-263X

Harris, J., Morgan, H., Glendinning, C. et al. (2 more authors) (2006) Personalised social care for adults with disabilities: a problematic concept for frontline practice. Health & Social Care in the Community. pp. 125-135. ISSN 1365-2524

Proceedings Paper

Foster, M. orcid.org/0000-0001-8233-9873, Wild, C., Hierons, R. et al. (1 more author) (2024) Causal test adequacy. In: 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) Proceedings. 2024 IEEE Conference on Software Testing, Verification and Validation (ICST), 27-31 May 2024, Toronto, Canada. Institute of Electrical and Electronics Engineers (IEEE) , pp. 161-172. ISBN 9798350308198

Walkinshaw, N. orcid.org/0000-0003-2134-6548, Foster, M., Rojas, J.M. et al. (1 more author) (2024) Bounding random test set size with computational learning theory. In: Baresi, L., (ed.) Proceedings of the ACM on Software Engineering (PACMSE). ACM International Conference on the Foundations of Software Engineering (FSE 2024), 17-19 Jul 2024, Porto de Galinhas, Brazil. Association for Computing Machinery , pp. 2538-2560.

Forrester, J., Davidson, J. orcid.org/0000-0002-6576-3995 and Foster, M. (2023) Bidirectional inverting piezo resonator-based (BIPR) converter for cell balancing applications. In: 2023 IEEE Energy Conversion Congress and Exposition (ECCE) Proceedings. 2023 IEEE Energy Conversion Congress and Exposition (ECCE), 29 Oct - 02 Nov 2023, Nashville, Tennessee. USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 195-201. ISBN 9798350316452

Foster, M. orcid.org/0000-0001-8233-9873, Groz, R. orcid.org/0000-0003-3730-8300, Oriat, C. orcid.org/0000-0002-5674-0855 et al. (3 more authors) (2023) Active inference of EFSMs without reset. In: Li, Y. and Tahar, S., (eds.) Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 24th International Conference on Formal Engineering Methods, ICFEM 2023, 21-24 Nov 2023, Brisbane, QLD, Australia. Lecture Notes in Computer Science, LNCS 14308 . Springer Singapore , pp. 29-46. ISBN 9789819975839

Groz, R., Oriat, C., Vega, G. et al. (3 more authors) (2023) Active inference of extended finite state models of software systems. In: Proceedings of Machine Learning Research. International Conference on Grammatical Inference, 10-13 Jul 2023, Rabat, Morocco. Proceedings of Machine Learning Research , pp. 265-269.

Clark, A.G., Foster, M., Walkinshaw, N. et al. (1 more author) (2023) Metamorphic testing with causal graphs. In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 16-20 Apr 2023, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9781665456678

Yang, Z., Forrester, J., Davidson, J. et al. (2 more authors) (2022) Critical design criterion for inductorless H-bridge driven piezoelectric-transformer-based power supplies. In: IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society. 48th Annual Conference of the Industrial Electronics Society IECON 2022 Conference, 17-20 Oct 2022, Brussels, Belgium. IEEE . ISBN 9781665480260

Forrester, J., Foster, M. orcid.org/0000-0002-8565-0541 and Davidson, J. (2022) Resonant current estimation and phase-locked loop control system for inductorless step-up single piezo element-based (SUPRC) DC-DC converter. In: 48th Annual Conference of the Industrial Electronics Society IECON 2022 Conference. 48th Annual Conference of the Industrial Electronics Society IECON 2022 Conference, 17-20 Oct 2022, Brussels, Belgium. Institute of Electrical and Electronics Engineers , pp. 1-6. ISBN 978-1-6654-8025-3

Ansari, S.A., Davidson, J.N., Foster, M. orcid.org/0000-0002-8565-0541 et al. (1 more author) (2022) Analysis of test methods for measurement of leakage and magnetising inductances in integrated transformers. In: Proceedings of 2022 24th European Conference on Power Electronics and Applications (EPE'22 ECCE Europe). 2022 24th European Conference on Power Electronics and Applications (EPE'22 ECCE Europe), 05-09 Sep 2022, Hanover, Germany. IEEE . ISBN 9781665487009

Naghibi, J., Mohsenzade, S., Mehran, K. et al. (1 more author) (2022) Evaluation of drain-source voltage in switch transient time intervals as gate oxide degradation precursor of SiC power MOSFETs. In: Proceedings of 2022 24th European Conference on Power Electronics and Applications (EPE'22 ECCE Europe). 2022 24th European Conference on Power Electronics and Applications (EPE'22 ECCE Europe), 05-09 Sep 2022, Hanover, Germany. IEEE , Hannover, Germany . ISBN 9781665487009

Forrester, J., Li, L., Davidson, J. orcid.org/0000-0002-6576-3995 et al. (4 more authors) (2022) Investigation of using BSPT for ring-dot piezoelectric transformers for use in high-temperature resonant power supplies. In: IMAPSource Proceedings 2022 (HiTEN). International Conference and Exhibition on High Temperature Electronics Network (HiTEN 2022), 18-20 Jul 2022, Oxford, United Kingdom. IMAPS - International Microelectronics Assembly and Packaging Society , Oxford , pp. 125-130.

Foster, M. orcid.org/0000-0001-8233-9873, Derrick, J. and Walkinshaw, N. (2022) Reverse-engineering EFSMs with data dependencies. In: Testing Software and Systems. ICTSS 2021 : The 33rd IFIP International Conference on Testing Software and Systems, 10-11 Nov 2021, Virtual conference. Lecture Notes in Computer Science . Springer Nature , pp. 37-54. ISBN 9783031046728

Forrester, J. orcid.org/0000-0002-8102-7576, Davidson, J. orcid.org/0000-0002-6576-3995, Foster, M. orcid.org/0000-0002-8565-0541 et al. (1 more author) (2021) RadPTDesigner: a program for designing radial mode piezoelectric transformers for inductorless inverters. In: Proceedings of 2021 23rd European Conference on Power Electronics and Applications (EPE'21 ECCE Europe). 2021 23rd European Conference on Power Electronics and Applications (EPE'21 ECCE Europe), 06-10 Sep 2021, Ghent, Belgium. IEEE .

Foster, M., Hughes, M., O'Brien, G. et al. (4 more authors) (2020) Do sophisticated evolutionary algorithms perform better than simple ones? In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Cancún, Mexico. ACM Digital Library , pp. 184-192. ISBN 9781450371285

Martins, L.F., Stone, D. orcid.org/0000-0002-5770-3917 and Foster, M. orcid.org/0000-0002-8565-0541 (2019) Modelling of bidirectional CLLC resonant converter operating under frequency modulation. In: Proceedings of 2019 IEEE Energy Conversion Congress and Exposition (ECCE). 2019 IEEE Energy Conversion Congress and Exposition (ECCE), 29 Sep - 03 Oct 2019, Baltimore, MD, USA. IEEE , pp. 3750-3757. ISBN 9781-7281-0396-9

Forrester, J., Davidson, J., Foster, M. orcid.org/0000-0002-8565-0541 et al. (1 more author) (2019) Equivalent circuit parameter extraction methods for piezoelectric transformers. In: 2019 European Conference on Power Electronics and Applications (EPE'19 ECCE-Europe). 2019 European Conference on Power Electronics and Applications (EPE'19 ECCE-Europe), 02-06 Sep 2019, Genova, Italy. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9789075815306

Forrester, J., Davidson, J. and Foster, M. (2018) Effect of spurious resonant modes on the operation of radial mode piezoelectric transformers. In: PCIM Europe Conference Proceedings. PCIM Europe 2018; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management, 05-07 Jun 2018, Nuremberg, Germany. VDE Verlag GMBH , Nuremberg, Germany , pp. 1740-1747. ISBN 9783800746460

Forrester, J., Davidson, J. orcid.org/0000-0002-6576-3995, Foster, M. et al. (2 more authors) (2018) Automated design tools for piezoelectric transformer-based power supplies. In: 9th International Conference on Power Electronics, Machines and Drives. The 9th International Conference on Power Electronics, Machines and Drives, 17-19 Apr 2018, Liverpool, UK. IET .

Preprint

Vega, G., Groz, R., Oriat, C. et al. (3 more authors) (2024) Learning EFSM models with registers in guards. [Preprint] (Submitted)