D. Jovanovic

Papers

Total Citations

H-Index

About

D. Jovanovic is a researcher in mechatronic systems and control engineering, with a focus on formal methodologies for embedded control software design. Their work centers on leveraging Communicating Sequential Processes (CSP) and the Communicating Threads (CT) library to bridge the gap between high-level control laws and efficient, reliable code for mechatronic systems. A key contribution is the development of a design framework and software tools that empower engineers to move from a set of control laws to sophisticated control code, enabling concurrent engineering and stepwise refinement. This is demonstrated in their most-cited work, "A communicating Thread -CT- case study: JIWY" (7 citations), which presents a demonstrator for this approach. Further papers, such as "A Case Study for Tooling the Design Trajectory of Embedded Control Systems" (4 citations) and "A multimodel robotic control law modelled and implemented with the CSP/CT framework" (4 citations), explore tool support and the application of CSP concepts to glue together multidisciplinary activities in robotics. Jovanovic’s research is notable for its practical aim: reducing design time and costs while giving mechatronic engineers the power to design complex, embedded control systems with formal rigor.