Raffaele Romagnoli
RAFFAELE ROMAGNOLI
Research Scientist

Conference Editorial Board Member, IEEE Control Systems Society

RH 242
5000 Forbes Ave
Pittsburgh, PA 15213, USA
e-mail: rromagno (at) andrew.cmu.edu
Career Summmary
News
Research Projects

Current Research

Control and Sensing Enhancement with AI: security and safety in CPS applications

Description: The goal is to develop novel tools that can ensure safety and security for controlling and sensing distributed systems that use AI to improve performance. CPS applications include autonomous vehicles such as UAVs and UGVs.

Topics: Bayesian filtering, stochastic control, machine learning approaches, and neural networks, state estimation, distributed robotics systems, networked control systems, real-time computing, cloud-edge computing.

This research is in collaboration with Prof. Anthony Rowe, Prof. Soummya Kar, and Prof. Yorie Nakahira.

Networked control using edge-cloud computing

This research is in collaboration with Prof. Anthony Rowe and Bosch company. Edge-cloud computing is revolutionizing many applications such as autonomous vehicles, robotics, industrial manufacturing, etc. This project focuses on controlling networked systems by leveraging edge-cloud computing resources to achieve enhanced monitoring and coordination while taking into account resource constraints such as energy and latency.

Deep Reinforcement Learning and Software rejuvenation

This project started as a research project for master students and is also in collaboration with people from the Institute for Human & Machine Cognition (IHMC). Cyber-attacks on run-time control software are a real threat in Cyber-physical systems (CPSs) such as unmanned aerial vehicles (UAVs). One effective solution is the application of software rejuvenation that consists of the periodic software refresh of the run-time control software, which can make the CPS resilient to attacks. Despite its effectiveness against attacks, the overall performance of the system during the mission drastically deteriorates. Deep RL has recently demonstrated its effectiveness in many control applications. In this project, we aim to apply deep RL on drones that implement software rejuvenation against cyber-attacks with the goal to improve the performance of the drone.

Car T cells modeling

This project is in collaboration with Prof. Jason Lohmueller University of Pittsburgh, UPMC Hillman Cancer Center. Chimeric antigen receptor T cells (CAR-T) are genetically modified to recognize tumor-specific antigens and generate a cytotoxic environment for the tumor. The goal is to develop a control theoretic model of the Car-T cells and cell signaling. The model will be used to extract control theoretical properties that can be useful for the development of new kinds of Car-T cells to reduce solid tumors.

FALSA - Formal Arguments for Large-Scale Assurance

This project is in collaboration with the Software Engineering Institute, Carnegie Mellon University. An assurance architecture is a structured set of interdependent analysis from many domains such as model checking, control, real-time theory, security, etc. The goal is to provide the foundations for developing and evolving formally assured systems, thereby enabling rapid deployment of innovative capability to the field. Our goal is how to check whether the assurance architectures are correct, and my role is to define the model problem in the field of control theory and develop connections with Scientific ML for providing tools that can check the correctness of the assurance architecture.

Past projects

Secure and Safe Control of Cyber-physical systems

Projects:

Computationally efficient control of Li-ion battery cells

Projects:

Model Stable Inversion for exact output tracking

Projects:

Education
Fall 2022 I completed the Future Faculty Program, Eberly Center for Teaching Excellence and Educational Innovation, Carnegie Mellon University.
Feb. 2015 Ph.D., Control System and Automation, Department of Information Engineering, Univestita' Politecnica delle Marche, Ancona, Italy.
Dissertation: A new approach to the stable inversion problem aimed at the achievement of an almost perfect output tracking (PDF)
Oct. 2011 M.S.,Industrial Automation Engineering, Universita' Politecnica delle Marche, Ancona, Italy. 110/110 with honors
Teaching
Publications

International peer-reviewed journal (Selection of 5 Publications)

See Google Scholar and Scopus for the full list of papers.

  1. R. Romagnoli, B. H. Krogh, D. de Niz, A. D. Hristozov and B. Sinopoli, "Software Rejuvenation for Safe Operation of Cyber–Physical Systems in the Presence of Run-Time Cyberattacks," in IEEE Transactions on Control Systems Technology, doi: 10.1109/TCST.2023.3236470.
  2. R. Romagnoli, Krogh, B. H., de Niz, D., Hristozov, A., Sinopoli, B. Run-time System Support for CPS Software Rejuvenation. IEEE Transactions on Emerging Topics in Computing, doi: 10.1109/TETC.2023.3267899.
  3. R. Romagnoli and E. Garone. "A general framework for approximated model stable inversion." Automatica 101, pp. 182-189, 2019.
  4. R. Romagnoli, L. D. Couto, A. Goldar, M. Kinnaert, and E. Garone. “A Feedback Charge Strategy for Li-Ion Battery Cells based on Reference Governor”, Journal of Process Control 83, pp. 164-176, 2019.
  5. L. Jetto, V. Orsini, and R. Romagnoli. “A B-spline based pseudo-inversion approach for constrained optimal output transition”. International Journal of Control, 91(10), pp. 2332-2344, 2018.

International Conferences (Selection of 5 Publications)

See Google Scholar and Scopus for the full list of papers.

  1. R. Romagnoli, B. H. Krogh, and B. Sinopoli, “Robust Software Rejuvenation for CPS with State Estimation and Disturbances”. 2020 American Control Conference, 2020.
  2. R. Romagnoli, P. Griffioen, B. H. Krogh, B. Sinopoli, “Software Rejuvenation Under Persistent Attack in Constrained Environment”, The 21st World Congress of the IFAC, 2020.
  3. R. Romagnoli, B. H. Krogh, B. Sinopoli. “Safety and Liveness of Software Rejuvenation for Secure Tracking Control”. 18th European Control Conference (ECC), 2pp. 2215-2220, 2019.
  4. R. Romagnoli, B. H. Krogh, B. Sinopoli. “Design of Software Rejuvenation for CPS Security Using Invariant Sets”. IEEE American Control Conference (ACC), pp. 3740-3745, 2019.
  5. R. Romagnoli, L. D. Couto, M. Nicontra, M. Kinnaert, and E. Garone. “Computationally-Efficient Constrained Control of the State-of-Charge of a Li-ion Battery Cell”. IEEE 56th Conference on Decision and Control, pp. 1433-1439, 2017.