Real-Time Edge Intelligence

This article argues that a key new frontier for the real-time systems research community lies in developing the architectural and algorithmic foundations of real-time artificial intelligence. As always, by “real-time” we do not mean fast (or “streaming”), but rather “with a capability to respond predictably to different urgency (and criticality) requirements”. A key challenge in modern AI is perception. Machine…

Robot Learning meets Formal Specifications: Designing Safer Embedded Software in the age of AI

Introduction There is considerable interest to use modules developed using deep learning in embedded software for complex cyber-physical systems (CPS) such as automobiles, aerial vehicles, and robots. Traditionally, such CPS applications have relied on human supervision for defining high-level plans, while using automated control techniques for lower level tasks; e.g., humans driving automobiles or pilots manually flying airplanes. Control engineering…