ICCPS

Molded pulp products, such as dinnerware, containers, packaging boxes, etc., have gained increasing popularity due to their eco-friendly features. One critical step in their production process is detecting their defects. In this paper, we present an ...

Visual sensing has been widely adopted for quality inspection in production processes. This paper presents the design and implementation of a smart collaborative camera system, called BubCam, for automated quality inspection of manufactured ink bags ...

Individuals who experience motor impairment after stroke are able to partially restore motor control through rehabilitation, which achieves long-term recovery through repeated short-term adaptation. The customization of rehabilitation tasks is crucial ...

A bladder volume sensing method based on Bio-Impedance Spectroscopy (BIS) is presented in this paper. The 10 kHz to 0.5 MHz BIS is performed using a Vector Network Analyzer (VNA) on an ex-vivo porcine bladder. The bio-impedance response of the bladder ...

Deep brain stimulation (DBS) has shown great promise toward treating motor symptoms caused by Parkinson's disease (PD), by delivering electrical pulses to the Basal Ganglia (BG) region of the brain. However, DBS devices approved by the U.S. Food and ...

We develop a Drone-assisted Monitoring system, DOME, that gathers real-time data for situational awareness in emergent and evolving events. The driving use case for this work is a prescribed burn event (Rx fire), often used to reduce hazardous fuels ...

Effective investment planning decisions are crucial to ensure that critical cyber-physical infrastructures satisfy performance requirements over an extended time horizon. Computing these decisions often requires solving Capacity Expansion Problems (...

With the enhancement of people's living standards and the rapid evolution of cyber-physical systems, residential environments are becoming smart and well-connected, causing a significant raise in overall energy consumption. As household appliances are ...

Path prediction is an essential task for many real-world Cyber-Physical Systems (CPS) applications, from autonomous driving and traffic monitoring/management to pedestrian/worker safety. These real-world CPS applications need a robust, lightweight path ...

Signal Temporal Logic (STL) has become a popular tool for expressing formal requirements of Cyber-Physical Systems (CPS). The problem of verifying STL properties of neural network-controlled CPS remains a largely unexplored problem. In this paper, we ...

Self-Preserving Genetic Algorithms (SPGA) combine the evolutionary strategy of a genetic algorithm with safety assurance methods commonly implemented in safe reinforcement learning (SRL), a branch of reinforcement learning (RL) that accounts for ...

Uncertainty in the predictions of learning enabled components hinders their deployment in safety-critical cyber-physical systems (CPS). A shift from the training distribution of a learning enabled component (LEC) is one source of uncertainty in the LEC's ...

Model-based reinforcement learning has been widely studied for controller synthesis in cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to formally certify system properties (e.g., safety, stability) under the ...

We are interested in predicting failures of cyber-physical systems during their operation. Particularly, we consider stochastic systems and signal temporal logic specifications, and we want to calculate the probability that the current system ...

This paper solves the problem of runtime verification for signal temporal logic in distributed cyber-physical systems (CPS). We assume a partially synchronous setting, where a clock synchronization algorithm guarantees a bound on clock drifts among ...

Modern Cyber-Physical Systems (CPSs) are often designed as networked, software-based controller implementations which have been found to be vulnerable to network-level and physical-level attacks. A number of research works have proposed CPS-specific ...

Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and uncertain operating conditions is a critical challenge for the safety of these systems. ...

To mitigate the high energy demand of Neural Network (NN) based Autonomous Driving Systems (ADSs), we consider the problem of offloading NN controllers from the ADS to nearby edge-computing infrastructure, but in such a way that formal vehicle safety ...

Tactile Internet (TI) envisions communicating haptic sensory information and kinesthetic feedback over the network and is expected to transfer human skills remotely. For mission-critical TI applications, the network latency is commonly mandated to be ...

Pioneers of autonomous vehicles (AVs) promised to revolutionize the driving experience and driving safety. However, milestones in AVs have materialized slower than forecast. Culprits include (1) the lack of verifiability of proposed state-of-the-art ...

Three-dimensional (3D) urban models have gained interest because of their applications in many use-cases such as disaster management, energy management and solar potential analysis. However, generating these 3D representations requires LiDAR data, ...

Cyber-Physical Systems (CPS) are designed to make safety-critical decisions under highly-variable and partially-observable physical environments. Thorough risk analysis should be performed to ensure the safety of CPS, by identifying all sequences of ...

While modern cities become increasingly populated and new technologies continuously propagate through society, the need to understand their interaction is becoming increasingly apparent. The advent of smart cities aims to solve these urban challenges ...

The use of shared electric micromobility vehicles, such as bikes and scooters, has become increasingly popular. It leads to the problem of management (i.e., rebalancing and charging). Existing approaches typically assume that all vehicles have an ...

Programmable Logic Controllers (PLCs) are the backbone of modern-day Industrial Control Systems (ICSs), and as such play a key role in many critical infrastructure sectors (e.g., water and water-waste management, power distribution, transportation, ...

Vehicle cybernation with increasing use of information and communication technologies faces cybersecurity threats. This extended abstract studies action-space attacks on autonomous driving agents that make decisions using either a traditional modular ...

Earth observation satellites such as FACSAT, equipped with embedded hardware and software systems, require interaction with physical variables such as time, energy and space for their operation. In this paper, a FACSAT is characterized conceptually as ...

Weed management is one of the major concerns for crop production in agricultural fields. In this work, we developed a novel multi-robot framework to control weeds in an agricultural field using two groups of mobile robots and a base station. Our ...

ℒ₁ adaptive control (ℒ₁AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-progress paper, we discuss how existing formal verification tools can be ...

Pishgu is a universal lightweight network architecture for path prediction in Cyber-Physical Systems (CPS) applications, adaptable to multiple subjects, perspectives, and scenes. Our proposed architecture captures inter-dependencies within the ...