yusuke1997/dblp-id-title huggingface dataset:
Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Unsafe Events Detection in Smart Water Meter Infrastructure via Noise-Resilient Learning
GreenDrive: a smartphone-based intelligent speed adaptation system with real-time traffic signal prediction
Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Optimal input design for affine model discrimination with applications in intention-aware vehicles
CAN coach: vehicular control through human cyber-physical systems
Socially-Aware Robot Planning via Bandit Human Feedback
Multicast authentication in the smart grid with one-time signatures from sigma-protocols
Incorporating emergency alarms in reliable wireless process control
Multi-scale Integration of Physics-Based and Data-Driven Models in Power Systems
Dynamic intersections and self-driving vehicles
DeResolver: a decentralized negotiation and conflict resolution framework for smart city services
Incident management and analysis dashboard for fire departments: ICCPS demo
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development
Temporally Discounted Differential Privacy for Evolving Datasets on an Infinite Horizon
Poster Abstract: Exploiting Virtually Constant Property for Time-Varying Delay Compensation
Supervisor synthesis in model-based automotive systems engineering
Feedback control goes wireless: guaranteed stability over low-power multi-hop networks
Developing associations between building occupancy and traffic congestion
SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
Formal synthesis of distributed optimal traffic control policies
Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan
Distributed fault detection of nonlinear large-scale dynamic systems
Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation
Cooperative key generation for data dissemination in cyber-physical systems
WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributes
High-Level Scenario Management For Parallel Autonomous Vehicle Simulation
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract
Age-of-information vs. value-of-information scheduling for cellular networked control systems
Impact driven sensor placement for leak detection in community water networks
Resilient sensor placement for fault localization in water distribution networks
Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart
Freeway traffic control from linear temporal logic specifications
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study
PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems
Cyber-physical specification mismatch identification with dynamic analysis
Cyber-physical systems for real-time hybrid structural testing: a case study
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment
Reliable intersection protocols using vehicular networks
Assessing and mitigating impact of time delay attack: a case study for power grid frequency control
Investigating Controller Evolution and Divergence through Mining and Mutation *
Control over Low-Power Wide-Area Networks
Physical stigmergy for decentralized constrained optimization: an intelligent lighting example
Protecting Smart Homes from Unintended Application Actions
Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives
Safe HVAC Control via Batch Reinforcement Learning
Estimation of Blood Oxygen Content Using Context-Aware Filtering
Multi-Objective Controller Synthesis with Uncertain Human Preferences
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Dependable, efficient, scalable architecture for management of large-scale batteries
Response-time analysis for real-time tasks in engine control applications
Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers
AlgebraicSystems: Compositional Verification for Autonomous System Design
Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems
Toward power optimization for communication failure recovery in Body Sensor Networks
WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection
An online decision-theoretic pipeline for responder dispatch
Congestion control for spatio-temporal data in cyber-physical systems
Availability attacks on computing systems through alteration of environmental control: smart malware approach
WiP abstract: Supply-demand planning method in cooperation with factory production schedule aimed at the realization of Symbiosis-autonomous decentralized system
Uniprocessor EDF scheduling of AVR task systems
Data-based model of metro scheduling for passenger wait-time optimization with constraints: WIP abstract
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs
Model-Driven Performance Analysis of Large Scale Irrigation Networks
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems
DepSys: Dependency aware integration of cyber-physical systems for smart homes
Towards approximate opacity of cyber-physical system: WIP abstract
Demo Abstract: Playground, A Safe Building Operating System
Mining Environment Assumptions for Cyber-Physical System Models
Thinking Beyond Bus-off: Targeted Control Falsification in CAN
Investigating Communication Infrastructure of Next Generation Air Traffic Management
OpenUAV: a UAV testbed for the CPS and robotics community
Making ROS TF Transactional
Pack Sizing and Reconfiguration for Management of Large-Scale Batteries
Patient-specific heart model towards atrial fibrillation
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems
Reduced variance deep reinforcement learning with temporal logic specifications
RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Privacy-enhanced architecture for occupancy-based HVAC Control
Cloaking the clock: emulating clock skew in controller area networks
Sandboxing Controllers for Cyber-Physical Systems
Control-Aware Random Access Communication
Adaptive Protection of Power Grids against Stealthy Load Alterations
Possibility of power system blackout prediction
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression
Computational-Physical State Co-regulation in Cyber-Physical Systems
Automated Vehicle Multi-Object Tracking at Scale with CAN
Low power programmable architecture for periodic activity monitoring
Stability of a cyber-physical smart grid system using cooperating invariants
Scenario2Vector: scenario description language based embeddings for traffic situations
Feature characterization for CPS software reuse
Certified Inductive Synthesis for Online Mixed-Integer Optimization
Optimal dynamic scheduling of wireless networked control systems
1000DaySim: Open-Source Traffic Simulation With Real Data Over Long Time Horizons
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control
MATLAB/Simulink benchmark suite for ROS-based self-driving system: demo abstract
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO
Tagging wearable accelerometers in camera frames through information translation between vision sensors and accelerometers
Real-time privacy-preserving model-based estimation of traffic flows
Development of the OpenCyberCity Testbed: Smart City Research Innovation and Opportunities
Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems
Least-Violating Planning in Road Networks from Temporal Logic Specifications
Demo Abstract: Online Optimal Channel Sensing, Probing, Accessing in USRP Networks
Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service
Fly-by-logic: control of multi-drone fleets with temporal logic objectives
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing
Environment-aware estimation of battery state-of-charge for mobile devices
Co-design of control algorithm and embedded platform for building HVAC systems
Mathematical equations as executable models of mechanical systems
SunShade: enabling software-defined solar-powered systems
Poster abstract: Distributed coordination of sub-systems power-modes and software-modes
Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study
Control of water distribution networks using convex approximations: WIP abstract
Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach
A Dynamic Obfuscation Framework for Security and Utility
Can control barrier functions keep automated vehicles safe in live freeway traffic?
Poster Abstract: Unifying Modeling Substrate for Irrigation Cyber-Physical Systems
Efficient verification for stochastic mixed monotone systems
The energy efficiency problematics in sports facilities: identifying savings in daily grass heating operation
Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017
Exploring Flexible Road Reconstruction in Godot Simulator
Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning
Sound mixed-precision optimization with rewriting
Cybermanufacturing in the shared economy
SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices
EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Repairing Learning-Enabled Controllers While Preserving What Works
FPGA-Based amoeba-inspired SAT solver for cyber-physical systems
Poster Abstract: Getting Out of the Way - Safety Verification without Compromise
Reconfiguration-assisted charging in large-scale Lithium-ion battery systems
Demonstration of Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems
Model-Based Closed-Loop Testing of Implantable Pacemakers
Poster Abstract: Neural Architecture Sizing for Autonomous Systems
Robust out-of-distribution motion detection and localization in autonomous CPS: wip abstract
Consistency and synchronization for workflows in cyber-physical systems: poster abstract
Implementation of demand response for a block of buildings for active participation in the electricity market
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems
Real-time battery thermal management for electric vehicles
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving
Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems
WiP Abstract: Estimation of Electric Power Consumption of Individuals by Observing People's Activity
Demo Abstract: Building IoT Applications with Accessors in CapeCode
Style-based abstractions for human motion classification
WiP Abstract: Enabling Holistic Design of Body Sensor Networks
Robust and Energy Efficient Malware Detection for Robotic Cyber-Physical Systems
Cyber-physical security for smart cars: taxonomy of vulnerabilities, threats, and attacks
Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation
Time-based intrusion detection in cyber-physical systems
Controller verification in adaptive learning systems towards trusted autonomy
Poster Abstract: GasMon: A Sensor Network System for Residential Building Gas Leak Monitoring
SAT-based synthesis of spoofing attacks in cyber-physical control systems
Coverage-Guided Fuzz Testing for Cyber-Physical Systems
WiP Abstract: Challenges and Strategies for Exploiting Integrated Modular Avionics on Unmanned Aerial Vehicles
Data-driven distributionally robust vehicle balancing using dynamic region partitions
Polynomial Zonotopes Intersection Checking
Poster Abstract: Smartphone Heterogeneous Network Handoff Based on the Closed Control Loop
Quickest Detection of Advanced Persistent Threats: A Semi-Markov Game Approach
PRK-based scheduling for predictable link reliability in wireless networked sensing and control
Resilient linear classification: an approach to deal with attacks on training data
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)
KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract
WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System
Digital-twin Co-evolution using Continuous Validation
Spatiotemporal G-code modeling for secure FDM-based 3D printing
Coordinated autonomous driving with 100 connected vehicles
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS 2015, Seattle, WA, USA, April 14-16, 2015
Cost-Effective Rover for Farms
Control Behavior Integrity for Distributed Cyber-Physical Systems
Sampling rate optimization for IEEE 802.11 wireless control systems
Automated Features and Requirements Identification for Improving CPS Software Reuse using Topic Modeling
Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamics
Poster Abstract: Mobile Application Partitioning for Improving Energy Efficient
IEC 61131-3 Software Testing - Automatic test generation for native applications
Achieving Real-time Visual Tracking with Low-Cost Edge AI
WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems
Wireless Routing and Control: A Cyber-Physical Case Study
Robustness analysis for the certification of digital controller implementations
Distributed Synthesis of Control Protocols for Smart Camera Networks
Preventing battery attacks on electrical vehicles based on data-driven behavior modeling
Co-simulation framework for design of time-triggered cyber physical systems
Secure kalman filter state estimation by partially homomorphic encryption
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator
Optimal Pesticide Scheduling in Precision Agriculture
T-SYS: Timed-Based System Security for Real-Time Kernels
Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System Security
FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and scheduling
Automatic Generation of Balletic Motions
Sharing renewable energy in smart microgrids
Reputation-Based Fair Power Allocation to Plug-in Electric Vehicles in the Smart Grid
Optimal False Data Injection Attack against Automatic Generation Control in Power Grids
WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersections
HydraFusion: Context-Aware Selective Sensor Fusion for Robust and Efficient Autonomous Vehicle Perception
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
RoomZoner: occupancy-based room-level zoning of a centralized HVAC system
Attention-Based Real-Time Defenses for Physical Adversarial Attacks in Vision Applications
Runtime Assurance for Intelligent Cyber-Physical Systems
QuActive: a quality of activities monitoring and notification system
Robustness evaluation of computer-aided clinical trials for medical devices
On the need for sensor and actuator placement algorithms in nonlinear systems: WIP abstract
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints
Automated Multimodal Performance Evaluation in Simulation-based Medical Education using Natural Language Processing
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
A low-power architecture for high frequency sensor acquisition in many-DOF UAVs
WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applications
WiP Abstract: Packet Loss Compensation for Cyber-Physical Control Systems
Application and system-level software fault tolerance through full system restarts
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
Demo Abstract: Towards a Wireless Building Management System with Minimum Change to the Building Protocols
SRAM optimized porting and execution of machine learning classifiers on MCU-based IoT devices: demo abstract
Multi-objective optimal control with safety as a priority
POSTER: A Cyber Physical Aquaponics System (CyPhA) Testbed
Multimodal mobility systems: joint optimization of transit network design and pricing
Towards a green and secure architecture for reconfigurable IoT end-devices
Integrating the Simplex Architecture to Enhance Safety in Deep Learning Autonomous Systems
CPS Testing using Stateless RRT
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings
Cyber-physical system checkpointing and recovery
Codrive: cooperative driving scheme for vehicles in urban signalized intersections
A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, April 17-19, 2012
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Reproducible and Low-cost Sim-to-Real Environment for Traffic Signal Control
Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles
A physiology-aware communication architecture for distributed emergency medical CPS
Distributed optimal control synthesis for multi-robot systems under global temporal tasks
BigActors: a model for structure-aware computation
Multi-fidelity Bayesian Optimization for Co-design of Resilient Cyber-Physical Systems
Trust-based route planning for automated vehicles
WiP Abstract: Virtual Network Platform for Large Scale CPS Testbed
Platform for security-aware design of human-on-the-loop cyber-physical systems
Model-based clinical assist system for cardiac ablation
Real-time detectors for digital and physical adversarial inputs to perception systems
WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology
Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems
Weakly-Supervised Deep Learning for Domain Invariant Sentiment Classification
Advances in Data Management, Proceedings of the 7th International Conference on Management of Data, COMAD 1995, December 28-30, 1995, Pune, India
Evaluation of Causal Inference Techniques for AIOps
Know your Heart : A multimodal pipeline for effective detection and inference of heart diseases
Database and Caching Support for Adaptive Visualization of Large Sensor Data
Optimizing Interpretation Generation in Natural Language Query Answering for Real Time End Users
Using Relations to Index Biological Document Repositories for Efficient Searching
Modeling Uncertain and Imprecise Information in Process Modeling with UML
Emotive Stimuli-triggered Participant-based Clustering Using a Novel Split-and-Merge Algorithm
Proceedings of the 16th International Conference on Management of Data, 2010, Nagpur, India
Interpretable Model Drift Detection
Scalable Network Analysis
Managing Multidimensional (2D, 2.5D, and 3D) Data in a Geographical Database
Label space driven feature space remapping
Lessons Learned in Building Real-time Big Data Systems
Information Search in Peer-to-Peer Systems
The Kauwa-Kaate Fake News Detection System: Demo
Breadth-First Search Approach for Mining Serial Episodes with Simultaneous Events
Human-Machine Collaboration for Face Recognition
A Study of Efficacy of Cross-lingual Word Embeddings for Indian Languages
Aggregate Skyline Join Queries: Skylines with Aggregate Operations over Multiple Relations
Comparative Analysis of Transformers for Modeling Tabular Data: A Casestudy using Industry Scale Dataset
Is the cost of proof-of-work consensus quasilinear?
Curating Resource Needs and Availabilities from Microblog During a Natural Disaster: A Case Study on the 2015 Chennai Floods
EVENTBASE: Organizing and Accessing Events and Information
AART: AI Assisted Review Tool for Marketing Creatives
A Hierarchical Approach to Skin Lesion Classification
Tutorial on Software Testing & Quality Assurance for Machine Learning Applications from research bench to real world
Efficient Budget Allocation and Task Assignment in Crowdsourcing
Clustering Data Streams: A Second Look
Opening the NLP Blackbox - Analysis and Evaluation of NLP Models: Methods, Challenges and Opportunities
Hate Speech Detection in Hindi-English Code-Mixed Social Media Text
Identifying efficient curricula for reinforcement learning in complex environments with a fixed computational budget
Navigator: A Gen-AI System for Discovery of Factual and Predictive Insights on Domain-Specific Tabular Datasets
Optimal Query Plans for Geo-distributed Data Analytics at Scale
Codon Signatures: A New Retrieval Method
Unsupervised stance classification in online debates
Generating Text Summaries of Graph Snippets
Network Enhancement using Spectral Properties
Wound and Episode Level Readmission Risk or Weeks to Readmit: Why do patients get readmitted? How long does it take for a patient to get readmitted?
Distributed representation of tags for Active Zero Shot learning
Variations and Trends in Hot Topics in News Feeds
On the Badge Aware Influence Representation Learning & Influencer Detection in Social Networks
VisualRDR: A general framework for creating, maintaining and learning of ripple down rules for Information Extraction
Uncertainty Quantification 360: A Hands-on Tutorial
Shellmark: A Robust Software Watermarking Tool
Enhancing Neural Sentiment Analysis with Aspect Weights
Utilising Social Media for Post-Disaster Resource Allocation
Information Retrieval and Text Mining Opportunities in Bioinformatics
FloorGAN: Generative Network for Automated Floor Layout Generation
An Interactive Simulator for COVID-19 Trend Analysis
Concealed Multidimensional Data Aggregation in Big Data Wireless Sensor Networks
Contextual Bandits for Online Markdown Pricing for E-commerce
GIMNet: Assembly Plan Generation from Graphical Instruction Manual
Deep Models for Converting Sarcastic Utterances into their Non Sarcastic Interpretation
Agent-based Learning Approach to Electric Vehicle Routing Problem with Vehicle-to-Grid Supply and Battery Swapping
Analyzing Impact of Climate Variability on COVID-19 Outbreak: A Semantically-enhanced Theory-guided Data-driven Approach
User Activity Analytics on the Social Web of News
BBE-LSWCM: A Bootstrapped Ensemble of Long and Short Window Clickstream Models
Management of Wireless Data
Personalised Fashion Recommendation using Deep Learning
SepHRNet: Generating High-Resolution Crop Maps from Remote Sensing imagery using HRNet with Separable Convolution
File formats for Analytical systems
Large Maximal Cliques Enumeration in Large Sparse Graphs
Approaches to biomedical coreference resolution
Towards Context-based Model Selection for Improved Crop Price Forecasting
CLUST: Grouping Aware Data Placement for Improving the Performance of Large-Scale Data Management System
A Self-Adaptive Spike Detection Algorithm with Application in Performance and Capacity Management
BlogHarvest: Blog Mining and Search Framework
Unveiling Graph Structures for Machine Learning: Learning, Structuring, and Coarsening
Canonicalizing Organization Names for Recruitment Domain
Kashvi: Process Mining Software Repositories