
Post by: Charles Dawson, Chuchu Fan in SIGBED Blog
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…

Post by: Jerry Wang, Margo Seltzer in SIGBED Blog
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…

Post by: Sylvia Herbert, Andrea Bajcsy, David Fridovich-Keil, Shreyas Kousik in SIGBED Blog
As of 2023, the progress in deploying robots in the real world is hard to miss: autonomous vehicles actively drive passengers without safety drivers in San Francisco and Phoenix, personal drones for videography can autonomously track human movement despite hard-to-sense obstacles like tree branches, and lightweight robotic manipulators have become more accessible to people with motor impairments. Nevertheless, these robots…

Post by: sigbedadmin in SIGBED Blog
Copyright free image from Pixabay.com The second Cyber Physical Systems (CPS) Rising Stars Workshop, which is sponsored by the National Science Foundation, will be held at the University of Virginia (Charlottesville, VA) on May 31, 2023. This workshop aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in CPS related areas. It…

Post by: Marilyn Wolf in SIGBED Blog
Deep Samal, Dung Tran, and Marilyn Wolf are organizing a new workshop at CPS-IoT Week this year: the International Workshop on Perception for Safety-Critical Cyber-Physical Systems (PerCPS ’23). This workshop is intended to provide a bridge between machine learning for perception and cyber-physical systems. Perception is a critical capability for autonomous cyber-physical systems. Cyber-physical automatons need to be able to…

Post by: Souradeep Dutta, Yahan Yang, Ramneet Kaur, Insup Lee in SIGBED Blog
Introduction Autonomous systems with learning-enabled components (LECs) rely on deep neural networks in order to achieve high performance for various applications. It is well known that neural networks are vulnerable to distribution shifts (e.g., weather changes and adversarial perturbations). This vulnerability raises the safety and robustness concerns of learning-enabled cyber-physical systems (CPS) in the real world. For instance, in an…

Post by: Tarek Abdelzaher in SIGBED Blog
We highlight a dangerous pitfall in the state-of-the-art evaluation methodology of deep learning algorithms, as applied in several CPS and IoT application spaces, where collecting data from physical experiments is difficult. The article is inspired by the real experiences of the authors. An extended version appears in the IoT-AE Workshop in conjunction with MILCOM 2022 [1]. Few would disagree today…

Post by: Gernot Heiser in SIGBED Blog
Picture credit: Pixabay Machine learning is en vogue, being applied to many classes of problems. One of them is cybersecurity, where ML is used to find vulnerabilities in code, simulate attacks, and detect when an intruder has breached a system's defenses. Ignoring that intrusion detection is an admission of defeat (it comes into play when your system is already compromised!)…

Post by: Edward Lee in SIGBED Blog
Unlike most disciplines, in Computer Science, conference publications dominate over journals, and program committees carry out the bulk of the peer reviewing. Serving on a PC is a yeoman’s service, and the community owes them a debt of gratitude. However, I believe that a toxic culture has emerged. This blog is a call for PCs to change their priorities. We…

Post by: Anam Farrukh, Richard West in SIGBED Blog
“FlyOS: Integrated Modular Avionics for Autonomous Multicopters” by Anam Farrukh and Richard West won the best student paper award from amongst the outstanding category of papers at the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2022. This blog post gives an overview of the work. From Federated to Integrated Architectures Traditionally, flight management systems across all…