Can Machines Collectively Think?

The idea of creating machines able to reason like humans is not new and has been introduced by Alan Turing in his seminal paper ”Can Machines Think?” which gave raise to the imitation test, together with other work on computability and the premises of artificial intelligence. Today, with the increased prevalence of i) autonomy, and ii) connectivity of compute systems,…

New Editor Selected for the SIGBED Blog

For the last two years, Chuchu Fan and Stanley Bak have served as the SIGBED Blog editors. The blog has continued to publish a stream of content related to technical topics in embedded systems, such as overviews of best papers and recent NSF CAREER awards, as well as posts aimed for a wider audience. One of our posts written by…

[HSCC 23 Test of Time Award] Verification of Linear Hybrid Automata through Set Propagation

In the domain of cyber-physical systems, linear hybrid automata have emerged as a pivotal tool for modeling and verifying complex behaviors that involve both event-driven (discrete) and time-driven (continuous) changes. This blog post highlights the significant strides made in symbolic analysis techniques, particularly in the efficiency and scalability of these methods. The concept of Hybrid Automata emerged in the early…

EMSOFT’23 PC Chairs’ Report

Welcome to the report on the 23rd ACM SIGBED International Conference on Embedded Software (EMSOFT’23)! EMSOFT is held as part of Embedded Systems Week (ESWEEK), the annual highlight event of the embedded systems community. ESWEEK also features the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES) and the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).…

[HSCC 23 Best Paper] Distributionally Robust Strategy Synthesis for Switched Stochastic Systems

Introduction Cyber-physical systems (CPS), such as automated vehicles or robotics systems, are often characterized by two common features: i) they are safety-critical, hence formal guarantees of correctness are required, ii) they are affected by uncertainty, which is generally modeled through stochastic noise. Various formal verification and synthesis algorithms have been developed for these systems, with approaches including stochastic barrier functions…

[IPSN’23 Best Paper] Network On or Off? Instant Global Binary Decisions over UWB with Flick

In a nutshell: Flick is a novel network primitive that can establish a binary decision over a large wireless network in a fraction of a millisecond, with order-of-magnitude improvement over state of the art. Introduction: Low-power wireless & concurrent transmissions Low-power wireless networks are used in a wide range of applications, from sensing to localization. With no cabling involved, installation…

2023 Annual CPS Rising Stars Workshop Trip Report

CPS Rising Star Workshop Poster Session SIGBED was proud to sponsor the Second Annual CPS Rising Stars Workshop hosted by the University of Virginia on May 31, 2023. Executive Committee member, Wanli Chang, represented SIGBED and delivered a welcome talk. Thirty-four Rising Stars were selected from a competitive applicant pool of 117. The workshop also exceeded its aim to increase…

[NSF CAREER Award] NeuralSAT: A CDCL-based constraint solving approach to DNN Verification

Deep Neural Networks (DNNs)  are an incredibly powerful tool for tackling a wide-range of real-world problems, including image recognition, autonomous driving, power grid control, fake news detection, drug synthesis and discovery, and even COVID-19 detection and diagnosis. However, similar to any software system, DNNs can have "bugs" that cause unexpected results when presented with inputs that are different from those…

Safety for learned control systems: data-driven proofs via neural certificates

For almost as long as people have been designing control systems, they have been asking “how can we prove that our controller will be safe?” For simple systems (e.g. linear or low-dimensional polynomial dynamics), we might be able to hand-analyze the system and prove that it will be safe, but this manual analysis quickly becomes untenable as the systems dynamics…

[EMSOFT’22 Best Paper ] Tinkertoy: Build your own operating systems for IoT devices

The Evolution of IoT: Diverging Application Requirements The Internet, long the domain of large and/or expensive devices, is now so pervasive that it is possible for tiny devices ranging from fitness trackers to doorbells to be interconnected, forming a bridge between the physical and digital worlds. Unfortunately, general-purpose operating systems, such as Windows and Linux, cannot run on these tiny…