中文
相关论文

相关论文: A Self-Healing Hardware Architecture for Safety-Cr…

200 篇论文

Biological systems are very robust to morphological damage, but artificial systems (robots) are currently not. In this paper we present a system based on neural cellular automata, in which locomoting robots are evolved and then given the…

神经与进化计算 · 计算机科学 2022-06-15 Kazuya Horibe , Kathryn Walker , Rasmus Berg Palm , Shyam Sudhakaran , Sebastian Risi

The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical…

系统与控制 · 计算机科学 2018-12-11 Pushpak Jagtap , Fardin Abdi , Matthias Rungger , Majid Zamani , Marco Caccamo

The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate of medical device failures due to software faults. In this…

软件工程 · 计算机科学 2017-06-21 Atif Mashkoor , Miklos Biro

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

计算机科学中的逻辑 · 计算机科学 2017-03-01 Lucas Cordeiro

All biological organisms, from plants to living creatures, can heal minor wounds and damage. The realization of a similar self-healing capacity in inorganic materials has been a design target for many decades. This would represent a…

Reliability has become an increasing concern in modern computing. Integrated circuits (ICs) are the backbone of modern computing devices across industries, including artificial intelligence (AI), consumer electronics, healthcare,…

系统与控制 · 电气工程与系统科学 2025-03-28 Shaik Jani Babu , Fan Hu , Linyu Zhu , Sonal Singhal , Xinfei Guo

Increasing system-on-chip (SoC) heterogeneity, deep hardware/software integration, and the proliferation of third-party intellectual property (IP) have brought security validation to the forefront of semiconductor design. While simulation…

密码学与安全 · 计算机科学 2026-04-17 Tanvir Rahman , Shuvagata Saha , Ahmed Y. Alhurubi , Sujan Kumar Saha , Farimah Farahmandi , Mark Tehranipoor

The hardware computing landscape is changing. What used to be distributed systems can now be found on a chip with highly configurable, diverse, specialized and general purpose units. Such Systems-on-a-Chip (SoC) are used to control today's…

密码学与安全 · 计算机科学 2023-07-06 Ali Shoker , Paulo Esteves Verissimo , Marcus Völp

Computer-aided design for synthetic biology promises to accelerate the rational and robust engineering of biological systems; it requires both detailed and quantitative mathematical and experimental models of the processes to (re)design,…

Industrial automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. In this paper, a system-based approach for the development of IASs is adopted. A framework is…

软件工程 · 计算机科学 2014-07-09 Kleanthis Thramboulidis

Soft electronics are a promising and revolutionary alternative for traditional electronics when safe physical interaction between machines and the human body is required. Among various materials architectures developed for producing soft…

应用物理 · 物理学 2021-04-16 Kaveh Alizadeh

Three-dimensional (3D) printing of bioelectronics offers a versatile platform for fabricating personalized and structurally integrated electronic systems within biological scaffolds. Biodegradable electronics, which naturally dissolve after…

Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the verification of diagnosability for cyber-physical systems…

系统与控制 · 电气工程与系统科学 2024-08-14 Bingzhuo Zhong , Weijie Dong , Xiang Yin , Majid Zamani

Flexible electronic systems such as roll up displays, wearable devices etc. promise exciting possibilities that could change the way humans interact with the environment. However, they suffer from poor reliability of interconnects and…

软凝聚态物质 · 物理学 2019-02-06 Amit Kumar , Virendra Parab , Arindan Handu , Li Ding , Sanjiv Sambandan

Artificial intelligence (AI) has the potential to transform healthcare by supporting more accurate diagnoses and personalized treatments. However, its adoption in practice remains constrained by fragmented data sources, strict privacy…

软件工程 · 计算机科学 2026-02-16 Mira Raheem , Amal Elgammal , Michael Papazoglou , Bernd Krämer , Neamat El-Tazi

The proliferation of application specific cyber-physical systems coupled with the emergence of a variety of attacks on such systems (malware such as Mirai and Hajime) underlines the need to secure such networks. Most existing security…

密码学与安全 · 计算机科学 2020-05-01 Sourav Das , Samuel Wedaj , Kolin Paul , Umesh Bellur , Vinay Joseph Ribeiro

This paper presents the self-organized neuromorphic architecture named SOMA. The objective is to study neural-based self-organization in computing systems and to prove the feasibility of a self-organizing hardware structure. Considering…

神经与进化计算 · 计算机科学 2018-10-31 Lyes Khacef , Bernard Girau , Nicolas Rougier , Andres Upegui , Benoit Miramond

Although an ever-growing number of applications employ deep learning based systems for prediction, decision-making, or state estimation, almost no certification processes have been established that would allow such systems to be deployed in…

机器学习 · 计算机科学 2024-03-25 Romeo Valentin

This paper aims at identifying emerging computational intelligence trends for the design and modeling of complex biometric-enabled infrastructure and systems. Biometric-enabled systems are evolving towards deep learning and deep inference…

计算机视觉与模式识别 · 计算机科学 2020-06-23 Svetlana Yanushkevich , Shawn Eastwood , Kenneth Lai , Vlad Shmerko

Digital Engineering currently relies on costly and often bespoke integration of disparate software products to assemble the authoritative source of truth of the system-of-interest. Tools not originally designed to work together become an…

系统与控制 · 电气工程与系统科学 2024-01-05 James S. Wheaton , Daniel R. Herber