yusuke1997/dblp-id-title huggingface dataset:
On False Data Injection Attacks against Distributed Energy Routing in Smart Grid
A concept lattice-based event model for Cyber-Physical Systems
Demo Abstract: Monitoring Wide-Area Nature Reserves Based on Long-Distance Wireless Mesh Networks
Fully bayesian learning and spatial reasoning with flexible human sensor networks
On Learning How Players Learn: Estimation of Learning Dynamics in the Routing Game
An Online Approach to Solving Public Transit Stationing and Dispatch Problem
A smart city simulation platform with uncertainty
Enhancing tolerance to unexpected jumps in GR(1) games
Rationale and Architecture Principles for Medical Application Platforms
Trust Me, I'm Lying: Enhancing Machine-to-Machine Trust
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Modeling of energy consumption in GPS receivers for power aware localization systems
A Gaussian process regression approach to model aircraft engine fuel flow rate
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations
Personalization without user interruption: boosting activity recognition in new subjects using unlabeled data
Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems
On authentication in a connected vehicle: secure integration of mobile devices with vehicular networks
FinA: Fairness of Adverse Effects in Decision-Making of Human-Cyber-Physical-System
Exploring the Performance of Deep Neural Networks on Embedded Many-Core Processors
A magnetic field-based appliance metering system
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS
Sensor placement for lifetime maximization in monitoring oil pipelines
Multi-Agent System for Optimizing Victim Tagging in Human/Autonomous Responder Teams
FedAR+: A Federated Learning Approach to Appliance Recognition with Mislabeled Data in Residential Environments
Sampling-based control synthesis for multi-robot systems under global temporal specifications
Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
Platform for model-based design and testing for deep brain stimulation
Verification of ℒ 1 Adaptive Control using Verse Library: A Case Study of Quadrotors
WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids
WiP abstract: BraceForce: Software engineering support for sensing in CPS applications
An efficient and easilly reconfigurable cyber-physical simulator
Constructing compact causal mathematical models for complex dynamics
Cityresolver: a decision support system for conflict resolution in smart cities
Zero-copy I/O processing for low-latency GPU computing
A cyber-physical systems approach to energy management in data centers
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner
Real-time adaptive signaling for isolated intersections
Augmenting in-situ with mobile sensing for adaptive monitoring of water distribution networks
Provably-correct coordination of large collections of agents with counting temporal logic constraints
Underwater AUV localization with refraction consideration: WiP abstract
A reduced complexity design pattern for distributed hierarchical command and control system
Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks
Dynamic Network Slicing for the Tactile Internet
ROS-based support system for supervision of multiple UAVs by a single operator
Local open- and closed-loop manipulation of multi-agent networks
Towards an emotionally-aware smart wheelchair: poster abstract
Enhancing power grid resilience to cyber-physical attacks using distributed retail electricity markets
Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing
WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative Periods
Energy management as a service over fog computing platform
Cyber-Physical Challenges for Space Systems
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems
Low-complexity multicarrier physical layer for wireless real-time control networks
Early detection of critical pulmonary shunts in infants
Mining Specifications for Predictive Safety Monitoring
Towards a cognitive assistant system for emergency response
WiP Abstract: A Human-Centered Cyber-Physical Systematic Approach for Post-Stroke Monitoring
Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems
Realistic case studies of wireless structural control
Joint Rebalancing and Charging for Shared Electric Micromobility Vehicles with Human-system Interaction
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS
Autonomous and Cost-effective Defect Detection System for Molded Pulp Products
Intelligent power- and performance-aware tradeoffs for multicore servers in cloud data centers
Distributed placement of power generation resources in uncertain environments
Learning Spatio-Temporal Aggregations for Large-Scale Capacity Expansion Problems
WiP Abstract: From Design to Operation of a Large-Scale CPS
String stability of commercial adaptive cruise control vehicles: WIP abstract
WiP Abstract: Human-Assisted Power Demand Forecasting Based on Action Plan Declaration
Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings
Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective
Two-way coding in control systems under injection attacks: from attack detection to attack correction
Hierarchical Temporal Memory Based Machine Learning for Real-Time, Unsupervised Anomaly Detection in Smart Grid: WiP Abstract
Autonomous WiFi Fingerprinting for Indoor Localization
Human-inspired multi-contact locomotion with AMBER2
Poster abstract: Cyborg-insect networks for mapping of unknown environments
Cyber-physical system design contracts
AlphaSOC: Reinforcement Learning-based Cybersecurity Automation for Cyber-Physical Systems
The Sparse Regression Cube: A Reliable Modeling Technique for Open Cyber-Physical Systems
On Resource Overbooking in an Unmanned Aerial Vehicle
A hybrid model predictive controller for path planning and path following
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems
ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), ICCPS '13, Philadelphia, PA, USA, April 8-11, 2013
PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems
An Ultra Low Power Granular Decision Making Using Cross Correlation: Minimizing Signal Segments for Template Matching
(CPS)^2: integration of center pivot systems with wireless underground sensor networks for autonomous precision agriculture
Repairing Control Safety Violations via Scheduler Patch Synthesis
Vulnerability of Transportation Networks to Traffic-Signal Tampering
Towards safe machine learning for CPS: infer uncertainty from training data
Query-based targeted action-space adversarial policies on deep reinforcement learning agents
Real-Time Freeway Traffic Anomalous Event Detection System via Radar Detector Sensors
Acoustic Side-Channel Attacks on Additive Manufacturing Systems
A submodular optimization approach to controlled islanding under cascading failure
Synthesizing stealthy reprogramming attacks on cardiac devices
Stealthy Computational Delay Attacks on Control Systems
Poster Abstract: Hierarchical Hybrid-State Systems for Coordinated Autonomous Driving in Mixed-Traffic Urban Environments
DOME: Drone-assisted Monitoring of Emergent Events For Wildland Fire Resilience
Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy
Platform dependent code generation of real-time embedded software
FSTPA-I: a formal approach to hazard identification via system theoretic process analysis
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation
Diagnostics and prognostics using temporal causal models for cyber physical energy systems
Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning
Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Robustness of attack-resilient state estimators
iAdhere: A voice interactive assistant to improve adherence to medical treatments: demo abstract
Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems
Poster Abstract: Involving a Sensor Network System in Core Datacenter Management Functions
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems
Optimal Cross-Layer Design of Sampling Rate Adaptation and Network Scheduling for Wireless Networked Control Systems
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, ICCPS 2025, (with CPS-IoT Week 2025), Irvine, CA, USA, May 6-9, 2025
Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification
Fault Resilient Real-Time Design for NoC Architectures
CPS approach to checking norm operation of a brake-by-wire system
Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter
Bounding network-induced delays for time-critical services in avionic systems using measurements and network calculus
FAIRO: Fairness-aware Sequential Decision Making for Human-in-the-Loop CPS
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts
Safety-assured collaborative load management in smart grids
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023
Occupancy estimation using ultrasonic chirps
Incentivizing routing choices for safe and efficient transportation in the face of the COVID-19 pandemic
Toward patient safety in closed-loop medical device systems
A game theoretic approach to controller design for cyber-physical systems: collision avoidance
Anomaly based Incident Detection in Large Scale Smart Transportation Systems
ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-As-A-Service Systems
WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systems
Decentralized merging control in traffic networks: a control barrier function approach
ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment
Confidence Composition for Monitors of Verification Assumptions
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
✲-Aware Charging of Lithium-Ion Battery Cells
Realization of nonlinear real-time optimization based controllers on self-contained transfemoral prosthesis
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks
Integrating neuromuscular and cyber systems for neural control of artificial legs
Efficient Sensing Matters a Lot for Large-Scale Batteries
WiP Abstract: A Novel Strategy for Active Cell Balancing
Transactive energy demo with RIAPS platform
WiP Abstract: Cyber-Physical Systems for Real Time Cardiac Monitoring
TIM: A Novel Quality of Service Metric for Tactile Internet
MEC-IDC: joint load balancing and power control for distributed Internet Data Centers
Demo Abstract: Gesture-Based Cyber-Physical In-Home Therapy System in a Big Data Environment
Eco-Friendly Automotive Climate Control and Navigation System for Electric Vehicles
Data-Driven Robust Taxi Dispatch Approaches
SCRaM - State-Consistent Replication Management for Networked Control Systems
Performance-Driven Design of Engine Control Tasks
Analyzing neighborhoods of falsifying traces in cyber-physical systems
sat2pc: Generating Building Roof's Point Cloud from a Single 2D Satellite Images
Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid
Exploring power-voltage relationship for distributed peak demand flattening in microgrids
Semantics-Directed Hardware Generation of Hybrid Systems
T-Tex: Timed Threaded Execution for Real-time Security and Safety
Transfer Reinforcement Learning under Unobserved Contextual Information
A merging protocol for self-driving vehicles
Hardware module-based message authentication in intra-vehicle networks
View Consistency in Architectures for Cyber-Physical Systems
REST: a reliable estimation of stopping time algorithm for social game experiments
Towards a framework for realizable safety critical control through active set invariance
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
DRONA: a framework for safe distributed mobile robotics
Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach
MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems
Demo Abstract: HajjCPS - A Cyber Physical Environment for Providing Location-Aware Services to a Very Large Crowd
Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis
Ordering events based on intentionality in cyber-physical systems
WiP Abstract: TCP Congestion Control Principles for Highly Available Reconfigurable Conveyor Systems
Cyber-physical tactile imaging system for malignant tumor identification
Smart Rate Control and Demand Balancing for Electric Vehicle Charging
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems
Rule-based optimal control for autonomous driving
Programming event processors with thingflow
Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance Metrics
Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract
Combating time synchronization attack: a cross layer defense mechanism
TACAN: transmitter authentication through covert channels in controller area networks
A switched control scheme to handle quantisation in the design of high-precision computing system components
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters
Managing the security-energy tradeoff in distributed cyber-physical systems
Energy efficient navigation management for hybrid electric vehicles on highways
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
Impact of position inaccuracy on V2V intersection protocols
Interactive explanation for planning-based systems: WIP abstract
WiP abstract: System-level integration of mobile multi-modal multi-sensor systems
Control Corruption without Firmware Infection: Stealthy Supply Chain Attacks via PLC Hardware Implants (MalTag)
Speaker localization and cancellation for improving social attention
Unidentifiable Attacks in Electric Power Systems
Poster Abstract: Smart Phone Lift for Improving Energy Efficiency and User Comfort in Green Buildings
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems
Adaptive Cyber Security for Critical Infrastructure
Toward Physics-Guided Safe Deep Reinforcement Learning for Green Data Center Cooling Control
Acoustic Side Channel Attack Against DNA Synthesis Machines: Poster Abstract
Learning-Based Vulnerability Analysis of Cyber-Physical Systems
Opportunistic scheduling of control tasks over shared wireless channels
A framework for the safe interoperability of medical devices in the presence of network failures
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces
11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020
Finding abnormal data in vehicular cyber physical systems
An industrial control system testbed for the encrypted controller: demo abstract
Security analysis for cits-soc using sensor data from connected vehicles: demo abstract
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections
Logic-Based Programming for Wireless Sensor-Activator Networks
7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016
Safety from Fast, In-the-Loop Reachability with Application to UAVs
A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin
Atacama: an open research platform for mixed-criticality communication in ethernet
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models
Data-driven perception of neuron point process with unknown unknowns
Co-design of control and platform with dropped signals
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018
Co-regulation of computational and physical effectors in a quadrotor unmanned aircraft system
A quadcopter swarm for active monitoring of smog propagation
Time- and resource-constrained scheduling for digital microfluidic biochips
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
Event stream abstraction using nfer: demo abstract
Data Efficient PV based Indoor Event Detection
Encrypted LQG using labeled homomorphic encryption
A model for analyzing data freshness of periodic real-time communication
Infrastructure-free, Deep Learned Urban Noise Monitoring at ~100mW
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
An anomaly detection framework for digital twin driven cyber-physical systems
PIRAT - Tool for Automated Cyber-risk Assessment of PLC Components & Systems Deploying NVD CVE & MITRE ATT&CK Databases
Abstraction Refinement for Stability
A Middle Way to Traffic Enlightenment
A data-driven approach to artificial pancreas verification and synthesis
Predicting malicious intention in CPS under cyber-attack
RADM: a risk-aware DER management framework with real-time DER trustworthiness evaluation
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices
Synthesizing switching logic for safety and dwell-time requirements
PGCD: robot programming and verification with geometry, concurrency, and dynamics
Demo abstract: ROSLab - A modular programming environment for robotic applications
Making Vibration-based On-body Interaction Robust
2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2011, Chicago, Illinois, USA, 12-14 April, 2011
Programming Support for Distributed Optimization and Control in Cyber-Physical Systems
Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications
Blind Spots of Objective Measures: Exploiting Imperceivable Errors for Immersive Tactile Internet
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems
SDCworks: a formal framework for software defined control of smart manufacturing systems
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems
Sybil attack resilient traffic networks: a physics-based trust propagation approach
RIS-IoT: Towards Resilient, Interoperable, Scalable IoT
A CPS toolchain for learning-based systems: demo abstract
A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic Translation
Symbolic Gaussian Smoothing
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces
Deep Value of Information Estimators for Collaborative Human-Machine Information Gathering
Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment
Abstraction based reachability analysis for finite branching stochastic hybrid systems
pyUPPAAL: A Python Package for Risk Analysis of CPS
Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems
Synthesis and verification of motor-transmission shift controller for electric vehicles
Experimental analysis of denial-of-service attacks on teleoperated robotic systems
Safer adaptive cruise control for traffic wave dampening
A Modular Platform For Collaborative, Distributed Sensor Fusion
Sensor attack detection in the presence of transient faults
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems
OpenICE: An open, interoperable platform for medical cyber-physical systems
An Unsupervised Spatiotemporal Graphical Modeling Approach to Anomaly Detection in Distributed CPS
An Online Planning Framework for Multi-Robot Systems with LTL Specification
WiP Abstract: Stabilizing Traffic with a Single Autonomous Vehicle
Effects of Learning-Based Action-Space Attacks on Autonomous Driving Agents
Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation
Cyber-physical codesign of distributed structural health monitoring with wireless sensor networks
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019
Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry
Real-time distance estimation and filtering of vehicle headways for smoothing of traffic waves
ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014
A Novel CPS System for Evaluating a Neural-Machine Interface for Artificial Legs
Characterizing the Benefits and Limitations of Smart Building Meeting Room Scheduling
Poster Abstract: State Estimation and Sensor Fusion for Autonomous Driving in Mixed-Traffic Urban Environments
Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid
Parameter optimization in control software using statistical fault localization techniques
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services
WiP Abstract: Message Bridging Structure Between HLA and DDS for Integrating Cyber-Physical Systems
WiP abstract: Conformance testing as falsification for cyber-physical systems
Formalizing traffic rules for uncontrolled intersections
Real-time prediction of battery power requirements for electric vehicles
Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial Drones
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems
Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks
Hierarchical planning for resource allocation in emergency response systems
WiP Abstract: Preliminary Evaluation of ROS2
WiP Abstract: Scalable Multiple Robot Control with Adaptive Trajectory Planning
Symbolic reach-avoid control of multi-agent systems
Playground: A Safe Building Operating System
Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems
HyPLC: hybrid programmable logic controller program translation for verification
Parameter Estimation for Decoding Sensor Signals