English
Related papers

Related papers: Optimal Sabotage Attack on Composite Material Part…

200 papers

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

Cryptography and Security · Computer Science 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

To maintain full autonomy, autonomous robotic systems must have the ability to self-repair. Self-repairing via compensatory mechanisms appears in nature: for example, some fish can lose even 76% of their propulsive surface without loss of…

Robotics · Computer Science 2024-02-05 Meredith L. Hooper , Isabel Scherl , Morteza Gharib

Operation of radar equipment is one of the key facilities used by navigators to gather situational awareness about their surroundings. With an ever increasing need for always-running logistics and tighter shipping schedules, operators are…

Cryptography and Security · Computer Science 2023-06-06 G. Longo , E. Russo , A. Armando , A. Merlo

We propose a model-based, automated, bottom-up approach for design, which is applicable to various physical domains, but in this work we focus on the electrical domain. This bottom-up approach is based on a meta-topology in which each link…

Optimization and Control · Mathematics 2023-02-17 Ion Matei , Maksym Zhenirovskyy , John Maxwell , Johan de Kleer

Digital Twins are part of the vision of Industry 4.0 to represent, control, predict, and optimize the behavior of Cyber-Physical Production Systems (CPPSs). These CPPSs are long-living complex systems deployed to and configured for diverse…

Systems and Control · Electrical Eng. & Systems 2021-03-23 Tim Bolender , Gereon Bürvenich , Manuela Dalibor , Bernhard Rumpe , Andreas Wortmann

An established trend in software engineering insists on using components (sometimes also called services or packages) to encapsulate a set of related functionalities or data. By defining interfaces specifying what functionalities they…

Software Engineering · Computer Science 2015-07-29 Daniel Ricardo dos Santos , Silvio Ranise , Serena Elisa Ponta

As collaborative learning allows joint training of a model using multiple sources of data, the security problem has been a central concern. Malicious users can upload poisoned data to prevent the model's convergence or inject hidden…

Cryptography and Security · Computer Science 2021-01-21 Ximing Qiao , Yuhua Bai , Siping Hu , Ang Li , Yiran Chen , Hai Li

A design-centric modeling approach was proposed to model the behaviour of the physical processes controlled by Industrial Control Systems (ICS) and study the cascading impact of data-oriented attacks. A threat model was used as input to…

Cryptography and Security · Computer Science 2020-07-20 Zhongyuan Hau , John H. Castellanos , Jianying Zhou

Robotic catching of flying objects typically generates high impact forces that might lead to task failure and potential hardware damages. This is accentuated when the object mass to robot payload ratio increases, given the strong inertial…

Delicate industrial insertion tasks (e.g., PC board assembly) remain challenging for industrial robots. The challenges include low error tolerance, delicacy of the components, and large task variations with respect to the components to be…

Robotics · Computer Science 2022-03-08 Rui Chen , Chenxi Wang , Tianhao Wei , Changliu Liu

Inverse design can be a useful strategy for discovering interactions that drive particles to spontaneously self-assemble into a desired structure. Here, we extend an inverse design methodology--relative entropy optimization--to determine…

Soft Condensed Matter · Physics 2018-03-16 William D. Piñeros , Beth A. Lindquist , Ryan B. Jadrich , Thomas M. Truskett

Novel algorithm for designing values of technological parameters for production of Soft Magnetic Composites (SMC) has been created. These parameters are the following magnitudes: hardening temperature $T$ and compaction pressure $p$. They…

General Physics · Physics 2015-07-28 Krzysztof Sokalski , Barbara Ślusarek , Bartosz Jankowski , Marek Przybylski

Cybersecurity threats in Additive Manufacturing (AM) are an increasing concern as AM adoption continues to grow. AM is now being used for parts in the aerospace, transportation, and medical domains. Threat vectors which allow for part…

Cryptography and Security · Computer Science 2024-12-03 Jason Blocklove , Md Raz , Prithwish Basu Roy , Hammond Pearce , Prashanth Krishnamurthy , Farshad Khorrami , Ramesh Karri

The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by…

Logic in Computer Science · Computer Science 2019-04-19 Sebastian Biewer , Pedro D'Argenio , Holger Hermanns

This project is focused on investigating the structural performance of parts and structures produced using the latest additive manufacturing techniques. For additive manufacturing of test coupons, fused deposition modeling of…

Applied Physics · Physics 2025-03-25 Hunter Watts , Ryan Premo , Wayne Huberty , Chris Bounds , Han-Gyu Kim

Cyber attacks have become serious threats to Industrial Control systems as well. It becomes important to develop a serious threat defense system against such vulnerabilities. For such process control systems, safety should also be assured…

Computers and Society · Computer Science 2019-02-26 Manikanta Reddy Dornala

Addressable self-assembly is the formation of a target structure from a set of unique molecular or colloidal building-blocks, each of which occupies a defined location in the target. The requirement that each type of building-block appears…

Soft Condensed Matter · Physics 2019-12-03 Jim Madge , David Bourne , Mark A. Miller

Advances in CAD and CAM have enabled engineers and design teams to digitally design parts with unprecedented ease. Software solutions now come with a range of modules for optimizing designs for performance requirements, generating…

Computational Engineering, Finance, and Science · Computer Science 2024-09-06 Hongrui Chen , Aditya Joglekar , Zack Rubinstein , Bradley Schmerl , Gary Fedder , Jan de Nijs , David Garlan , Stephen Smith , Levent Burak Kara

Small satellites are integral to scientific, commercial, and defense missions, but reliance on commercial off-the-shelf (COTS) hardware broadens their attack surface. Although supply chain threats are well studied in other cyber-physical…

Cryptography and Security · Computer Science 2025-10-16 Jack Vanlyssel , Enrique Sobrados , Ramsha Anwar , Gruia-Catalin Roman , Afsah Anwar
‹ Prev 1 8 9 10 Next ›