yusuke1997/dblp-id-title huggingface dataset:
A Blended Approach to Improve Reliability and Efficiency of Active EDN via Dynamic Feeder Reconfiguration, Demand Response, and VVO
Closed-Loop Control of a Magnetic Particle at the Air-Liquid Interface
Enhance Connectivity of Promising Regions for Sampling-Based Path Planning
Hierarchical Capacity Planning With Reconfigurable Kits in Global Semiconductor Assembly and Test Manufacturing
A Hierarchical Patch Feature Distribution Network for Industrial Multiscale Defect Detection
Optimal Tracking Control for Cyber-Physical Systems Under Mixed Attacks via Game-Theoretical Q-Learning
Human-in-the-Loop Robot Learning for Smart Manufacturing: A Human-Centric Perspective
A Lyapunov-Based Framework for Trajectory Planning of Wheeled Vehicle Using Imitation Learning
BPSO-AHDL-IDS: Binary Particle Swarm Optimization-Based Automated Hybrid Deep Learning Model for Intrusion Detection of Internet of Things
Adaptive Critic Control With Knowledge Transfer for Uncertain Nonlinear Dynamical Systems: A Reinforcement Learning Approach
Conflict-Free Routing of Twin Reclaimers in the Stockyard Based on a Time-Space Network Model
Sequence Planning Using Multiple and Coordinated Sequences of Operations
Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement
Recognizing Video Activities in the Wild via View-to-Scene Joint Learning
Robot-Assisted Deep Venous Thrombosis Ultrasound Examination Using Virtual Fixture
Robust Neural Dynamics for Depth Maintenance Tracking Control of Robot Manipulators With Uncertainty and Perturbation
Analysis and Optimization of Energy Consumption in Two-Machine Bernoulli Lines With General Bounds on Machine Efficiency
Stochastic Point-to-Point Iterative Learning Tracking Without Prior Information on System Matrices
A User Based HVAC System Management Through Blockchain Technology and Model Predictive Control
An Attack-Defense Game-Based Reinforcement Learning Privacy-Preserving Method Against Inference Attack in Double Auction Market
Modeling and Supervisory Control of Railway Networks Using Petri Nets
Design and Control of a Wave-Driven Solar Tracker
Non-Cyclic Scheduling of a Wet Station
Information-Driven Path Planning for UAV With Limited Autonomy in Large-Scale Field Monitoring
Principal Component-Based Semi-Supervised Extreme Learning Machine for Soft Sensing
Adaptive Resilient Event-Triggered Control for T-S Fuzzy Multi-Area Power System With Pumped Storage Hydropower Under Deception Attacks
Symbolic Representation and Computation of Timed Discrete-Event Systems
The Optimization for Hyperbolic Positioning of UHF Passive RFID Tags
A Generic Online Nonparametric Monitoring and Sampling Strategy for High-Dimensional Heterogeneous Processes
A Composite High-Speed and High-Precision Positioning Approach for Dual-Drive Gantry Stage
Multimode Process Mode Identification With Coexistence of Quantitative Information and Qualitative Information
A Nonlinear Trajectory Tracking Approach of Double-Pendulum Aerial Transportation Systems: Transient Performance Improvement and Saturated Inputs
Joint Trajectory and Data Acquisition Optimization in Multi-UAV Assisted IoT
A Multiresolution Analysis-Assisted Reinforcement Learning Approach to Run-by-Run Control
Adaptive Hybrid Algorithms for the Sequence-Dependent Setup Time Permutation Flow Shop Scheduling Problem
Movement Primitive Categorization Balancing the Learnability and Adaptability
Virtual-Fixtures Based Shared Control Method for Curve-Cutting With a Reciprocating Saw in Robot-Assisted Osteotomy
Obtaining an Object's 3D Model Using Dual-Arm Robotic Manipulation and Stationary Depth Sensing
Learning-Based High-Precision Force Estimation and Compliant Control for Small-Scale Continuum Robot
Paint deposition modeling for trajectory planning on automotive surfaces
NTrack: A Multiple-Object Tracker and Dataset for Infield Cotton Boll Counting
Nussbaum-Based Fixed-Time Tracking Control for Uncertain Nonlinear Systems Driven by Piezoelectric Actuators
MEF-Explore: Communication-Constrained Multi-Robot Entropy-Field-Based Exploration
KnitSketch: A Sketch Pad for Conceptual Design of 2D Garment Patterns
Distributed Multi-Area Intraday Economic Dispatch Using Modified Critical Region Projection Algorithm
An Event-Triggered Hybrid System Model for Cascading Failure in Power Grid
A Novel Route Selection and Resource Allocation Approach to Improve the Efficiency of Manual Material Handling System in 200-mm Wafer Fabs for Industry 3.5
Energy Consumption Modeling and Optimization of a Hobbing Machine Tool Considering Multi-Axis Coupling
Distributed Coverage Control of Constrained Constant-Speed Unicycle Multi-Agent Systems
Knowledge Transfer Enabled Diverse Task Scheduling for Individualized Requirements in Industrial Cloud Platform
Adaptive Multi-Head Self-Attention Based Supervised VAE for Industrial Soft Sensing With Missing Data
Ankle Joint Torque Estimation Using an EMG-Driven Neuromusculoskeletal Model and an Artificial Neural Network Model
Modular Acoustic Graph SLAM for Underwater Monitoring With Autonomous Underwater Vehicles
Condition-Based Monitoring in Variable Machine Running Conditions Using Low-Level Knowledge Transfer With DNN
Social Foraging Theory for Robust Multiagent System Design
A Framework for Multilateral Manipulation in Surgical Tasks
Learning-Based Distributed MPC for Nonconvex Consensus Optimization With Collision Constraints
Reducing Wafer Delay Time by Robot Idle Time Regulation for Single-Arm Cluster Tools
A Quality-Related Fault Detection Method Based on the Dynamic Data-Driven Algorithm for Industrial Systems
A scheme for mapping tolerance specifications to generalized deviation space for use in tolerance synthesis and analysis
An Adaptable Robot Vision System Performing Manipulation Actions With Flexible Objects
Continuous Nonsingular Fast Terminal Sliding Mode Control for a Free Gyro Stabilized Mirror System
Performance Analysis of Bernoulli Serial Lines With Small Batch Production and Machine Switch On/Off Control
A Multiscale Attention Mechanism Super-Resolution Confocal Microscopy for Wafer Defect Detection
Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach
Optimization of a Single-Particle Micropatterning System With Robotic nDEP-Tweezers
Event-Driven Robust Geometric Control for a Nano Unmanned Helicopter
Experiments on Human-in-the-Loop Coordination for Multirobot System With Task Abstraction
Intelligent Additive Manufacturing Architecture for Enhancing Uniformity of Surface Roughness and Mechanical Properties of Laser Powder Bed Fusion Components
Parallel Dual-DQAM for Multi-Scenario Stochastic Economic Dispatch Model by Temporal and Scenario Decompositions
Consensus of Multi-Agent Systems With DoS Attacks and Actuator Faults: A Double-Layer Event-Triggered Control Approach
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications
Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets
Use of Interaction Design Methodologies for Human-Robot Collaboration in Industrial Scenarios
Data Augmentation Classifier for Imbalanced Fault Classification
Optimal, Efficient Sequential Control of a Soft-Bodied, Peristaltic Sorting Table
Maximum Dorsiflexion Detection Based on an On-Board Adaptive Algorithm for Transtibial Amputees With Robotic Prostheses
Integrating With Multimodal Information for Enhancing Robotic Grasping With Vision-Language Models
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
A Mixed-Reality-Augmented Deep Reinforcement Learning Approach for Multi-Robot Safe Motion Generation in Human-Robot Collaborative Manufacturing Cells
High-Throughput Automated System for Crystallizing Membrane Proteins in Lipidic Mesophases
A Methodology for the Detection of Nitrogen Deficiency in Corn Fields Using High-Resolution RGB Imagery
An Efficient Deadlock Prevention Policy for Noncyclic Scheduling of Multicluster Tools
Effective Hot Rolling Batch Scheduling Algorithms in Compact Strip Production
Efficient Scheduling of Residency-Time-Constrained Dual-Armed Cluster Tools With Condition-Based Chamber Cleaning Operations
A Motion Planning Strategy for the Active Vision-Based Mapping of Ground-Level Structures
Robust Localization for Intelligent Vehicles Based on Pole-Like Features Using the Point Cloud
High-Bandwidth Tracking Control of Piezoactuated Nanopositioning Stages via Active Modal Control
Risk-Aware Informative Path Planning for Information Gathering of a 3D Surface
ESPPNet: An Efficient Progressive Spatial Pyramid Pooling Network for Real-Time Traffic Object Detection
Transferring Subject-Specific Knowledge Across Stimulus Frequencies in SSVEP-Based BCIs
Lean Buffering in Serial Production Lines With Nonidentical Exponential Machines
Design and Testing of a Flexure-Based Constant-Force Stage for Biological Cell Micromanipulation
A Novel Geometric Tolerance Modeling Inspired by Parametric Space Envelope
Optimizing Hospital Emergency Department Layout via Multiobjective Tabu Search
Decentralized Control of a Heterogeneous Human-Robot Team for Exploration and Patrolling
Promoting Automatic Detection of Road Damage: A High-Resolution Dataset, a New Approach, and a New Evaluation Criterion
A Novel Incipient Slip Degree Evaluation Method and Its Application in Adaptive Control of Grasping Force
Observer-Based Adaptive Consensus for Lipschitz Nonlinear Multiagent Systems via Asynchronous Event-Triggered Strategy
Seam Following for Automated Industrial Fiber Mat Stitching
An Intention-Aware Markov Chain Based Method for Top-K Recommendation
NeSLAM: Neural Implicit Mapping and Self-Supervised Feature Tracking With Depth Completion and Denoising
A Task-Adaptive Deep Reinforcement Learning Framework for Dual-Arm Robot Manipulation
Global Universal Finite-Time Stabilizing Control for Feedforward Nonlinear Systems With Non-Parametric Uncertainty: A Non-Nested Strategy
An Online AM Quality Estimation Architecture From Pool to Layer
Plug-and-Play Distributed Fencing of Multi-Agent Systems for an Uncooperative Target Without Velocity Measurements
Adaptive Neural-Network Sliding Mode Admissible Consensus for Discrete-Time Singular Multi-Agent Systems Under Stochastic Topology
A Learning-Based Hybrid Artificial Bee Colony Algorithm for Energy-Efficient Distributed Heterogeneous Type-2 Fuzzy Welding Shop Scheduling Problem With Factory Eligibility
Operation Planning and Closed-Loop Control of a Soft Robotic Table for Simultaneous Multiple-Object Manipulation
Maintenance Automation: Methods for Robotics Manipulation Planning and Execution
Extended Interference Matrices for Exploded View of Assembly Planning
LaneRuler: Automated Lane Tracking for DNA Electrophoresis Gel Images
Automatic Fabric Defect Detection Using Learning-Based Local Textural Distributions in the Contourlet Domain
Nonlinear Tracking Differentiator-Based Prescribed Performance Zeta-Backstepping Control With Its Application to a Quad-Rotor Hover
Development of Inverse Greybox Model-Based Virtual Meters for Air Handling Units
Transparent Fault Diagnosis for Complex Equipment Considering Expert Reliability Based on Belief Rule Base and Linguistic Z-Number
Grasping Marine Products With Hybrid-Driven Underwater Vehicle-Manipulator System
A Self-Supervised Learning-Based 6-DOF Grasp Planning Method for Manipulator
Distributed Filtering for Multi-Rate Nonlinear Quantization Systems With Fading Channels and Sensor Resolutions: Handling Amplify-and-Forward Relays
Constrained Tracking Control of MIMO Nonlinear Systems With Discontinuous References and Unknown Dynamics
State-Dependent Switching Control for Nonlinear Impulsive Switched Systems With Dwell Time
Quasi-Synchronization of Heterogeneous Hybrid Stochastic Delayed Networks via Pinning Intermittent Discrete Observation Control
List of Reviewers for 2022/2023
Formulation and a Simulation-Based Algorithm for Line-Side Buffer Assignment Problem in Systems of General Assembly Line With Material Handling
Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes
Fuzzy Interactions Compensation in Adaptive Control of Switched Interconnected Systems
SDS-SLAM: VSLAM Fusing Static and Dynamic Semantic Information for Driving Scenarios
Autonomous Heavy Object Pushing Using a Coaxial Tiltrotor
A Machine Learning Framework for Real-Time Identification of Successful Snap-Fit Assemblies
Activation of Immune Response in Disease Dynamics via Controlled Drug Scheduling
Resilient Tracking Control of Cyber-Physical Systems Against False Data Injection Attacks and Obstacle Avoidance
Restarting Manufacturing Systems; Restart States and Restartability
Route Optimization in Precision Agriculture Settings: A Multi-Steiner TSP Formulation
Stochastic Cost-Profit Tradeoff Model for Locating an Automotive Service Enterprise
Distributed Energy-Efficient Flexible Manufacturing With Assembly and Transportation: A Knowledge-Based Bi-Hierarchical Optimization Approach
Finite-Time Prescribed Performance Adaptive Control for a Class of Switched Uncertain Nonlinear Systems
Formal Specification and Verification of Industrial Control Logic Components
Motion Planning for Aerial Pick-and-Place With Geometric Feasibility Constraints
Road-Constrained Geometric Pose Estimation for Ground Vehicles
Adaptive-Discretization Based Dynamic Optimal Energy Flow for the Heat-Electricity Integrated Energy Systems With Hybrid AC/DC Power Sources
Nonlinear Model Predictive Control for DFIG-Based Wind Power Generation
Novel Sliding Innovation Filter Inspired Fault Detection for Hydrofoil Attitude Control Systems
Unsupervised Anomaly Detection Based on Minimum Spanning Tree Approximated Distance Measures and its Application to Hydropower Turbines
Effective Prediction of Gait Phase for Assisted Walking by Means of Gait-Based Adaptive Oscillators
Operating Optimization of Steam Turbine Unit Based on Big Data Parallel Association Rule Mining
Outlier-Robust Extended Kalman Filtering for Bioinspired Integrated Navigation System
Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems
Adaptive Event-Triggered Heterogeneous Consensus of Leader-Following Multi-Agent Systems With Nonlinear Dynamic Topology
Observer-Based Finite-Time Fuzzy Adaptive Resilient Control for Uncertain Nonlinear Systems Against Deception Attacks and Unknown Dead Zones
A Nonlinear Control Approach for Aerial Transportation Systems With Improved Antiswing and Positioning Performance
Adaptive Assessment of Power System Transient Stability Based on Active Transfer Learning With Deep Belief Network
Guest Editorial Special Issue on Cloud Robotics and Automation
Technician Collaboration and Routing Optimization in Global Maintenance Scheduling for Multi-Center Service Networks
Rigid Geometry Formation Subject to Visibility Constraints Using Heading Angle Correlation Based on Leader-Follower System
SSIOE: Self-Supervised Indoor Occupancy Estimation for Intelligent Building Management
Singularity-Free Low-Complexity Fault-Tolerant Prescribed Performance Control for Spacecraft Attitude Stabilization
Contrastive Preference-Guided Active Learning Approach Based on Ranking Correlation for Real-Time Safety Assessment
A Robust Asymmetric Kernel Function for Bayesian Optimization, With Application to Image Defect Detection in Manufacturing Systems
A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations
Lattice Structure Design and Optimization With Additive Manufacturing Constraints
Monitoring of Timed Discrete Events Systems With Interrupts
Cloud-Based Collaborative 3D Mapping in Real-Time With Low-Cost Robots
Throughput gain with parallel flow in automated flow lines
Selection Schemes of Dual Virtual-Metrology Outputs for Enhancing Prediction Accuracy
Guest Editorial Special Section on the 2017 International Conference on Automation Science and Engineering
Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach
A High-DOF BCI Control Strategy Mapping Discrete Commands to Continuous Motion for a Drone
Funnel-Based Adaptive Predefined-Time Leader-Following Output-Feedback Optimal Control for Second-Order Nonlinear Multi-Agent Systems
Robust Motion Learning for Musculoskeletal Robots Based on a Recurrent Neural Network and Muscle Synergies
Development of Self-Learning Kernel Regression Models for Virtual Sensors on Nonlinear Processes
Development of a Novel Robust Control Method for Formation of Heterogeneous Multiple Mobile Robots With Autonomous Docking Capability
Admissible H ∞ Control of Fuzzy Singular Fractional Order Multi-Agent Systems With External Disturbances
Active Target Tracking With Self-Triggered Communications in Multi-Robot Teams
Task Space Compliant Control and Six-Dimensional Force Regulation Toward Automated Robotic Ultrasound Imaging
A Reinforcement Learning Approach to Robust Scheduling of Semiconductor Manufacturing Facilities
Dynamic Event-Triggered Control for a Class of Uncertain Strict-Feedback Systems via an Improved Adaptive Neural Networks Backstepping Approach
Machine Learning-Based Prognostics for Central Heating and Cooling Plant Equipment Health Monitoring
Wafer Delay Analysis and Workload Balancing of Parallel Chambers for Dual-Armed Cluster Tools With Multiple Wafer Types
A Gaussian Feature Analytics-Based DISSIM Method for Fine-Grained Non-Gaussian Process Monitoring
Hysteresis Compensation-Based Intelligent Control for Pneumatic Artificial Muscle-Driven Humanoid Robot Manipulators With Experiments Verification
Integral Reinforcement Learning for Linear Continuous-Time Zero-Sum Games With Completely Unknown Dynamics
Hierarchical Loss Constraint Filter for Low-Visibility Tiny Crack Detection
Guest Editorial Special Issue on Automation and Optimization for Energy Systems
MINER-RRT*: A Hierarchical and Fast Trajectory Planning Framework in 3D Cluttered Environments
Secure Stabilization of Networked Systems Without DoS Attack Detection via Novel Aperiodic Sampled-Data Control Method With Switched Gains and Its Applications
Inhabitants Tracking System in a Cluttered Home Environment Via Floor Load Sensors
Learning Control Affine Neural NARX Models for Internal Model Control Design
Zonally Robust Decentralized Optimization for Global Energy Interconnection: Case Study on Northeast Asian Countries
Dual Memristor-Coupled Hopfield Neural Network With Any Multi-Scroll Amplitude Control and Its Application for Medical Image Classification
Wireless Capsule Endoscopy Diagnosis Using Prototype Self-Attention and Dynamic Curriculum Learning
Safe Model-Based Reinforcement Learning With an Uncertainty-Aware Reachability Certificate
Queue Time Approximations for a Cluster Tool With Job Cascading
Adaptive Neuro-Fuzzy Inference System Modeling of MRR and WIWNU in CMP Process With Sparse Experimental Data
Double Auction-Based Manufacturing Cloud Service Allocation in an Industrial Park
Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks
Passive Self-Replication of Millimeter-Scale Parts
A Toolkit for Modeling and Simulation of Real-Time Virtual Machine Allocation in a Cloud Data Center
Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors
Workflow Analysis in Operating Rooms: A System-Theoretic Approach
Collaborative Preoperative Planning for Operation-Navigation Dual-Robot Orthopedic Surgery System
Adaptive Prescribed-Time Consensus Tracking Control Scheme of Nonlinear Multi-Agent Systems Under Deception Attacks
A Causal Network-Based Markov Decision Process Model for Intervention Planning
Positive Edge-Consensus of Uncertain Fractional-Order Networked Systems
Adaptive Fault-Tolerant Control Based on Second-Order Sliding Mode Observer With Nonlinear Feedback for Uncertain Euler-Lagrange Systems
RFIDSim - A Physical and Logical Layer Simulation Engine for Passive RFID
Queueing Theory for Semiconductor Manufacturing Systems: A Survey and Open Problems
DGNR: Density-Guided Neural Point Rendering of Large Driving Scenes
Energy-Efficient Production Systems Through Schedule-Based Operations
Modeling and Analysis of Ward Patient Rescue Process on the Hospital Floor
Towards nanotube linear servomotors
Event-Triggered Distributed MPC for Cyber-Physical Systems: An Adaptive Dual-Horizon Mechanism
Tracking of Uncertain Robotic Manipulators Using Event-Triggered Model Predictive Control With Learning Terminal Cost
DuAK: Reinforcement Learning-Based Knowledge Graph Reasoning for Steel Surface Defect Detection
A Forecasting Approach for IoT-Based Energy and Power Quality Monitoring in Buildings
Threshold-Dependent Secure Event-Triggered Control for Networked Systems Under Denial of Service Attacks
Friction-Induced Lines of Attraction and Repulsion for Parts Sliding on an Oscillated Plate
Variance Minimization Hedging Analysis Based on a Time-Varying Markovian DCC-GARCH Model
Observer-Based Fuzzy Event-Triggered LFC for Wind Power Systems Under Multiple Cyberattacks via an NN Approximation Approach
SPDP-Net: A Semantic Prior Guided Defect Perception Network for Automated Aero-Engine Blades Surface Visual Inspection
GSNN: A Neuromorphic Computing Model for the Flexible Path Planning in Various Constraint Environments
Resilient-Sampling-Based Bipartite Synchronization of Cooperative-Antagonistic Neural Networks With Hybrid Attacks: Designing Interval-Dependent Functions
Advance Scheduling for Chronic Care Under Online or Offline Revisit Uncertainty
Integration of Robotic Vision and Tactile Sensing for Wire-Terminal Insertion Tasks
Structure Design and Solution of Kinematics of Robot Manipulator for 3D Concrete Printing
Cloud-Edge Cooperative MPC for Large-Scale Complex Systems With Input Nonlinearity
DG-MFCO-Driven Spoofing Source Deployment Optimization
3D Flexible Locomotion of Magnetic Soft Flapping Milliswimmers Based on Adaptive MPC
A Systematic Literature Review of the Characteristics of Automation Systems That Impact Debugging of PLC Software
Path-Based Sensors: Paths as Sensors, Bayesian Updates, and Shannon Information Gathering
Enhancing Safety in Collaborative Cable-Driven Parallel Robots: Contact Distinction and Management for Carrying Tasks
A First-Order Hybrid Petri Net Model for Supply Chain Management
Hybrid Control Strategies for Mitigating Covert Malware Spread in Heterogeneous Networks
Efficient Computing Budget Allocation for Simulation-Based Policy Improvement
Given-Performance PID-SMC for 4-DOF Tower Crane Systems Under Input Constraints
Autonomous Data Collection With Dynamic Goals and Communication Constraints for Marine Vehicles
Feature-Driven Next View Planning for Cutting Path Generation in Robotic Metal Scrap Recycling
Attention-Based Spatiotemporal Graph Fusion Convolution Networks for Water Quality Prediction
Carbon Footprint and the Management of Supply Chains: Insights From Simple Models
Robotic Inspection and Data Analytics to Localize and Visualize the Structural Defects of Concrete Infrastructure
Control of Drug Administration During Monitored Anesthesia Care
STR: Spatial-Temporal RetNet for Distributed Multi-Robot Navigation
Fast Global Collision Detection Method Based on Feature-Point-Set for Robotic Machining of Large Complex Components
Verification of K-Step Opacity and Analysis of Its Complexity
Stability Analysis and Control Validation of DDEV in Handling Limit via SOSP: A Strategy Based on Stability Region
Load-Sharing With Degradation Management in a Compressor Station
Programming-Based Optimal Learning Sliding Mode Control for Cooperative Dual Ship-Mounted Cranes Against Unmatched External Disturbances
Real-Time Acceleration-Continuous Path-Constrained Trajectory Planning With Built-In Tradeoff Between Cruise and Time-Optimal Motions
Product Sequencing With Respect to Quality in Flexible Manufacturing Systems With Batch Operations
Planar Compliances of Symmetric Notch Flexure Hinges: The Right Circularly Corner-Filleted Parabolic Design
Causality Assignment and Model Approximation for Hybrid Bond Graph: Fault Diagnosis Perspectives
Flexible-Fixed-Time-Performance-Based Adaptive Asymptotic Tracking Control of Switched Nonlinear Systems With Input Saturation
A Data-Driven Framework for Verified Detection of Replay Attacks on Industrial Control Systems