Marco Di Natale

About

Marco Di Natale is a leading researcher in the design and verification of real-time embedded control systems, with a focus on the intersection of control theory and computer science. His major contributions lie in developing integrated approaches for control-system analysis and scheduling, enabling digital controllers to meet stringent temporal constraints while maintaining stability and performance. His seminal 2002 work on real-time control system analysis, with 50 citations, provides a foundational framework for co-designing control laws and their software implementations. Di Natale also created HARTIK, a hard real-time kernel for robot programming with explicit time guarantees, and RTSIM, a C++ library suite for joint simulation of continuous plants and real-time controllers, facilitating fast prototyping of embedded systems. More recently, he has advanced model-driven engineering for cyber-physical systems, as seen in his work on control and scheduling co-design for quadcopter robots and a robotic vehicle testbench. His research bridges theory and practice, enabling safer, more predictable autonomous systems.

Research Focus

Key Achievements

Top Papers

1. 1
   Real-time control system analysis: an integrated approach

   50 citations · 2002
2. 2
   HARTIK: a hard real-time kernel for programming robot tasks with explicit time constraints and guaranteed execution

   12 citations · 2002
3. 3
   A tool for simulation and fast prototyping of embedded control systems

   10 citations · 2001
4. 4
   Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach

   8 citations · 2014
5. 5
   A robotic vehicle testbench for the application of MBD-MDE development technologies

   6 citations · 2013
6. 6
   A tool for simulation and fast prototyping of embedded control systems

   6 citations · 2001
7. 7
   A tool for simulation and fast prototyping of embedded control systems

   2 citations · 2001

Key Collaborators

Contact & Links