Design and Verification of Autonomous Systems in the Presence of Uncertainties

B Ghosh - 2023 - search.proquest.com
Autonomous Systems offer hope towards moving away from mechanized, unsafe, manual,
often inefficient practices. The last decade has seen several small, but important, steps …

Modeling Non-Deterministic Behaviors in System Level Design for Real-Time Systems

F Jaison, V Singh, A Gill - 2024 International Conference on …, 2024 - ieeexplore.ieee.org
Machine stage design is essential to growing actual-time systems, mainly inside the
discipline of embedded systems. Those systems must satisfy strict timing constraints and …