Optimal Manufacturing Controller Synthesis Using Situation Calculus
Adalat O.; Scrimieri D.; Konur S. (2023) AI-2023 Forty-third SGAI International Conference on Artificial Intelligence.
Dr Daniele Scrimieri is Assistant Professor in Computer Science and Programme Leader for BSc Computer Science for Cyber Security and MSc Cyber Security. Daniele is Fellow of the Advance HE (FHEA) and received his PhD from the University of Bari “Aldo Moro” (Italy).
Daniele’s research focuses on artificial intelligence in manufacturing, including automated process planning, control and quality inspection. Recently, he has also been interested in cyber security and machine learning in healthcare. Daniele worked in industry for 8 years at LK Metrology, Nikon Metrology and MERMEC, where he designed and developed metrology software for clients such as BAE Systems, Volvo and Safran Aircraft Engines, as well as safety-critical control systems for clients such as RFI (Italian railway network). He was work package leader or senior researcher in various projects on smart factories (EC FP7 FRAME, PRIME, Copernico; EPSRC Evolvable Assembly Systems, Cloud Manufacturing), while working at the Institute for Advanced Manufacturing of the University of Nottingham. Daniele is Co-I of the Innovate UK project “Smart and Sustainable Manufacturing for Baking Industry” and was PI of the project “Automatic synthesis of manufacturing process controllers” that ran in 2022 (University of Bradford’s SURE Research Projects Fund).
Daniele is member of the EPSRC Peer Review College and member of the editorial board of the Journal of Universal Computer Science. He is peer reviewer for top-tier journals such as Engineering Applications of Artificial Intelligence, Journal of Intelligent Manufacturing and Additive Manufacturing. He is member of the Faculty Research and Innovation Committee and Postgraduate Research Sub-Committee.
Daniele teaches Software Systems Design and Testing, Cyber Physical Systems Security and Internet of Things. Both his UG and PG Cyber Security programmes have received provisional accreditation from the National Cyber Security Centre. He serves as external examiner in two universities in the UK.
Software Engineering, Internet of Things, Cyber Security.
Adalat O.; Scrimieri D.; Konur S. (2023) AI-2023 Forty-third SGAI International Conference on Artificial Intelligence.
Mahmoud A.; Neagu D.; Scrimieri D.; Abdullatif A. (2022) 21st IEEE International Conference on Machine Learning and Applications (ICMLA).
Mahmoud A.; Neagu D.; Scrimieri D.; Abdullatif A. (2022) 32nd Conference of Open Innovations Association (FRUCT).
Scrimieri D.; Adalat O.; Afazov S.; Ratchev S. (2022) 10th IFAC Manufacturing Modelling, Management and Control Conference.
Adalat O.; Talal M.; Ali Cherif M.; Scrimieri D. (2022) 21st UK Workshop on Computational Intelligence.
Adalat O.; Scrimieri D. (2022) 21st UK Workshop on Computational Intelligence.
Brown L.; Afazov S.; Scrimieri D. (2022) 4th International Engineering Data- and Model-Driven Applications Workshop. 1409
Scrimieri D.;Antzoulatos N.;Castro E.;Ratchev S. (2015) Ifac-Papersonline. 28, 2083-2088.
Antzoulatos N.;Castro E.;Scrimieri D.;Ratchev S. (2014) IFIP Advances in Information and Communication Technology. 435, 118-125.
Rocha A.;Di Orio G.;Barata J.;Antzoulatos N.;Castro E.;Scrimieri D.;Ratchev S.;Ribeiro L. (2014) Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014., 504-510.
Scrimieri D.;Ratchev S. (2013) IFAC Proceedings Volumes (IFAC-PapersOnline). 46, 87-92.
Oates R.;Scrimieri D.;Ratchev S. (2012) IFIP Advances in Information and Communication Technology. 371 AICT, 175-182.
Mahmoud A.; Neagu D.; Scrimieri D.; Abdullatif A. (2023) Computers in Biology and Medicine. 164
Scrimieri D.; Adalat O.; Afazov S.; Ratchev S. (2023) International Journal of Advanced Manufacturing Technology. 124
Afazov S.;Semerdzhieva E.;Scrimieri D.;Serjouei A.;Kairoshev B.;Derguti F. (2021) Virtual and Physical Prototyping. 16, 1-13.
Scrimieri D.;Afazov S.;Ratchev S. (2021) International Journal of Advanced Manufacturing Technology. 115, 1745-1761.
Afazov S.;Scrimieri D. (2020) International Journal of Advanced Manufacturing Technology. 110, 2439-2444.
Scrimieri D.;Antzoulatos N.;Castro E.;Ratchev S. (2017) International Journal of Production Research. 55, 3674-3685.
Scrimieri D.;Oates R.;Ratchev S. (2015) Journal of Intelligent Manufacturing. 26, 1063-1076.
Scrimieri D.;Afazov S.;Ratchev S. (2015) Advances in Engineering Software. 88, 53-62.
Scrimieri D.;Ratchev S. (2014) Journal of Control, Automation and Electrical Systems. 25, 679-688.
Antzoulatos N.;Castro E.;Scrimieri D.;Ratchev S. (2014) Production Engineering. 8, 773-781.
Scrimieri D.;Afazov S.;Becker A.;Ratchev S. (2014) Advances in Engineering Software. 67, 90-98.
Covino E.;Pani G.;Scrimieri D. (2007) Journal of Universal Computer Science. 13