Post by: Chenyang Lu in SIGBED Blog
Note: This article was originally published in ACM Transactions on Cyber-Physical Systems. The citation of and the link to the original article: C. Lu, Toward a Scientific and Engineering Discipline of Cyber-Physical Systems, ACM Transactions on Cyber-Physical Systems, 5(3), Article 22e, July 2021. Cyber-physical systems (CPS) are driving a wide range of exciting applications from smart cities to smart healthcare. In…
Post by: Heechul Yun, Sophie Quinton in SIGBED Blog
About two years ago, as new members of the SIGBED executive committee (EC), we decided to replace the SIGBED review with a blog that could serve as an informal medium for the SIGBED community. After receiving input from the SIGBED EC members and months of preparation, we finally launched the blog in April 2020. So far, the blog has published…
Post by: Nan Guan in SIGBED Blog
In RTAS 2021, we organized a panel discussion on “RTOS for Autonomous Machines”. The panelists are Shinpei Kato (The University of Tokyo & Tier IV, Inc.), Andrei Kholodnyi (Wind River Systems), Shaoshan Liu (PerceptIn), Jan Staschulat (Robert Bosch GmbH), and Richard West (Boston University). An interesting topic discussed during the panel is “Will there be something analog to Android for…
Post by: Stanley Bak in SIGBED Blog
Formal verification of cyber-physical systems (CPS) requires reasoning methods for not just software, but also analyzing how the physical side of the system will behave. As the laws of nature are written in differential equations, CPS formal verification researchers have inevitably needed to create analysis methods that can analyze systems with differential equations. For example, the behavior of an…
Post by: Tarek Abdelzaher in SIGBED Blog
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…
Post by: Edward Lee in SIGBED Blog
For most of my professional research career, I have sought more deterministic mechanisms for solving various engineering problems. My focus has always been on systems that combine the clean and neat world of computation with the messy and unpredictable physical world (cyber-physical systems). Given the messiness and unpredictability of the real world, why the obsession with determinism1? An argument that…
Post by: Jyotirmoy V. Deshmukh in SIGBED Blog
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…
Post by: Heechul Yun, Sophie Quinton in SIGBED Blog
