Document Type

Article

Publication Date

5-21-2025

Department

Engineering

Keywords

microarchitecture simulator, feedback control, real-time systems, safety

Abstract

Tight coupling between computation, communication, and control pervades the design and application of cyber-physical systems (CPSs). Due to the complexity of these systems, advanced design procedures that account for these tight interconnections are paramount to ensure the safe and reliable operation of control algorithms under computational constraints. This paper presents the Simulator for Hardware Architecture and Real-time Control (Sharc) to assist in the co-design of control algorithms and the computational hardware on which they are run. Sharc simulates the execution of a user-specified control algorithm on a given processor microarchitecture configuration, evaluating how computational constraints affect the dynamical properties of the closed-loop system. We illustrate the power of Sharc by examples of MPC applied to adaptive cruise control and the stabilization of an inverted pendulum. Sharc can be found at github.com/pwintz/sharc.

Comments

© 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM. This is the author’s version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’25), May 6–9, 2025, Irvine, CA, USA.

Source Publication Title

28th ACM International Conference on Hybrid Systems: Computation and Control

Publisher

Association for Computing Machinery

Issue

7

First Page

1

DOI

10.1145/3716863.3718046

Download

Share

COinS